1906 search results - page 328 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
158
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Hardware acceleration is crucial in modern embedded system design to meet the explosive demands on performance and cost. Selected computation kernels for acceleration are usually ...
141
click to vote
MP
2010
15 years 3 months ago
2010
Inspired by the One Laptop Per Child project, we consider mesh networks that connect devices that cannot recharge their batteries easily. We study how the mesh should retransmit in...
176
click to vote
HASE
1997
IEEE
15 years 9 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
146
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Software systems should consist of simple, conceptually clean software components interacting along narrow, well-defined paths. All too often, this is not reality: complex compon...
127
Voted
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...