524 search results - page 74 / 105 » Characterizing the Paralation Model using Dynamic Assignment |
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
EUROPAR
2009
Springer
14 years 10 days ago
2009
Springer
Multicore architectures featuring specialized accelerators are getting an increasing amount of attention, and this success will probably influence the design of future High Perfor...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...
MONET
2002
13 years 7 months ago
2002
This paper describes a framework for selecting the optimal call mix to be admitted while employing a bandwidth degradation policy in a wireless cellular network. The optimal proper...
JMLR
2011
13 years 2 months ago
2011
A widely agreed upon definition of time series causality inference, established in the seminal 1969 article of Clive Granger (1969), is based on the relative ability of the histor...