10988 search results - page 2029 / 2198 » Algorithmic Folding Complexity |
137
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
148
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
In recent years, power consumption has become a critical concern for many VLSI systems. Whereas several case studies demonstrate that technology-, layout-, and gate-level technique...
133
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
141
click to vote
ISMAR
2003
IEEE
15 years 8 months ago
2003
IEEE
Augmented Reality has now progressed to the point where real-time applications are being considered and needed. At the same time it is important that synthetic elements are render...
151
click to vote
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...