Filters








10,376 Hits in 9.4 sec

From a calculus to an execution environment for stream processing

Robert Soulé, Martin Hirzel, Buğra Gedik, Robert Grimm
2012 Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems - DEBS '12  
At one level, this paper is about River, a virtual execution environment for stream processing.  ...  So at another level, this paper is about a journey from theory (the calculus) to practice (the execution environment).  ...  Acknowledgements We thank the anonymous reviewers for their helpful comments. We also thank Nagui Halim for his encouragement. This work is supported by NSF CCF-1162444.  ... 
doi:10.1145/2335484.2335487 dblp:conf/debs/SouleHGG12 fatcat:3dotyvuopnezdd54nfyrue4kj4

Core Calculi for Service-Oriented Computing [chapter]

Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco T. Vasconcelos, Gianluigi Zavattaro
2011 Lecture Notes in Computer Science  
Tradeoff between expressive power and structured communication (for typability, . . . ) We propose stream P as f in Q, modelling a stream named f for communication from process P to process Q.  ...  SOCK is an abstraction of BPEL approach but sufficiently close to it to mimic its development process; COWS starts from BPEL but abstract more from it to get very close to a classical process description  ... 
doi:10.1007/978-3-642-20401-2_8 fatcat:ihhhzs7lrrbgfeaxx5fxha5tle

River: an intermediate language for stream processing

Robert Soulé, Martin Hirzel, Buğra Gedik, Robert Grimm
2015 Software, Practice & Experience  
This paper presents both a calculus for stream processing, named Brooklet, and its realization as an intermediate language, named River.  ...  A CALCULUS FOR STREAM PROCESSING A stream-processing language is a language that hides the mechanics of stream processing; it notably has built-in support for moving data through computations and for composing  ...  ACKNOWLEDGEMENTS We would like to thank John Field, Rodric Rabbah, and Martin Vechev for their feedback on earlier versions of this paper and Nagui Halim for his support of this project.  ... 
doi:10.1002/spe.2338 fatcat:lmcdizjiz5ggtcfjon2cudqsdm

Towards a higher-order synchronous data-flow language

Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet
2004 Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04  
The language is equipped with a polymorphic type system allowing types to be automatically inferred and a clock calculus rejecting programs for which synchronous execution cannot be statically guaranteed  ...  This provides a mean to dynamically reconfigure data-flow processes. The language comes as a natural and strict extension of both Lustre and Lucid Synchrone.  ...  has to adapt seamlessly to its environment, for instance when moving from a UMTS zone to a WIFI zone.  ... 
doi:10.1145/1017753.1017792 dblp:conf/emsoft/ColacoGHP04 fatcat:hzgy6nvclbgdbedd6tx6mtngyq

Formal Foundations of Continuous Graph Processing [article]

Philip Dexter, Yu David Liu, Kenneth Chiu
2020 arXiv   pre-print
A key design insight is that the operations continuously applied to the graph can be captured by a semantics defined over the operation stream flowing through the graph nodes.  ...  This paper describes CG Calculus, the first semantic foundation for continuous graph processing.  ...  For example, Fig. 1 shows an operation stream forms from the frontend to backend (which we call the top-level operation stream for convenience), and then continues to ow into nodes eve, deb, cam, bob  ... 
arXiv:1911.10982v2 fatcat:pesn4r57mzdmllr4hh2w6ltlia

FORMAL BASES OF OPTIMIZATION PROCEDURES OF SYSTEM-OBJECT IMITATION MODELS OF PROCESSES AND SYSTEMS
ФОРМАЛЬНЫЕ ОСНОВЫ ПРОЦЕДУР ОПТИМИЗАЦИИ СИСТЕМНО-ОБЪЕКТНЫХ ИМИТАЦИОННЫХ МОДЕЛЕЙ ПРОЦЕССОВ И СИСТЕМ

I.A. Egorov, Belgorod State National Research University, A.A. Buzov, S.A. Zabnin, A.N. Zaitsev, JSC «SEZ «VLADMIVA», Belgorod State National Research University, Belgorod State National Research University
2019 Research Result Information Technologies  
The paper discusses some optimization methods for system-object simulation models of processes and systems.  ...  The article proposes the optimization of a system-object simulation model on the base of the management model of "supervisor-subordinates" in the environment of "UFOModeler".  ...  Acknowledgments The research is financially supported by the projects of the Russian Foundation for Fundamental Research No. 18-07-00355, No. 19-07-00290 and No. 19-07-00111.  ... 
doi:10.18413/2518-1092-2019-4-4-0-8 fatcat:tjcll37vv5athladpo4whi2t3i

System architecture evaluation using modular performance analysis: a case study

Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse
2006 International Journal on Software Tools for Technology Transfer (STTT)  
We present an alternative, analytical, approach based on Real-Time Calculus.  ...  Modular performance analysis is presented through a case study in which several candidate architectures are evaluated for a distributed in-car radio navigation system.  ...  Furthermore, we would like to thank Siemens VDO Automotive, in particular Roland van Venrooy, for their support.  ... 
doi:10.1007/s10009-006-0019-5 fatcat:nbjbfpixafefdcgrq5llbuvwgu

Automata Describing Object Behavior [article]

Bernhard Rumpe, Cornel Klein
2014 arXiv   pre-print
We will present an automata model together with a denotational and an operational semantics to describe the behavior of objects.  ...  Based on the given semantics we de ne a set of powerful re nement rules and discuss their applicability in software engineering practice especially with the use of inheritance.  ...  Objects have an input port for receiving messages from their environment, and an output port for sending messages to their environment.  ... 
arXiv:1411.2408v1 fatcat:q7hxytbxcvaibm7wahbfayjfei

A Temporal Concurrent Constraint Calculus As An Audio Processing Framework

Camilo Rueda, Frank Valencia
2005 Proceedings of the SMC Conferences  
(Abstract to follow)  ...  We think that a suitable CC process deterministic ccp process receives a stimulus (i.e. a cons- calculus should provide a convenient framework to get in- traint) from the environment, it executes  ...  For example, a process P that is to be execut- def A(in1 , in2 , out) ≡ P1 ing from sample m to sample n is readily defined by  ... 
doi:10.5281/zenodo.849250 fatcat:423w6a6fmvhpponqj4s2nhz5rm

Clocks as First Class Abstract Types [chapter]

Jean-Louis Colaço, Marc Pouzet
2003 Lecture Notes in Computer Science  
They play a fundamental role during the specification of the system and are largely used in the compilation process to generate efficient sequential code.  ...  Based on the formulation of clocks as dependent types, the paper presents a simpler clock calculus reminiscent to ML type systems with first order abstract typesà la Laufer & Odersky.  ...  way to sample a process and clock inference could be obtained with a simpler calculus.  ... 
doi:10.1007/978-3-540-45212-6_10 fatcat:vxmmlvbvgrgizd4u6f3ct7q57q

Name-passing style GUI programming in the π-calculus-based language Nepi

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
2005 Electronical Notes in Theoretical Computer Science  
We present an implementation of a GUI extension for Nepi programming language on Allegro Common Lisp to illustrate the features of name-passing style GUI programming in Nepi with examples.  ...  The graphic components are accompanied by event handling processes that convert an event to specified name-passing.  ...  The authors also thank for Yoshifumi Manabe in NTT Cy-berSpace Laboratories and Eiichi Horita in NTT Information Sharing Platform Laboratories for their helpful discussions.  ... 
doi:10.1016/j.entcs.2005.09.001 fatcat:mxechj3mdbckvp45yx3m7de65m

A π-calculus Semantics of Logical Variables and Unification [chapter]

Brian J. Ross
1993 Workshops in Computing  
A π-calculus semantics of terms and logical variables, environment creation visavis term copying and variable refreshing, and sequential unification is presented.  ...  The π-calculus's object-oriented approach to modelling evolving communication structures is used to model the evolving communication environment found in concurrent logic program computations.  ...  Acknowledgements: Thanks to Robin Milner for hints on how to model logical variables, and to Robert Scott for his helpful advice on concurrent logic programming.  ... 
doi:10.1007/978-1-4471-3217-2_13 dblp:conf/napaw/Ross92 fatcat:2uschohggfbjhhh7xuazjhy2na

A Modular Toolkit for Distributed Interactions

Julien Lange, Emilio Tuosto
2011 Electronic Proceedings in Theoretical Computer Science  
We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions.  ...  Our main goal is to provide an easily extensible workbench to encompass current algorithms and incorporate future developments of the theories.  ...  A program code (written in a π-calculus-like language, such as cB 1 in § 2) is parsed to check for syntax errors and to build an abstract tree, similarly to STREAM 1.  ... 
doi:10.4204/eptcs.69.7 fatcat:aif465sfxbbsbejfs7rxv3rnye

Dealing Denotationally With Stream-based Communication

Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
2005 Electronical Notes in Theoretical Computer Science  
The calculus includes streams for communication, and their modelization by a denotational semantics is not direct because a stream may be infinite.  ...  We choose continuations to deal with side-effects (process creation and communication) in a lazy context.  ...  Acknowledgement The authors would like to thank David de Frutos for his valuable comments on the denotational model.  ... 
doi:10.1016/j.entcs.2005.01.039 fatcat:uml24mguozb45gyxjhc67jih74

Implementing Session Centered Calculi [chapter]

Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2008 Lecture Notes in Computer Science  
in Java of a CaSPiS process.  ...  In this paper we show how to implement a service oriented calculus, CaSPiS (Calculus of Services with Pipelines and Sessions) using the Java framework IMC, where recurrent mechanisms for network applications  ...  The classes derived from Process must provide the implementation of the entry point method execute, and can use all the methods for exchanging data through a session and outside the session environment  ... 
doi:10.1007/978-3-540-68265-3_2 fatcat:qjz72twyfjedzlzohfbkunxnby
« Previous Showing results 1 — 15 out of 10,376 results