3507 search results - page 371 / 702 » Slicing for architectural analysis |
218
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
204
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
226
click to vote
IDEAS
1997
IEEE
15 years 11 months ago
1997
IEEE
A variety of heterogenous data sources is available in the field of molecular biology. Our focus lies on the biological sequence data, i. e. data maintained in collections like EM...
221
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
179
click to vote
ICMCS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we investigate the suitability of clustered architectures for designing scalable multimedia servers. Specifically, we evaluate the effects of: (i) architectural des...