1127 search results - page 166 / 226 » Theory Extension in ACL2(r) |
161
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
A new family of "Distribution Replacement” operators for use in steady state genetic algorithms is presented. Distribution replacement enforces the members of the populatio...
203
click to vote
IPSN
2007
Springer
16 years 9 days ago
2007
Springer
Recent work has shown that, despite the minimal information provided by a binary proximity sensor, a network of such sensors can provide remarkably good target tracking performanc...
168
click to vote
LCTRTS
2007
Springer
16 years 9 days ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
174
click to vote
INFOCOM
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— This paper focuses on the Delay/Fault-Tolerant Mobile Sensor Network (DFT-MSN) for pervasive information gathering. We develop simple and efficient data delivery schem...
165
click to vote
ML
2006
ACM
16 years 3 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...