71 search results - page 8 / 15 » Scalable omniscient debugging |
ASWC
2008
Springer
13 years 11 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
Parallel applications typically run in batch mode, sometimes after long waits in a scheduler queue. In some situations, it would be desirable to interactively add new functionalit...
OOPSLA
2010
Springer
13 years 7 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...