4616 search results - page 425 / 924 » Extreme Components Analysis |
166
Voted
LCPC
2005
Springer
16 years 9 days ago
2005
Springer
Tera-scale high-performance computing has enabled scientists to tackle very large and computationally challenging scientific problems, making the advancement of scientific discov...
168
click to vote
MFCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We introduce nondeterministic graph searching with a controlled amount of nondeterminism and show how this new tool can be used in algorithm design and combinatorial anal...
133
click to vote
DNA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Speed of computation and power consumption are the two main parameters of conventional computing devices implemented in microelectronic circuits. As performance of such d...
197
click to vote
ISAS
2004
Springer
16 years 6 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
169
click to vote
OOPSLA
2004
Springer
16 years 5 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...