1278 search results - page 199 / 256 » Design and Analysis of Parametric Query Optimization Algorit... |
SAC
2003
ACM
15 years 2 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
ASPLOS
2000
ACM
15 years 2 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
86
Voted
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
FPL
2007
Springer
15 years 1 months ago
2007
Springer
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. These custom instructions are selected through an analys...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...