2424 search results - page 165 / 485 » The High Level Architecture for Simulations |
187
click to vote
DAGSTUHL
2011
14 years 5 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
164
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
211
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
159
click to vote
VECPAR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Matter in the universe mainly consists of plasma. The dynamics of plasmas is controlled by magnetic fields. To simulate the evolution of magnetised plasma, we solve the e...
150
click to vote
ISCA
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...