3228 search results - page 51 / 646 » Computationally Sound Proofs |
124
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
128
click to vote
ISDA
2006
IEEE
15 years 9 months ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
125
click to vote
CDB
2004
Springer
15 years 8 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
