941 search results - page 109 / 189 » The Second Order Particle System |
TSE
2010
14 years 4 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
122
click to vote
CISS
2010
IEEE
14 years 1 months ago
2010
IEEE
—This paper presents the system level performance evaluation for energy-detection based cooperative spectrum sensing in cognitive radio networks. Three performance criteria are q...
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper is on the construction of a fault-tolerant and responsive server subsystem in an application context where the subsystem is accessed through an asynchronous network by ...
107
click to vote
SIGMOD
2012
ACM
13 years 9 days ago
2012
ACM
We study the notion of regret ratio proposed in [19] to deal with multi-criteria decision making in database systems. The regret minimization query proposed in [19] was shown to h...
PLDI
2004
ACM
15 years 3 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...