2036 search results - page 153 / 408 » A generic type-and-effect system |
112
Voted
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
94
Voted
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
109
click to vote
ICPP
2007
IEEE
15 years 7 months ago
2007
IEEE
Performance and power are critical design constraints in today’s high-end computing systems. Reducing power consumption without impacting system performance is a challenge for t...
121
Voted
ICPP
2007
IEEE
15 years 7 months ago
2007
IEEE
A self-organizing peer-to-peer system is built upon an application level overlay, whose topology is independent of underlying physical network. A well-routed message path in such ...
102
click to vote
HPDC
2006
IEEE
15 years 6 months ago
2006
IEEE
Fine-Grained Cycle Sharing (FGCS) systems aim at utilizing the large amount of computational resources available on the Internet. In FGCS, host computers allow guest jobs to utili...