6010 search results - page 125 / 1202 » Computational Approaches to Drug Design |
CAV
2008
Springer
14 years 10 days ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
KES
2005
Springer
14 years 3 months ago
2005
Springer
Pervasive computing environment and users’ demand for multimedia personalization precipitate a need for personalization tools to help people access desired multimedia content at ...
UPP
2004
Springer
14 years 3 months ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
DAC
2002
ACM
14 years 11 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
WISEC
2009
ACM
14 years 5 months ago
2009
ACM
While properties of wireless communications are often considered as a disadvantage from a security perspective, this work demonstrates how multipath propagation, a broadcast mediu...