11112 search results - page 236 / 2223 » Computing Stuttering Simulations |
151
click to vote
HPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
In systems consisting of multiple clusters of processors which employ space sharing for scheduling jobs, such as our Distributed ASCI1 Supercomputer (DAS), coallocation, i.e., the...
162
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
155
click to vote
LSSC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this work we solve the Barker-Ferry equation which accounts for the quantum character of the electron-phonon interaction in semiconductors in the framework of the Mont...
171
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
162
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...