5838 search results - page 762 / 1168 » A File System for System Programming in Ubiquitous Computing |
175
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...
183
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
170
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
192
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
163
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Hardware transactional memory is a promising synchronization technology for chip-multiprocessors. It simplifies programming of concurrent applications and allows for higher concu...