10912 search results - page 1810 / 2183 » Object-Oriented Programming Languages |
190
click to vote
IPPS
2002
IEEE
16 years 11 days ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
235
Voted
LICS
2002
IEEE
16 years 11 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
209
Voted
PDP
2002
IEEE
16 years 11 days ago
2002
IEEE
Despite the explosive new interest in Distributed Computing, bringing software — particularly legacy software — to parallel platforms remains a daunting task. The Self Distrib...
209
Voted
VR
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper, we introduce DLoVe, a new paradigm for designing and implementing distributed and nondistributed virtual reality applications, using one-way constraints. DLoVe allo...
182
click to vote
LCPC
2009
Springer
16 years 15 hour ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...