2424 search results - page 165 / 485 » The High Level Architecture for Simulations |
231
Voted
DAGSTUHL
2011
14 years 6 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...
190
click to vote
DAC
1997
ACM
15 years 11 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...
234
Voted
VLSID
1999
IEEE
15 years 11 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...
197
Voted
VECPAR
1998
Springer
15 years 11 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...
179
click to vote
ISCA
2006
IEEE
16 years 1 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 ...