3820 search results - page 554 / 764 » Bounded Model Debugging |
120
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this paper two scheduling models are addressed. First is the standard model (unicast) where requests (or jobs) are independent. The other is the broadcast model where broadcast...
131
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Recognition codes for protein-DNA interactions typically assume that the interacting positions contribute additively to the binding energy. While this is known to not ...
133
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
130
click to vote
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
124
click to vote
SIAMCOMP
2010
15 years 1 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...