10051 search results - page 1888 / 2011 » A Dynamic Separator Algorithm |
149
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
147
click to vote
TSP
2010
14 years 9 months ago
2010
Effective spectrum sensing is a critical prerequisite for multi-channel cognitive radio (CR) networks, where multiple spectrum bands are sensed to identify transmission opportuniti...
149
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
132
click to vote
IACR
2011
14 years 2 months ago
2011
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL redu...
123
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...