Sciweavers

10051 search results - page 1798 / 2011
» A Dynamic Separator Algorithm
Sort
View
ICCAD
1996
IEEE
151views Hardware» more  ICCAD 1996»
15 years 7 months ago
Expected current distributions for CMOS circuits
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
Dennis J. Ciplickas, Ronald A. Rohrer
IPPS
1996
IEEE
15 years 7 months ago
Dag-Consistent Distributed Shared Memory
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
Robert D. Blumofe, Matteo Frigo, Christopher F. Jo...
LICS
1996
IEEE
15 years 7 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
VVS
1996
IEEE
205views Visualization» more  VVS 1996»
15 years 7 months ago
3D Shock Wave Visualization on Unstructured Grids
A critical issue in understanding high speed flows is the study of shock waves. This paper summarizes our research on techniques for the detection and visualization of shock waves...
Kwan-Liu Ma, John Van Rosendale, Willem Vermeer
IRREGULAR
1997
Springer
15 years 7 months ago
Parallel Shared-Memory State-Space Exploration in Stochastic Modeling
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
Susann C. Allmaier, Graham Horton
« Prev « First page 1798 / 2011 Last » Next »