Sciweavers

392 search results - page 16 / 79
» Negation as Partial Failure
Sort
View
IM
2003
13 years 9 months ago
Toward Understanding Soft Faults in High Performance Cluster Networks
: Fault management in high performance cluster networks has been focused on the notion of hard faults (i.e., link or node failures). Network degradations that negatively impact per...
Jeffrey J. Evans, Seongbok Baik, Cynthia S. Hood, ...
APN
1999
Springer
13 years 12 months ago
Detection of Illegal Behaviors Based on Unfoldings
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
Jean-Michel Couvreur, Denis Poitrenaud
INFOCOM
1996
IEEE
13 years 11 months ago
Retransmission-Based Partially Reliable Transport Service: An Analytic Model
This paper analytically studies retransmission-based partially reliable transport service. Results show that partially reliable transport service provides increasingly higher thro...
Rahmi Marasli, Paul D. Amer, Phillip T. Conrad
DAM
2007
100views more  DAM 2007»
13 years 7 months ago
Partially ordered knapsack and applications to scheduling
In the partially-ordered knapsack problem (POK) we are given a set N of items and a partial order ≺P on N. Each item has a size and an associated weight. The objective is to pac...
Stavros G. Kolliopoulos, George Steiner
CORR
2004
Springer
128views Education» more  CORR 2004»
13 years 7 months ago
Specialization of Functional Logic Programs Based on Needed Narrowing
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
María Alpuente, Michael Hanus, Salvador Luc...