4350 search results - page 562 / 870 » Case studies for contract-based systems |
171
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Aggressive technology scaling has an ever-increasing adverse impact on the lifetime reliability of microprocessors. This paper proposes a novel simulation framework for evaluating...
184
click to vote
SSDBM
2010
IEEE
15 years 12 months ago
2010
IEEE
The Taverna workflow management system is an open source project with a history of widespread adoption within multiple experimental science communities, and a long-term ambition o...
175
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
220
click to vote
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
196
Voted
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The application of spectral methods to the software clustering problem has the advantage of producing results that are within a known factor of the optimal solution. Heuristic sea...