27913 search results - page 221 / 5583 » Simulation |
140
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We describe a highly accurate but e cient fault simulator for interconnect opens, based on characterizing the standard cell library with SPICE; using transistor charge equations f...
119
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...
166
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
159
click to vote
WSC
2007
15 years 9 months ago
2007
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
177
click to vote
WSC
2008
15 years 9 months ago
2008
This study observed the challenges of taking an existing facility's inpatient volumes and procedures and projecting them into a replacement facility with differently sized un...