Expressiveness and Distributed Implementation of Concurrent Calculi with Link Mobility

CONCUR’99 Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48320-9_4 ◽

1999 ◽

pp. 28-29

Author(s):

Catuscia Palamidessi

Keyword(s):

Distributed Implementation

Download Full-text

On Distributed Implementation of Switch-Based Adaptive Dynamic Programming

IEEE Transactions on Cybernetics ◽

10.1109/tcyb.2020.3029825 ◽

2020 ◽

pp. 1-7

Author(s):

Di Liu ◽

Simone Baldi ◽

Wenwu Yu ◽

Guanrong Chen

Keyword(s):

Dynamic Programming ◽

Adaptive Dynamic Programming ◽

Adaptive Dynamic ◽

Distributed Implementation

Download Full-text

Joint Power and Admission Control for Ad-Hoc and Cognitive Underlay Networks: Convex Approximation and Distributed Implementation

IEEE Transactions on Wireless Communications ◽

10.1109/twc.2011.100811.101381 ◽

2011 ◽

Vol 10 (12) ◽

pp. 4110-4121 ◽

Author(s):

Ioannis Mitliagkas ◽

Nicholas D. Sidiropoulos ◽

Ananthram Swami

Keyword(s):

Admission Control ◽

Ad Hoc ◽

Convex Approximation ◽

Joint Power ◽

Distributed Implementation

Download Full-text

Petri net based hierarchical and distributed implementation of multiple robotic manufacturing systems

2011 IEEE International Conference on Robotics and Biomimetics ◽

10.1109/robio.2011.6181367 ◽

2011 ◽

Author(s):

Gen'ichi Yasuda

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Distributed Implementation

Download Full-text

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-49674-9_34 ◽

2016 ◽

pp. 553-559 ◽

Author(s):

Hugues Evrard

Keyword(s):

Formal Specification ◽

Concurrent System ◽

Distributed Implementation

Download Full-text

A distributed implementation of Structured Gamma

Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001 ◽

10.1109/icpads.2001.934852 ◽

2002 ◽

Author(s):

G.A.L. Paillard ◽

F.M.G. Franca ◽

J.A.M. Filho

Keyword(s):

Distributed Implementation

Download Full-text

Distributed Implementation and Hierarchical Level for Control of Flexible Manufacturing Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)54394-3 ◽

1989 ◽

Vol 22 (6) ◽

pp. 323-326

Author(s):

E. Craye ◽

J.C. Gentina

Keyword(s):

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Hierarchical Level ◽

Distributed Implementation

Download Full-text

A framework for automated distributed implementation of component-based models

Distributed Computing ◽

10.1007/s00446-012-0168-6 ◽

2012 ◽

Vol 25 (5) ◽

pp. 383-409 ◽

Author(s):

Borzoo Bonakdarpour ◽

Marius Bozga ◽

Mohamad Jaber ◽

Jean Quilbeuf ◽

Joseph Sifakis

Keyword(s):

Distributed Implementation

Download Full-text

Distributed Implementation

A Discipline of Multiprogramming - Monographs in Computer Science ◽

10.1007/978-1-4419-8528-6_11 ◽

2001 ◽

pp. 339-359 ◽

Author(s):

Jayadev Misra

Keyword(s):

Distributed Implementation

Download Full-text

A Distributed Implementation of the Certified Information Access Service

Computer Security - ESORICS 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88313-5_26 ◽

2008 ◽

pp. 396-410

Author(s):

Carlo Blundo ◽

Emiliano De Cristofaro ◽

Aniello Del Sorbo ◽

Clemente Galdi ◽

Giuseppe Persiano

Keyword(s):

Information Access ◽

Access Service ◽

Distributed Implementation

Download Full-text

Concepts for a Distributed Implementation

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems - TEUBNER-TEXTE zur Informatik ◽

10.1007/978-3-322-97611-6_4 ◽

1993 ◽

pp. 45-83

Author(s):

Uwe Glässer

Keyword(s):

Distributed Implementation

Download Full-text