13397 search results - page 21 / 2680 » From Static Distributed Systems to Dynamic Systems |
86
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
91
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Nanoscale technology promises dramatically increased device density, but also decreased reliability. With bit error rates projected to be as high as 10%, designing a us...
110
Voted
ENTCS
2007
15 years 13 days ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
105
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...
127
Voted
RTAS
1998
IEEE
15 years 4 months ago
1998
IEEE
In the past, environmental restrictions on size, weight, and power consumption have severely limited both the processing and storage capacity of embedded signal processing systems...