1760 search results - page 151 / 352 » Program Analysis Using Weighted Pushdown Systems |
93
Voted
DSN
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
115
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
102
Voted
CASCON
1996
15 years 2 months ago
1996
Most research on objectoriented(OO) paradigms has been focused on analysis, design, and programming fundamentals. Testing the systems that are created with these paradigms has bee...
100
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
121
click to vote
RTAS
2008
IEEE
15 years 7 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...