2673 search results - page 112 / 535 » Guided Static Analysis |
156
click to vote
WORDS
2005
IEEE
15 years 12 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
147
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
162
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...
143
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
178
click to vote
TGC
2007
Springer
16 years 13 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...