347 search results - page 30 / 70 » Acute: high-level programming language design for distribute... |
168
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
196
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
A design pattern is a mechanism for encapsulating the knowledge of experienced designers into a re-usable artifact. Parallel design patterns reflect commonly occurring parallel co...
155
click to vote
ICDCS
1990
IEEE
15 years 9 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
174
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
151
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
We present Repo-3D, a general-purpose, object-oriented library for developing distributed, interactive 3D graphics applications across a range of heterogeneous workstations. Repo-...