3820 search results - page 606 / 764 » Bounded Model Debugging |
131
click to vote
APPROX
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we derive bounds on performance guarantees of online algorithms for real-time preemptive scheduling of jobs with deadlines on K machines when jobs are characterized ...
153
click to vote
APBC
2008
15 years 4 months ago
2008
: Finding motifs and the corresponding binding sites is a critical and challenging problem in studying the process of gene expression. String and matrix representations are two pop...
131
click to vote
SIROCCO
2008
15 years 3 months ago
2008
The augmented graph model, as introduced by Kleinberg (STOC 2000), is an appealing model for analyzing navigability in social networks. Informally, this model is defined by a pair...
117
click to vote
CONSTRAINTS
2007
15 years 2 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
128
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Currently, the PDB contains approximately 29,000 protein structures comprising over 70,000 experimentally determined three-dimensional structures of over 5,000 differe...