3082 search results - page 585 / 617 » Deviation Analysis: A New Use of Model Checking |
110
click to vote
ISCA
2000
IEEE
15 years 3 months ago
2000
IEEE
High performance general-purpose processors are increasingly being used for a variety of application domains scienti c, engineering, databases, and more recently, media processing...
SIGMOD
2005
ACM
15 years 5 months ago
2005
ACM
In a number of recent studies [4, 8] researchers have found that because search engines repeatedly return currently popular pages at the top of search results, popular pages tend ...
110
click to vote
SPAA
2005
ACM
15 years 5 months ago
2005
ACM
We describe a new class of utility-maximization scheduling problem with precedence constraints, the disconnected staged scheduling problem (DSSP). DSSP is a nonpreemptive multipro...
119
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
113
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...