5838 search results - page 338 / 1168 » A File System for System Programming in Ubiquitous Computing |
137
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
127
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
168
Voted
ICARCV
2002
IEEE
15 years 9 months ago
2002
IEEE
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
268
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
150
click to vote
SIGGRAPH
1993
ACM
15 years 9 months ago
1993
ACM
We believe that navigation in information spaces is best supported by tapping into our natural spatial and geographic ways of thinking. To this end, we are developing a new comput...