34 search results - page 1 / 7 » Debugging complex software systems by means of pathfinder ne... |
ISCI
2010
13 years 3 months ago
2010
SIGCSE
2000
ACM
13 years 9 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
OOPSLA
2010
Springer
13 years 2 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
IWAN
2000
Springer
13 years 8 months ago
2000
Springer
The primary goal of active networking is to increase the pace of network evolution. The approach to achieving this goal, as well as the goal of enhancing customizability, is to al...
OSDI
2002
ACM
14 years 5 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...