Sciweavers

1158 search results - page 89 / 232
» Software is discrete mathematics
Sort
View
GECCO
2005
Springer
14 years 3 months ago
New topologies for genetic search space
We propose three distance measures for genetic search space. One is a distance measure in the population space that is useful for understanding the working mechanism of genetic al...
Yong-Hyuk Kim, Byung Ro Moon
PODC
2004
ACM
14 years 3 months ago
Compact routing on euclidian metrics
We consider the problem of designing a compact communication network that supports efficient routing in an Euclidean plane. Our network design and routing scheme achieves 1+ stret...
Ittai Abraham, Dahlia Malkhi
HYBRID
2004
Springer
14 years 3 months ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...
PARA
2004
Springer
14 years 3 months ago
Parallelization of GSL: Performance of Case Studies
In this paper we explore the parallelization of the scientific library from GNU both on shared-memory and distributed-memory architectures. A pair of classical operations, arising...
José Ignacio Aliaga, Francisco Almeida, Jos...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 2 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...