1368 search results - page 143 / 274 » Understanding Software Systems Using Reverse Engineering Tec... |
147
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
111
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
136
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
109
Voted
SERP
2003
15 years 3 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
146
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...