5838 search results - page 709 / 1168 » A File System for System Programming in Ubiquitous Computing |
205
click to vote
PPOPP
1993
ACM
15 years 11 months ago
1993
ACM
This paper discusses some of the issues involved in implementing a shared-address space programming model on large-scale, distributed-memory multiprocessors. While such a programm...
201
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
168
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
214
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
193
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...