Filters








160,546 Hits in 4.4 sec

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi [chapter]

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2010 Lecture Notes in Computer Science  
Hence, polyadic communication is a striking point of contrast between first-and higher-order process calculi. Finally, in Section 6 we consider the extension of SHO with abstraction-passing.  ...  An abstraction is an expression parametric on processes; the expressiveness of abstraction-passing is thus specific to the higher-order setting.  ...  This research was carried out while the second author was a PhD student at University of Bologna.  ... 
doi:10.1007/978-3-642-14162-1_37 fatcat:sx6vrnrqcnf6tj57rzfv5tafu4

Correspondence assertions for process synchronization in concurrent communications

EDUARDO BONELLI, ADRIANA COMPAGNONI, ELSA GUNTER
2005 Journal of functional programming  
High-level specification of patterns of communications such as protocols can be modeled elegantly by means of session types (Honda et al., 1998) .  ...  We prove that evaluation preserves typability and that well-typed processes are safe.  ...  On the other hand, adding session types we may prevent such a situation since two communicating processes will be synchronized by a session type that specifies that while one process sends data the other  ... 
doi:10.1017/s095679680400543x fatcat:mfkz2xviijedzhlziqoiiprgxu

Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs

Bernie van Veen, Sung-Shik Jongmans
2018 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)  
Implementing synchronization and communication among tasks in parallel programs is a major challenge.  ...  programming), to supporting also a run-time/dynamically set number of tasks.  ...  Contribution and Organization Our longer-term research aim is: To provide parallel programmers a language with high-level abstractions for synchronization and communication, built upon the principle of  ... 
doi:10.1109/ipdpsw.2018.00077 dblp:conf/ipps/VeenJ18 fatcat:eprxyoonb5fvfcdqfoqhnpraeq

Processing Optimization of Typed Resources with Synchronized Storage and Computation Adaptation in Fog Computing

Zhengyang Song, Yucong Duan, Shixiang Wan, Xiaobing Sun, Quan Zou, Honghao Gao, Donghai Zhu
2018 Wireless Communications and Mobile Computing  
We propose a processing optimization mechanism of typed resources with synchronized storage and computation adaptation in Fog computing.  ...  The proposed mechanism aims to minimize processing cost over network, computation, and storage while maximizing the performance of processing in a business value driven manner.  ...  Through the classifying and abstracting interactive records or behaviour records related to the dynamic behaviour of entities, we obtain K DIK in the form of statistical rules.  ... 
doi:10.1155/2018/3794175 fatcat:f33qeghon5g6befd4ggdkprqdi

Spatio-temporal synchronization of processes of treatment and transportation of writing correspondence in postal communication network with the automated sorting center
Просторово-часова синхронізація процесів оброблення і перевезення письмової кореспонденції в мережі поштового зв'язку з автоматизованим сортувальним центром

Л.О. Ящук, O.S. Popov Odessa national academy of telecommunication
2018 Proceedings of the O S Popov ОNAT  
Abstract.  ...  Key words: postal communication network, automated sorting center, main postal routes, objects of postal connection, writing correspondence, normative terms of sending of writing correspondence, synchronization  ... 
doi:10.33243/2518-7139-2018-1-1-135-141 fatcat:4glxnc4jhfav5buaw3bf2kj5eu

Security Abstractions and Intruder Models (Extended Abstract)

Michele Bugliesi, Riccardo Focardi
2009 Electronical Notes in Theoretical Computer Science  
Process algebraic specifications of distributed systems are increasingly being targeted at identifying security primitives well-suited as high-level programming abstractions, and at the same time adequate  ...  Drawing on our earlier work along these lines [5], we investigate the expressive power of a core set of security and network abstractions that provide high-level primitives for the specifications of the  ...  Conclusions We have investigated a core set of abstractions for distributed communication, and assessed their adequacy for security verification by analyzing their interplay with a class of different intruder  ... 
doi:10.1016/j.entcs.2009.06.015 fatcat:7he3rl2xbngvbjuvycntqi3aqi

Abstract State Processes [chapter]

Tommaso Bolognesi, Egon Börger
2003 Lecture Notes in Computer Science  
The evolutions of the state are governed however by a fixed and typically unstructured program, called 'rule', which describes a set of abstract updates occurring simultaneously at each step (synchronous  ...  They abstract however almost entirely from a notion of system state.  ...  We thank unknown referees for critical remarks upon a draft of this paper.  ... 
doi:10.1007/3-540-36498-6_2 fatcat:otk6kl4fjrditcsxpyfcsmm2su

Abstracts

1978 IBM Systems Journal  
This paper discusses the emerging idea of software engineering and reviews recent software discoveries such as se- quential processes, process synchronization and abstract machines.  ...  Padegs (DPPG Poughkeepsie, NY), Communications of the ACM 21, No. 1, 73-96 (1978).  ... 
doi:10.1147/sj.172.0201 fatcat:fcm7knkmerfctgft26drx7ip5e

Abstracts

1978 IBM Systems Journal  
The prototype showed that communications overhead can weaken the theoretical advantage of distributed processing.  ...  A technique for the validation of protocols in communications is described. It can be used for systems composed of processes that can be modeled as finite directed graphs.  ... 
doi:10.1147/sj.174.0465 fatcat:6wfwem6dsnarzki5ilsnjmspf4

Poster abstract

A. El-Hoiydi, J.-D. Decotignie, C. Enz, E. Le Roux
2003 Proceedings of the first international conference on Embedded networked sensor systems - SenSys '03  
WiseMAC requires no set-up signaling, no network-wide time synchronization and is adaptive to the traffic load.  ...  A unique feature of this protocol is to exploit the knowledge of the sampling schedule of its direct neighbors in order to use a wake-up preamble of minimized size.  ...  If the interval between two communications is so large that 4θL > TW , a wake-up preamble of length TW will be used. This also applies to the first communication between two nodes.  ... 
doi:10.1145/958491.958531 dblp:conf/sensys/El-HoiydiDER03 fatcat:xbarzg34inh5nfuxkkebtfrua4

Poster abstract

A. El-Hoiydi, J.-D. Decotignie, C. Enz, E. Le Roux
2003 Proceedings of the first international conference on Embedded networked sensor systems - SenSys '03  
WiseMAC requires no set-up signaling, no network-wide time synchronization and is adaptive to the traffic load.  ...  A unique feature of this protocol is to exploit the knowledge of the sampling schedule of its direct neighbors in order to use a wake-up preamble of minimized size.  ...  If the interval between two communications is so large that 4θL > TW , a wake-up preamble of length TW will be used. This also applies to the first communication between two nodes.  ... 
doi:10.1145/958525.958531 fatcat:muwu46yhcjhdrjbloow6nzpoku

Abstracts

1970 IBM Systems Journal  
The set of functions described will provide control for both start-stop and binary synchronous hardware. ABSTRACTS IBM SYST J A New In-plant Data Communication System, R. M.  ...  ABSTRACTS IBM SYST J  ... 
doi:10.1147/sj.94.0319 fatcat:przmw7qkhrfpjpoiwwiya5tzgm

Abstracts

2021 IEEE Transactions on Intelligent Vehicles  
., for a possible evasion maneuver if the obstacle to be avoided is detected) or be communicated from its preceding vehicle.  ...  The tests with different initial state-of-charge of the battery demonstrate that the superiority of the energy optimal controller becomes significant especially when battery characteristics limit the charging  ...  We propose an adaptive protocol for synchronized merging in the cyclic communication scenario.  ... 
doi:10.1109/tiv.2021.3090562 fatcat:d5pzx3h3e5eu3hxqiflrl7yjei

Poster abstract

Vlasios Tsiatsis, Mani B. Srivastava
2003 Proceedings of the first international conference on Embedded networked sensor systems - SenSys '03  
The views expressed in this work are those of the authors and do not necessarily express those of the funding agencies.  ...  In the past researchers have studied the issue of energy efficiency either on a node-level or a communication network level.  ...  Upon the time-out the buffered measurements are sorted according to their timestamps and passed to the filter for processing.  ... 
doi:10.1145/958525.958538 fatcat:bknuisxo5va4tkc35qzafqvuha

Poster abstract

Vlasios Tsiatsis, Mani B. Srivastava
2003 Proceedings of the first international conference on Embedded networked sensor systems - SenSys '03  
The views expressed in this work are those of the authors and do not necessarily express those of the funding agencies.  ...  In the past researchers have studied the issue of energy efficiency either on a node-level or a communication network level.  ...  Upon the time-out the buffered measurements are sorted according to their timestamps and passed to the filter for processing.  ... 
doi:10.1145/958491.958538 dblp:conf/sensys/TsiatsisS03 fatcat:uiqm7m4vevbabd3ifsnypzzbb4
« Previous Showing results 1 — 15 out of 160,546 results