9787 search results - page 1681 / 1958 » A Utile Function Optimizer |
167
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
155
click to vote
ASPLOS
2004
ACM
16 years 3 days ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...
172
click to vote
CF
2004
ACM
16 years 3 days ago
2004
ACM
Next generation architectures will require innovative solutions to reduce energy consumption. One of the trends we expect is more extensive utilization of compiler information dir...
212
Voted
SENSYS
2004
ACM
16 years 2 days ago
2004
ACM
We propose B-MAC, a carrier sense media access protocol for wireless sensor networks that provides a flexible interface to obtain ultra low power operation, effective collision a...
295
click to vote
UPP
2004
Springer
16 years 11 hour 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...