3868 search results - page 377 / 774 » A Distributed Parallel Programming Framework |
190
click to vote
ECOOP
1995
Springer
15 years 10 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...
211
click to vote
WORDS
2002
IEEE
15 years 11 months 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...
241
click to vote
PC
2012
14 years 2 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...
237
click to vote
CONCUR
2005
Springer
16 years 9 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...
175
click to vote
GI
2004
Springer
16 years 5 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...