44 search results - page 1 / 9 » Static Backward Program Slicing for Safety-Critical Systems |
125
Voted
JTRES
2010
ACM
15 years 1 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 ...
129
click to vote
FMICS
2009
Springer
15 years 7 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...
107
Voted
CSMR
2007
IEEE
15 years 7 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...
116
Voted
ISCA
2000
IEEE
15 years 5 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...
137
Voted
JSS
2006
15 years 1 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...