3868 search results - page 377 / 774 » A Distributed Parallel Programming Framework |
212
click to vote
ECOOP
1995
Springer
15 years 11 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
234
click to vote
WORDS
2002
IEEE
16 years 10 days ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
267
click to vote
PC
2012
14 years 3 months ago
2012
— The frenetic development of the current architectures places a strain on the current state-of-the-art programming environments. Harnessing the full potential of such architectu...
252
click to vote
CONCUR
2005
Springer
16 years 29 days ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
191
click to vote
GI
2004
Springer
16 years 24 days ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...