42507 search results - page 137 / 8502 » On the analysis of |
148
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
159
click to vote
ISORC
2007
IEEE
16 years 25 days ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
149
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
168
click to vote
SAFECOMP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
155
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...