Sciweavers

8132 search results - page 1417 / 1627
» Dependability, Abstraction, and Programming
Sort
View
FPL
2004
Springer
101views Hardware» more  FPL 2004»
15 years 12 months ago
The Chess Monster Hydra
Abstract. With the help of the FPGA technology, the boarder between hardand software has vanished. It is now possible to develop complex designs and fine grained parallel applicat...
Chrilly Donninger, Ulf Lorenz
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
15 years 12 months ago
Alternative Bloat Control Methods
Abstract. Bloat control is an important aspect of evolutionary computation methods, such as genetic programming, which must deal with genomes of arbitrary size. We introduce three ...
Liviu Panait, Sean Luke
GI
2004
Springer
15 years 12 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
HUC
2004
Springer
15 years 12 months ago
The NearMe Wireless Proximity Server
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...
John Krumm, Ken Hinckley
HYBRID
2004
Springer
15 years 12 months ago
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
Alexandre M. Bayen, Robin L. Raffard, Claire Tomli...
« Prev « First page 1417 / 1627 Last » Next »