5838 search results - page 856 / 1168 » A File System for System Programming in Ubiquitous Computing |
133
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
259
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
162
click to vote
IEEEPACT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
129
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Distributed computing systems are a viable and less expensive alternative to parallel computers. However, concurrent programming methods in distributed systems have not been studi...
189
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
Many modern applications, from Grid computing to RSS handling, need to support data processing in a distributed environment. Currently, most such applications are implemented usin...