15644 search results - page 285 / 3129 » Brittle System Analysis |
176
click to vote
SPIN
2004
Springer
16 years 1 days ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
149
click to vote
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
The schedulability testing for the deferrable scheduling algorithm for fixed priority transactions (DS-FP) remains
173
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
158
click to vote
ISHPC
2003
Springer
15 years 12 months ago
2003
Springer
The paper presents the design and development of an online remote trace measurement and analysis system. The work combines the strengths of the TAU performance system with that of ...
180
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...