171 search results - page 18 / 35 » Efficient algorithms for interface timing verification |
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
126
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
87
Voted
CPHYSICS
2008
15 years 2 months ago
2008
We examine parallel algorithms for molecular dynamics simulations involving long-range induction interactions. The algorithms are tested by performing molecular dynamics simulatio...
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Many recent techniques for timing analysis under variability, in which delay is an explicit function of underlying parameters, may be described as parameterized timing analysis. T...
172
click to vote
VISUALIZATION
1995
IEEE
15 years 5 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...