11949 search results - page 244 / 2390 » Some results on (a:b)-choosability |
SETA
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. In this paper a spectral characterization of the synchronization property of Boolean dynamical systems is provided. Conditions on the spectrum of the next-state function ...
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
135
click to vote
PPSN
2010
Springer
14 years 11 months ago
2010
Springer
We present methods to answer two basic questions that arise when benchmarking optimization algorithms. The first one is: which algorithm is the `best' one? and the second one:...
109
Voted
SICHERHEIT
2010
14 years 11 months ago
2010
: A network early warning system consists of several distributed sensors to detect malicious network activity. The effectiveness of such early warning systems critically depends on...
135
Voted
DLOG
2009
14 years 11 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...