2673 search results - page 369 / 535 » Guided Static Analysis |
120
click to vote
STTT
2002
15 years 4 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
156
Voted
JNW
2010
15 years 3 months ago
2010
Abstract— Tree-based structure is widely used in peer-topeer streaming service and is the fundamental of many other structures, but it suffers a lot from the existence of free-ri...
150
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
119
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
154
Voted
WCET
2010
15 years 2 months ago
2010
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...