Search Sciweavers | Sciweavers

14336 search results - page 421 / 2868

» Analytical simulation modeling

197

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

16 years 1 months ago

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

139

click to vote

EUROPAR
2004
Springer

89views Distributed And Parallel Com...» more EUROPAR 2004»

A Time-Coherent Model for the Steering of Parallel Simulations

16 years 1 months ago

Download www.labri.fr

Aurélien Esnard, Michaël Dussere, Oliv...

claim paper

Read More »

138

click to vote

ISLPED
2003
ACM

95views Hardware» more ISLPED 2003»

Microarchitecture level power and thermal simulation considering temperature dependent leakage model

16 years 28 days ago

Download eda.ee.ucla.edu

Weiping Liao, Fei Li, Lei He

claim paper

Read More »

134

click to vote

SIGMETRICS
2003
ACM

82views Hardware» more SIGMETRICS 2003»

Modeling, simulation and measurements of queuing delay under long-tail internet traffic

16 years 28 days ago

Download www.cs.unc.edu

Michele Garetto, Donald F. Towsley

claim paper

Read More »

120

click to vote

ICCS
2003
Springer

92views Applied Computing» more ICCS 2003»

A 2D Numerical Model for Simulating the Physics of Fault Systems

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers