446 search results - page 85 / 90 » On the Interactive Complexity of Graph Reliability |
143
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
140
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
134
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
141
click to vote
SIGCOMM
2004
ACM
15 years 8 months ago
2004
ACM
Hot-potato routing is a mechanism employed when there are multiple (equally good) interdomain routes available for a given destination. In this scenario, the Border Gateway Protoc...
148
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...