3820 search results - page 169 / 764 » Bounded Model Debugging |
112
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
137
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
113
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—The Border Gateway Protocol (BGP) handles the task of establishing routes between the Autonomous Systems (ASes) that make up the Internet. It is known that it is possible for a ...
114
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Traditional performance models are too brittle to be relied on for continuous capacity planning and performance debugging in many computer systems. Simply put, a brittle model is ...
130
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...