711 search results - page 116 / 143 » Scalable and Modular Scheduling |
129
click to vote
ESOP
2011
Springer
14 years 5 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
110
click to vote
MOBIHOC
2007
ACM
16 years 1 months ago
2007
ACM
Recently, there has been substantial interest in the design of crosslayer protocols for wireless networks. These protocols optimize certain performance metric(s) of interest (e.g....
109
click to vote
ISSAC
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
133
click to vote
MICRO
2008
IEEE
15 years 8 months ago
2008
IEEE
As companies move towards many-core chips, an efficient onchip communication fabric to connect these cores assumes critical importance. To address limitations to wire delay scala...
154
click to vote
PVM
1997
Springer
15 years 5 months ago
1997
Springer
The extremely low latencies and high bandwidth results achievable with the Scalable Coherent Interface SCI at lowest level encourages its integration into existing Message Passin...