448 search results - page 83 / 90 » Debugging DHCP performance |
183
click to vote
ICFEM
2009
Springer
16 years 27 days 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...
173
click to vote
ISSTA
2009
ACM
16 years 26 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
187
click to vote
COMPSAC
2008
IEEE
16 years 25 days ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
177
click to vote
ETFA
2008
IEEE
16 years 24 days ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
182
Voted
HPCC
2007
Springer
16 years 15 days ago
2007
Springer
As Grids become increasingly relied upon as critical infrastructure, it is imperative to ensure the highly-available and secure day-to-day operation of the Grid infrastructure. The...