5,463 Hits in 6.5 sec

Actor-Relational Database Systems: A Manifesto [article]

Vivek Shah, Marcos Antonio Vaz Salles
2018 arXiv   pre-print
In response to this challenge, recent research has advocated the integration of actor programming models and database management.  ...  Towards this aim, in this paper we analyze, make the case for, and present a broad vision of actor-relational database systems.  ...  Logical actors are concurrent and distributed, since every logical actor is isolated from each other and can execute at the same time independently.  ... 
arXiv:1707.06507v2 fatcat:5qekccnq4jdpvfz47n6vjvmc3y

A Transactional Framework for Programming Wireless Sensor/Actor Networks

Murat Demirbas
2007 11th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'07)  
Effectively managing concurrent execution is one of the biggest challenges for future wireless sensor/actor networks (WSANs): For safety reasons concurrency needs to be tamed to prevent unintentional nondeterministic  ...  execution over multiple threads distributed on several nodes.  ...  To enable ease of programming and reasoning, and yet allow concurrent execution, we propose TRANSACT: TRANsactional framework for Sensor/ACTor networks.  ... 
doi:10.1109/ftdcs.2007.8 dblp:conf/ftdcs/Demirbas07 fatcat:5yaj2os6lrezpmypqazc7by6nu

Efficient Linearizability Checking for Actor-based Systems [article]

Mohammed S. Al-Mahfoudh and Ryan Stutsman and Ganesh Gopalakrishnan
2021 arXiv   pre-print
We describe DS2's linearizability checking and test it on several concurrent replication algorithms from the literature.  ...  This makes it easy for developers to validate their concurrent actor systems without complex specifications.  ...  Each actor executes actions sequentially on a single thread, but an actor system can run concurrent and parallel actions since the set of receiving actors collectively perform actions concurrently.  ... 
arXiv:2110.06407v1 fatcat:rznupqh2cnbsdds3rcewjjjf3e

Off-Policy Actor-Critic with Shared Experience Replay [article]

Simon Schmitt, Matteo Hessel, Karen Simonyan
2019 arXiv   pre-print
with experience replay (b) stability of off-policy learning where agents learn from other agents behaviour.  ...  We investigate the combination of actor-critic reinforcement learning algorithms with uniform large-scale experience replay and propose solutions for two challenges: (a) efficient actor-critic learning  ...  Similar to regular LSTM Actor Threads from Espeholt et al. (2018) the Replayer Threads send each trajectory together with an LSTM state to the learning thread via a queue.  ... 
arXiv:1909.11583v2 fatcat:vtrvvn3hdjdwzc5wwlm42s6w4u

Specification Diagrams for Actor Systems

Scott Smith
1998 Electronical Notes in Theoretical Computer Science  
Specification diagrams differ from existing actor and process algebra presentations in that they are not executable per se; instead, like logics, they are inherently more biased toward specification.  ...  Interactions with the environment allow messages to receptionists to come into the system and messages to external actors to be emitted from the system.  ...  Individual actors are collected into open distributed components called actor system components.  ... 
doi:10.1016/s1571-0661(05)80698-x fatcat:tkfd2o6hjzbahgbaxhviz7pjvu

Assembling the actors: exploring the challenges of 'system leadership' in education through Actor-Network Theory

A. Kamp
2017 Journal of Education Policy  
From 2001, School Networks and Local Learning and Employment Networks (LLEN) were implemented by the state government to support young people in their transition through school and into employment in a  ...  Using concepts from Actor Network Theory (ANT), the paper argues for the value of considering the full range of actors -both human and non-human, real and unreal -involved in networking initiatives and  ...  (Executive Officer, 2004) Foregrounding composition demands carefully tracing how mediating actors, both human and non-human, make us act.  ... 
doi:10.1080/02680939.2017.1380231 fatcat:wmrwsza46vgafbo4ltnsgtjtli

Modular Reasoning for Actor Specification Diagrams [chapter]

Scott F. Smith, Carolyn L. Talcott
1999 Formal Methods for Open Object-Based Distributed Systems  
We also assume that the set of acquaintances can be renamed without changing the structure or meaning of such an entity. Actor systems are intended to model open distributed computation.  ...  The underlying communication assumptions we use are taken from the actor model: object-and not channel-based naming is used, open systems are treated explicitly, and message passing is asynchronous, fair  ...  Actor theory structure.  ... 
doi:10.1007/978-0-387-35562-7_24 fatcat:mo3yvni6xjfpxi2qcmw67hq6qu

A foundation for actor computation

1997 Journal of functional programming  
Capsule Review Actor languages broaden the scope of functional programming to applications involving concurrency.  ...  Actor configurations represent open distributed systems, by which we mean that the specification of an actor system explicitly takes into account the interface with external components.  ...  Acknowledgements The authors would like to thank Carl Hewitt and Richard Weyhrauch for many discussions about actor computation that served as a foundation for this work.  ... 
doi:10.1017/s095679689700261x fatcat:ud6a7aini5cglecukmbrqzlu6y

TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks

Murat Demirbas, Onur Soysal, Muzammil Hussain
2008 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008)  
Effectively managing concurrent execution is one of the biggest challenges for future wireless sensor/actor networks (WSANs): For safety reasons concurrency needs to be tamed to prevent unintentional nondeterministic  ...  execution over multiple threads distributed on several nodes.  ...  Hence, for verification purposes it is enough to consider a single-threaded coarse-grain execution of a system rather than investigating all possible fine-grain executions due to concurrent threads.  ... 
doi:10.1109/ipsn.2008.44 dblp:conf/ipsn/DemirbasSH08 fatcat:g2fbqkh7a5d4nazsyisuq4yaji

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency [chapter]

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Jose Miguel Rojas
2014 Lecture Notes in Computer Science  
In essense, the imperative object-oriented program under test is automatically transformed into an equivalent executable CLP-translated program.  ...  The PET system is an open-source software that implements this approach. (3) Finally, in the last part, we study the extension of TCG to actor-based concurrent programs.  ...  Related Work on TCG of Thread-based Concurrency As it happens with actor-based systems, the main difficulties in TCG of threadbased systems are related to the scalability when considering thread interleavings  ... 
doi:10.1007/978-3-319-07317-0_7 fatcat:ymynxalwxrg7fiko7lanlmu2me

Efficient Transformers in Reinforcement Learning using Actor-Learner Distillation [article]

Emilio Parisotto, Ruslan Salakhutdinov
2021 arXiv   pre-print
form of distillation that transfers learning progress from a large capacity learner model to a small capacity actor model.  ...  of the transformer learner model while maintaining the fast inference and reduced total training time of the LSTM actor model.  ...  An overview of this system is shown in Fig. 2 , and we detail the function of each distinct process below, in the order of data flow: Actor: There are N A parallel actors, each executing on single-threaded  ... 
arXiv:2104.01655v1 fatcat:fdiegnybhjcqvho3invyt2jlvm

The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model

Yupeng Xi, Jianrui Zhang, Furi Xiang
2019 Journal of Software Engineering and Applications  
Journal of Software Engineering and Applications trol-and-Communication Flow analysis to develop an algorithm that can detect communication deadlock in codes written in Ada, which is also a concurrency  ...  After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming.  ...  If a message can only be sent by one Actor, it is much easier for us to trace back where the message is from.  ... 
doi:10.4236/jsea.2019.1210024 fatcat:ymder3ptqrcirlzxg3qqcahey4

Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures

Huy Tran, Uwe Zdun
2013 2013 17th IEEE International Enterprise Distributed Object Computing Conference  
Based on this, an automated translation from event actorsbased constructs to Petri nets using template-based model transformation techniques is also developed.  ...  Event-based communication styles are potential solutions for facilitating high flexibility, scalability, and concurrency of distributed systems due to the intrinsic loose coupling of the participants.  ...  In DERA, the abstraction of a computational or data handling unit, for instance, executing a service invocation, or accessing and transforming data, to name but a few, is an event actor (or actor for short  ... 
doi:10.1109/edoc.2013.32 dblp:conf/edoc/TranZ13 fatcat:23cu6a5wjfcrhe4bjfsv4p6vri

Scalable Termination Detection for Distributed Actor Systems

Dan Plyukhin, Gul Agha, Laura Kovács, Igor Konnov
2020 International Conference on Concurrency Theory  
However, testing reachability from a root set is inadequate for determining whether an actor is garbage because an unreachable actor may send a message to a reachable actor.  ...  Such coordination mechanisms adversely affect concurrency and are therefore expensive in distributed systems.  ...  Termination detection does not restrict concurrency in the application. Actors do not need to coordinate their snapshots or pause execution during garbage collection.  ... 
doi:10.4230/lipics.concur.2020.11 dblp:conf/concur/PlyukhinA20 fatcat:2sieunlybzb7npart6evwz45rm

Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency

Florent Latombe, Xavier Crégut, Marc Pantel
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
This approach initially provides only one MoC: Event Structures.  ...  To deal with the increasing complexity of modern highly-concurrent systems, the GEMOC approach for concurrency-aware eXecutable Domain-Specific Modeling Languages (xDSMLs) proposes to make explicit, in  ...  In order to do so, we thus need an additional language-level model, which consists in an excerpt from the metamodel of the trace of the AS Transformation.  ... 
dblp:conf/models/LatombeCP16 fatcat:o2o64udcbbdjnjplj4vn3ncezi
« Previous Showing results 1 — 15 out of 5,463 results