Sciweavers

828 search results - page 97 / 166
» Bounded Hairpin Completion
Sort
View
IOR
2007
82views more  IOR 2007»
13 years 10 months ago
Compensating for Failures with Flexible Servers
We consider the problem of maximizing capacity in a queueing network with flexible servers, where the classes and servers are subject to failure. We assume that the interarrival ...
Sigrún Andradóttir, Hayriye Ayhan, D...
JAR
2007
142views more  JAR 2007»
13 years 10 months ago
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
Ullrich Hustadt, Boris Motik, Ulrike Sattler
COMBINATORICS
2004
243views more  COMBINATORICS 2004»
13 years 10 months ago
Class-Uniformly Resolvable Group Divisible Structures II: Frames
We consider Class-Uniformly Resolvable frames (CURFs), which are group divisible designs with partial resolution classes subject to the class-uniform condition. We derive the nece...
Peter Danziger, Brett Stevens
JSA
2000
96views more  JSA 2000»
13 years 9 months ago
Schedulability analysis of periodic and aperiodic tasks with resource constraints
In this paper, we address the problem of scheduling hybrid task sets consisting of hard periodic and soft aperiodic tasks that may share resources in exclusive mode in a dynamic e...
Giuseppe Lipari, Giorgio C. Buttazzo
APIN
1998
78views more  APIN 1998»
13 years 9 months ago
The Method of Assigning Incidences
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
Weiru Liu, David McBryan, Alan Bundy