Sciweavers

3639 search results - page 187 / 728
» Experiments on IPv6 Testing
Sort
View
EVOW
2009
Springer
15 years 7 months ago
Evolutionary Freight Transportation Planning
In this paper, we present the freight transportation planning component of the INWEST project. This system utilizes an evolutionary algorithm with intelligent search operations in ...
Thomas Weise, Alexander Podlich, Kai Reinhard, Chr...
DATE
1999
IEEE
127views Hardware» more  DATE 1999»
15 years 7 months ago
Minimizing Sensitivity to Delay Variations in High-Performance Synchronous Circuits
This paper investigates retiming and clock skew scheduling for improving the tolerance of synchronous circuits to delay variations. It is shown that when both long and short paths...
Xun Liu, Marios C. Papaefthymiou, Eby G. Friedman
DISCO
1992
79views Hardware» more  DISCO 1992»
15 years 7 months ago
REDUCE Meets CAMAL
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
John Fitch
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 7 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
EATIS
2007
ACM
15 years 7 months ago
Techniques for location selection on a mobile device
In the current paper we present a field comparison of techniques for selecting one's current location in mobile locationbased systems. Four location selection techniques are ...
Mika Luimula, Kirsti Sääskilahti, Timo P...