3688 search results - page 149 / 738 » Static analysis of aspects |
146
click to vote
WCET
2008
15 years 7 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
137
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— As technology scales into the sub-90nm domain, manufacturing variations become an increasingly significant portion of circuit delay. As a result, delays must be modeled as sta...
152
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
125
click to vote
SIGDOC
1998
ACM
15 years 10 months ago
1998
ACM
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
160
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...