6102 search results - page 481 / 1221 » Generating Optimizing Specializers |
166
click to vote
PE
2002
Springer
15 years 4 months ago
2002
Springer
Priority scheduling for packets is becoming a hot topic, as attemps are being made to integrate voice services in existing data networks. In this paper, we consider a discrete-tim...
155
Voted
CEC
2009
IEEE
15 years 2 months ago
2009
IEEE
-- Most optimization algorithms that use probabilistic models focus on extracting the information from good solutions found in the population. A selection method discards the below...
276
Voted
EUROCRYPT
2011
Springer
14 years 8 months ago
2011
Springer
We describe a working implementation of a variant of Gentry’s fully homomorphic encryption scheme (STOC 2009), similar to the variant used in an earlier implementation effort b...
131
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
173
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...