Sciweavers

4074 search results - page 126 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
ICCAD
2007
IEEE
113views Hardware» more  ICCAD 2007»
16 years 21 days ago
The FAST methodology for high-speed SoC/computer simulation
— This paper describes the FAST methodology that enables a single FPGA to accelerate the performance of cycle-accurate computer system simulators modeling modern, realistic SoCs,...
Derek Chiou, Dam Sunwoo, Joonsoo Kim, Nikhil A. Pa...
WSC
2001
15 years 7 months ago
A practical bottleneck detection method
This paper describes a novel method for detecting the bottleneck in a discrete event system by examining the average duration of a machine being active for all machines. The machi...
Christoph Roser, Masaru Nakano, Minoru Tanaka
ISQED
2005
IEEE
92views Hardware» more  ISQED 2005»
15 years 12 months ago
An Interconnect Insensitive Linear Time-Varying Driver Model for Static Timing Analysis
This paper presents a two-step, RC-interconnect insensitive linear time-varying (LTV) driver model for gate-level timing calculation. We show how to characterize a driver with the...
Chung-Kuan Tsai, Malgorzata Marek-Sadowska
IPPS
1998
IEEE
15 years 10 months ago
Design of a FEM Computation Engine for Real-Time Laparoscopic Surgery Simulation
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
Alex Rhomberg, Rolf Enzler, Markus Thaler, Gerhard...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 11 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha