5838 search results - page 872 / 1168 » A File System for System Programming in Ubiquitous Computing |
151
click to vote
POS
1998
Springer
15 years 9 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
136
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
157
click to vote
HIPC
2000
Springer
15 years 8 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core and any custom hardware on a single wafer are becoming increasingly common in areas suc...
137
click to vote
ATC
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
134
click to vote
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...