15644 search results - page 2712 / 3129 » Brittle System Analysis |
176
Voted
IWPC
2006
IEEE
16 years 26 days ago
2006
IEEE
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
155
click to vote
IWPC
2006
IEEE
16 years 26 days ago
2006
IEEE
Current change history analysis approaches rely on information provided by versioning systems such as CVS. Therefore, changes are not related to particular source code entities su...
151
Voted
MICRO
2006
IEEE
16 years 26 days ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
309
click to vote
PDP
2006
IEEE
16 years 26 days ago
2006
IEEE
Mobile ad hoc networks (MANETs) raise new challenges in designing protocols for solving the consensus problem. Among the others, how to design message efficient protocols so as to...
193
click to vote
QEST
2006
IEEE
16 years 26 days ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...