2266 search results - page 26 / 454 » Generalizing parametric timing analysis |
137
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This work investigates how stochastic sampling jitter noise affects the result of system identification, and proposes a modification of known approaches to mitigate the effects of...
145
click to vote
GLVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
Statistical static timing analysis (SSTA) plays a key role in determining performance of the VLSI circuits implemented in state-of-the-art CMOS technology. A pre-requisite for emp...
118
click to vote
TAPSOFT
1991
Springer
15 years 7 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
142
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: High-throughput screens comparing growth rates of arrays of distinct micro-organism cultures on solid agar are useful, rapid methods of quantifying genetic interaction...
136
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...