5838 search results - page 432 / 1168 » A File System for System Programming in Ubiquitous Computing |
161
click to vote
HIPC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. The theory of bulk-synchronous parallel computing has produced a large number of attractive algorithms, which are provably optimal in some sense, but typically require th...
181
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
271
click to vote
PDP
2011
IEEE
14 years 10 months ago
2011
IEEE
—Energy-efficiency is becoming one of the most critical issues in embedded system design. In Network-on-Chip (NoC) based heterogeneous Multiprocessor Systems, the energy consump...
179
click to vote
CACM
2010
15 years 6 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
152
click to vote
IEEEPACT
2006
IEEE
16 years 9 days ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...