2266 search results - page 150 / 454 » Generalizing parametric timing analysis |
186
click to vote
BPM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
158
click to vote
ESOP
2007
Springer
16 years 18 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
172
click to vote
VEE
2006
ACM
16 years 11 days ago
2006
ACM
Many new Java runtime optimizations report relatively small, single-digit performance improvements. On modern virtual and actual hardware, however, the performance impact of an op...
179
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
A methodology is proposed to efficiently estimate the substrate noise generated by large scale aggressor circuits. Small spatial voltage differences within the ground distribution...
170
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...