2838 search results - page 379 / 568 » Verifying Controlled Components |
116
click to vote
USENIX
2003
15 years 2 months ago
2003
Despite constant improvements in fabrication technology, hardware components are consuming more power than ever. With the everincreasing demand for higher performance in highly-in...
119
Voted
FTCS
1997
15 years 2 months ago
1997
In this paper the consolidate identification of faults, distinguished as transient or permanent/intermittent, is approached. Transient faults discrimination has long been performe...
CII
2006
15 years 21 days ago
2006
This paper is based on the results from the project PROTEUS sponsored by the French Ministry of Economy, Finance and Industry and the Federal Ministry of Education and Research of...
103
Voted
GRID
2006
Springer
15 years 20 days ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...
128
click to vote
IJWGS
2007
15 years 17 days ago
2007
: Current grid technologies offer unlimited computational power and storage capacity for scientific research and business activities in heterogeneous areas all over the world. Than...