5838 search results - page 562 / 1168 » A File System for System Programming in Ubiquitous Computing |
246
click to vote
SAS
1992
Springer
15 years 11 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
173
click to vote
TLDI
2003
ACM
16 years 8 days ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
260
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
191
click to vote
IPPS
2003
IEEE
16 years 9 days ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
228
click to vote
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...