44 search results - page 1 / 9 » Static Backward Program Slicing for Safety-Critical Systems |
JTRES
2010
ACM
13 years 4 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
FMICS
2009
Springer
13 years 11 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...
CSMR
2007
IEEE
13 years 11 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
ISCA
2000
IEEE
13 years 9 months ago
2000
IEEE
For many applications, branch mispredictions and cache misses limit a processor’s performance to a level well below its peak instruction throughput. A small fraction of static i...
JSS
2006
13 years 4 months ago
2006
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an ongoing discussion. There is evidence that context-sensitivity matters in comp...