4719 search results - page 478 / 944 » Newtonian program analysis |
162
Voted
ISOLA
2004
Springer
16 years 6 days ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
156
Voted
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
165
click to vote
ATVA
2004
Springer
16 years 7 days ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
154
click to vote
ICCS
2003
Springer
16 years 1 days ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
158
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This work presents an H2 performance analysis of the agreement protocol in the presence of noise. The agreement protocol is first transformed into an equivalent system induced...