214 search results - page 25 / 43 » An Experimental Evaluation on Reliability Features of N-Vers... |
102
click to vote
POPL
2011
ACM
14 years 9 days ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
KDD
2009
ACM
2009
ACM
Classification of software behaviors for failure detection: a discriminative pattern mining approach
15 years 10 months ago
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...
157
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
93
Voted
PKDD
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
100
click to vote
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
Current day network processors incorporate several architectural features including symmetric multi-processing (SMP), block multi-threading, and multiple memory elements to suppor...