5838 search results - page 294 / 1168 » A File System for System Programming in Ubiquitous Computing |
243
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
142
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
142
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
A computer program is described to calculate momentum distributions in stripping and diffraction dissociation reactions. A Glauber model is used with the scattering wavefunctions ...
116
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Conventional e-mail systems are prone to problems that impact their scalability and dependability. E-mail systems operate following a "push-based" approach: the sender s...
139
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...