3256 search results - page 299 / 652 » Applications of Formal Methods to System Design and Verifica... |
180
click to vote
HIPEAC
2005
Springer
16 years 4 days ago
2005
Springer
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
164
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
167
click to vote
VLSISP
2008
15 years 6 months ago
2008
The speedups and the energy reductions achieved in a generic single-chip microprocessor system by employing a high-performance data-path are presented. The data-path acts as a copr...
144
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
The use of Grid technologies allows us to make progress in the prediction accuracy of epidemiological patterns, epidemiological modeling, risk predictions of infectious diseases et...
181
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...