949 search results - page 16 / 190 » Programmed Mutagenesis Is Universal |
87
Voted
WSC
2007
15 years 2 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
83
Voted
PDPTA
2003
15 years 1 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
118
click to vote
MOBICOM
1998
ACM
15 years 4 months ago
1998
ACM
In this paper we introduce universal mobile channels, a le communications abstraction that enables users and service providers to program application-speci c adaptive mobile servi...
DAGSTUHL
2007
15 years 1 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
108
click to vote
ICALP
2007
Springer
15 years 1 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...