Sciweavers

3955 search results - page 177 / 791
» A Transactional Architecture for Simulation
Sort
View
DAC
1997
ACM
15 years 4 months ago
Toward Formalizing a Validation Methodology Using Simulation Coverage
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...
Aarti Gupta, Sharad Malik, Pranav Ashar
109
Voted
VECPAR
1998
Springer
15 years 4 months ago
Simulating Magnetised Plasma with the Versatile Advection Code
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...
Rony Keppens, Gábor Tóth
GLOBECOM
2007
IEEE
15 years 7 months ago
OBIG: the Architecture of an Output Buffered Switch with Input Groups for Large Switches
—Large, fast switches require novel approaches to architecture and scheduling. In this paper, we propose the Output Buffered Switch with Input Groups (OBIG). We present simulatio...
Wladek Olesinski, Hans Eberle, Nils Gura
VISUALIZATION
1998
IEEE
15 years 5 months ago
A distributed blackboard architecture for interactive data visualization
In this paper we present a distributed blackboard architecture for scientific visualzation. We discuss our motivation,design and applicationof the architecture. The main advantage...
Robert van Liere, Jan Harkes, Wim C. de Leeuw
61
Voted
ISCAS
2002
IEEE
95views Hardware» more  ISCAS 2002»
15 years 5 months ago
A differential DAC architecture with variable common-mode level
A differential current-steering digital-to-analog converter (DAC) architecture allowing the common-mode level of the input signal to be varied is presented. Simulation results wit...
K. Ola Andersson, N. U. Andersson, Mark Vesterback...