2673 search results - page 112 / 535 » Guided Static Analysis |
131
click to vote
WORDS
2005
IEEE
15 years 9 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 ...
116
Voted
DAGSTUHL
2006
15 years 5 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...
130
click to vote
ICCAD
2002
IEEE
16 years 28 days 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...
115
click to vote
DEXA
2003
Springer
15 years 9 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...
144
click to vote
TGC
2007
Springer
15 years 10 months 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...