5777 search results - page 1004 / 1156 » The palladio component model |
168
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
We present a study of multithreaded implementations of Thorup’s algorithm for solving the Single Source Shortest Path (SSSP) problem for undirected graphs. Our implementations l...
169
click to vote
ISVLSI
2007
IEEE
16 years 26 days ago
2007
IEEE
In sub-90nm technologies, more frequent hard faults pose a serious burden on processor design and yield control. In addition to manufacturing-time chip repair schemes, microarchit...
165
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
171
click to vote
QEST
2007
IEEE
16 years 26 days ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
200
click to vote
RSP
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...