Filters








26,611 Hits in 8.3 sec

Actors as a special case of concurrent constraint (logic) programming

K. Kahn, Vijay A. Saraswat
1990 SIGPLAN notices  
Lucy is best not thought of as a unification of logic and constraint programming with actor and object-oriented programming, but as the missing link between these programming language genera.  ...  This very impoverished concurrent constraint language is a syntactic subset of Janus, a concurrent constraint language which closely resembles concurrent logic programming languages such as Guarded Horn  ...  We shall attempt to make the case that Janus as a superset of the Lucy actor language, enables the direct expression of many more common patterns of programming than actor languages while preserving the  ... 
doi:10.1145/97946.97955 fatcat:hykq574vhnacjjviqr73shgfue

Formalizing Multimedia QoS Constraints Using Actors [chapter]

Shangping Ren, Nalini Venkatasubramanian, Gul Agha
1997 IFIP Advances in Information and Communication Technology  
We propose a formal speci cation of timing related Quality-of-Service (QoS) attributes in an actor-based distributed system and describe some techniques for informally reasoning about quantitative QoS  ...  The vision of future information systems is that di erent forms of information are potentially accessible at anytime through the Internet.  ...  Session is a session based virtual time, which is a special case of global time and s is a mapping from a single QoS synchronizer to its state (S) QoS .  ... 
doi:10.1007/978-0-387-35261-9_10 fatcat:jc4izieshfhhjdiphmfedvk3zy

An Actor-Based Software Framework for Developing and Simulating Complex Systems

Agostino Poggi
2012 Workshop From Objects to Agents  
This software framework provides a flexible actor implementation that simplifies the writing of the actors by delegating the management of events (i.e., the reception of messages) to the execution environment  ...  In particular, the second thread solution is suitable to implement systems whose behavior should be modeled through the use of a large number of actors.  ...  Figure 1 shows a graphical representation of the architecture of an ASiDE system. An actor space is a concurrent object that acts as container of a set of actors.  ... 
dblp:conf/woa/Poggi12 fatcat:crxpvgra5rhv7lxdlm57q2gppq

Actors with Multi-headed Message Receive Patterns [chapter]

Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert
2008 Lecture Notes in Computer Science  
We provide a number of examples to show the usefulness of the extension.  ...  The system can be implemented efficiently and we have built a prototype as a library-extension to Haskell.  ...  A particular popular form of message-based concurrency is actor style concurrency [1] as implemented by the Erlang language [2] .  ... 
doi:10.1007/978-3-540-68265-3_20 fatcat:4bhd3ygqr5hudkw27ps5hhuqxe

Encapsulated search and constraint programming in Oz [chapter]

Christian Schulte, Gert Smolka, Jörg Würtz
1994 Lecture Notes in Computer Science  
The goal is to have a staff of about 100 researchers at the end of the building-up phase.  ...  The overall goal is to construct systems with technical knowledge and common sense which -by using AI methods -implement a problem solution for a selected application area.  ...  Remark The Oz System and its documentation are available from the programming systems lab of DFKI through anonymous ftp from ps-ftp.dfki.uni-sb.de or through www from http://ps-www.dfki.uni-sb.de/.  ... 
doi:10.1007/3-540-58601-6_96 fatcat:bv7kfn44tbcw5ijhemrtvnn6z4

Dimensions of object-based language design

Peter Wegner
1987 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87  
as a special case of delegation while Lieberman views delegation and inheritance as two distinct mechanisms.  ...  Concurrency is a consistent extension of sequential object-based programming, since actors provide an existence proof of concurrent object-based programming.  ... 
doi:10.1145/38765.38823 dblp:conf/oopsla/Wegner87 fatcat:4jengjyl45eg7cwoxsazbcfrmu

Dimensions of object-based language design

Peter Wegner
1987 SIGPLAN notices  
as a special case of delegation while Lieberman views delegation and inheritance as two distinct mechanisms.  ...  Concurrency is a consistent extension of sequential object-based programming, since actors provide an existence proof of concurrent object-based programming.  ... 
doi:10.1145/38807.38823 fatcat:4iydpwjf4resfdqpva6wp7ah74

Concurrent Lexicalized Dependency Parsing: A Behavioral View on ParseTalk Events

Susanne Schacht, Udo Hahn, Norbert Broeker (Computational Linguistics Research Group, Freiburg University, Germany)
1994 arXiv   pre-print
The model is based on full lexicalization, head-orientation via valency constraints and dependency relations, inheritance as a means for non-redundant lexicon specification, and concurrency of computation  ...  The computation model relies upon the actor paradigm, with concurrency entering through asynchronous message passing between actors.  ...  Ha 2097/1-1, Ha 2097/1-2) within a special research programme on cognitive linguistics. We like to thank our colleagues, P. Neuhaus, M. Klenner, and Th. Hanneforth, for valuable comments and support.  ... 
arXiv:cmp-lg/9410019v1 fatcat:uxni3hyskrhzhccjnxa3dzejou

Actor-Oriented Design of Embedded Hardware and Software Systems

Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin
2003 Journal of Circuits, Systems and Computers  
Actor-oriented platforms, such as Simulink, abstract aspects of program-level platforms, such as Java, C++, and VHDL.  ...  A platform provides a set of constraints together with known tradeoffs that flow from those constraints.  ...  California MICRO program, and the following companies: Agilent, Atmel, Cadence, Hitachi, Honeywell, National Semiconductor, Philips, Toyota and Wind River Systems.  ... 
doi:10.1142/s0218126603000751 fatcat:zo2iuhxsvbatfh7qrxhryo4xyu

Test Case Generation of Actor Systems [chapter]

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2015 Lecture Notes in Computer Science  
This paper presents a TCG framework for actor systems, which consists of three main elements, which are the original contributions of this work: (1) a symbolic execution calculus, which allows symbolically  ...  Testing is a vital part of the software development process.  ...  Test Cases for Actor Systems The generation of test cases for a method m(x) using the above CTC is as follows.  ... 
doi:10.1007/978-3-319-24953-7_21 fatcat:hv6onnaudvcmfdnaf5stjd2zkq

OpenDF

Shuvra S. Bhattacharyya, Gordon Brebner, Jörn W. Janneck, Johan Eker, Carl von Platen, Marco Mattavelli, Mickaël Raulet
2009 SIGARCH Computer Architecture News  
Finally, an overview of a case study implementing an MPEG-4 decoder is given.  ...  The Dataflow Interchange Format (DIF) and related tools can be used for analysis of actors and networks, demonstrating the advantages of a dataflow approach.  ...  We believe that the move towards parallelism in computing and the growth of application areas that lend themselves to dataflow modeling present a huge opportunity for a dataflow programming model that  ... 
doi:10.1145/1556444.1556449 fatcat:qghnyqhp4ra2rj76apjpihtree

An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language

Alexei A. Morozov, Alexander F. Polupanov, Olga S. Sushkova
2015 International Web Rule Symposium  
The concurrent object-oriented logic language is used for the analysis of graphs of tracks of moving blobs; the graphs are supplied by low-level analysis algorithms implemented in a special built-in class  ...  of Actor Prolog.  ...  We acknowledge a partial financial support from the Russian Foundation for Basic Research, grant No 13-07-92694.  ... 
dblp:conf/ruleml/MorozovPS15a fatcat:34dsml227ngdlo6ewh7vbfjhh4

Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report

Stefan Bruda, Petter Haggholm, Scott Stoddard
2006 2006 Fifth International Symposium on Parallel and Distributed Computing  
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network.  ...  Secondly, programs written in this language should run on commodity systems, without relying on real-time support from the kernel.  ...  The global synchronizers impose general (and not only point-to-point) constraints. Constraining an actor program is defined as a special form of parallel composition .  ... 
doi:10.1109/ispdc.2006.21 dblp:conf/ispdc/BrudaHS06 fatcat:docxzojmdrd6tehx5cxiw7lgsy

Simple Isolation for an Actor Abstract Machine [chapter]

Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani
2015 Lecture Notes in Computer Science  
In this paper we study an as yet unexplored region of the actor design space in the context of concurrent object-oriented programming.  ...  The actor model is an old but compelling concurrent programming model in this age of multicore architectures and distributed services.  ...  Siaam combines actors and objects in a programming model with a single shared heap. Actors are instances of a special class.  ... 
doi:10.1007/978-3-319-19195-9_14 fatcat:jxcfjvhrojfndlkm7hnfazowmm

Coordination operators and their composition under the actor-role-coordinator (ARC) model

Miao Song, Shangping Ren
2011 ACM SIGBED Review  
., precede ( t) and select ( p), and use them to express temporal and spacial (with respect to actor system's behavioral space) coordination constraints among concurrent and autonomous actors.  ...  Each role's behaviors may be shared by many concurrent entities, or played by many actors.  ...  Hence the commonly encountered synchronization constraint becomes a special case of the quantitative precede constraint. As a syntactic sugar, we define syn operator.  ... 
doi:10.1145/1967021.1967023 fatcat:puw6ovpf3nehfn5jjeu43kpywy
« Previous Showing results 1 — 15 out of 26,611 results