365 search results - page 49 / 73 » Semi-automatic derivation of timing models for WCET analysis |
TCAD
2002
14 years 9 months ago
2002
We develop a general methodology to analyze crosstalk effects that are likely to cause errors in deep submicron high speed circuits. We focus on crosstalk due to capacitive coupli...
ICLP
1997
Springer
15 years 1 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
CAGD
2005
14 years 9 months ago
2005
In this paper we present a novel approach to construct B-spline wavelets under constraints, taking advantage of the lifting scheme. Constrained B-spline wavelets allow multiresolu...
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
101
click to vote
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...