Sciweavers

17740 search results - page 131 / 3548

» Simulation Using Orchestration

189

EDCC
2010
Springer

250views Applied Computing» more EDCC 2010»

Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC

15 years 11 months ago

Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC

Download edcc.dependability.org

Jon Perez, Mikel Azkarate-askasua, Antonio Perez

claim paper

Read More »

143

DBPL
2001
Springer

90views Database» more DBPL 2001»

Simulation of Advanced Transaction Models Using GOLOG

15 years 11 months ago

Simulation of Advanced Transaction Models Using GOLOG

Download www.cs.toronto.edu

Iluju Kiringa

claim paper

Read More »

128

DATE
2000
IEEE

79views Hardware» more DATE 2000»

Logic Simulation Using Networks of State Machines

15 years 10 months ago

Logic Simulation Using Networks of State Machines

Download cs.ecs.baylor.edu

Peter M. Maurer

claim paper

Read More »

136

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

15 years 10 months ago

Reliable verification using symbolic simulation with scalar values

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

120

CANPC
2000
Springer

109views Communications» more CANPC 2000»

Simulation Studies of Gigabit Ethernet Versus Myrinet Using Real Application Cores

15 years 10 months ago

Simulation Studies of Gigabit Ethernet Versus Myrinet Using Real Application Cores

Download academic.csuohio.edu

Helen Chen, Pete Wyckoff

claim paper

Read More »

« Prev « First page 131 / 3548 Last » Next »