5838 search results - page 227 / 1168 » A File System for System Programming in Ubiquitous Computing |
125
Voted
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...
133
click to vote
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
138
click to vote
CONCURRENCY
2007
15 years 3 months ago
2007
: We present the initial architecture and implementation of VLab, a Grid and Web Service-based system for enabling distributed and collaborative computational chemistry and materia...
133
Voted
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
116
Voted
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
—Accurate, simple and affordable methods for passive indoor tracking of human beings are still missing. In this article, we describe the development of an unobtrusive two-dimensi...