1755 search results - page 17 / 351 » An efficient simulation algorithm based on abstract interpre... |
105
click to vote
VMCAI
2012
Springer
13 years 5 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
TCAD
2008
14 years 9 months ago
2008
Abstract--The electrostatic discharge (ESD) problem has become a challenging reliability issue in nanometer-circuit design. High voltages that resulted from ESD might cause high cu...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—We present a new algorithm for vertical handover and dynamic network selection, based on a combination of multiattribute utility theory, kernel learning and stochastic gradient ...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Power integrity simulation for system-on-package (SoP) based modules is a crucial bottleneck in the SoP design flow. In this paper, the multi-layer finite difference method (M-FDM...
FBIT
2007
IEEE
15 years 4 months ago
2007
IEEE
The modeling of soft tissue behavior is essential in haptic rendering for virtual reality based medical simulators, which provide a safe and objective medium for training medical ...