2947 search results - page 6 / 590 » Analyzing Program Analyses |
169
click to vote
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
ECOOP
2007
Springer
15 years 2 months ago
2007
Springer
102
click to vote
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
CAL
2006
14 years 10 months ago
2006
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...