5536 search results - page 800 / 1108 » Programming Languages for Distributed Applications |
133
click to vote
SCP
2010
14 years 12 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
120
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
108
click to vote
ETFA
2008
IEEE
15 years 3 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
111
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
CCGRID
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper proposes a novel View-based Consistency model for Distributed Shared Memory. A view is a set of ordinary data objects that a processor has the right to access in a data...