Sciweavers

4584 search results - page 198 / 917
» Sequential parameter optimization
Sort
View
99
Voted
CEC
2007
IEEE
15 years 9 months ago
Decentralised car traffic control using message propagation optimized with a genetic algorithm
—This paper describes a decentralised car traffic control simulation with re-routing and propagation of messages among traffic nodes (roads intersections and traffic lights). The...
Martin Kelly, Giovanna Di Marzo Serugendo
116
Voted
PACT
2001
Springer
15 years 7 months ago
Optimizing Metacomputing with Communication-Computation Overlap
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
Françoise Baude, Denis Caromel, Nathalie Fu...
125
Voted
SIAMCO
2000
52views more  SIAMCO 2000»
15 years 2 months ago
Optimality of Energy Estimates for the Wave Equation with Nonlinear Boundary Velocity Feedbacks
We consider the wave equation damped by a nonlinear boundary velocity feedback q(ut). First we consider the case where q has a linear growth at infinity. We prove that the usual de...
Judith Vancostenoble, Patrick Martinez
209
Voted
POPL
2009
ACM
16 years 3 months ago
Equality saturation: a new approach to optimization
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin L...
ESOP
2010
Springer
15 years 12 months ago
Parameterized Memory Models and Concurrent Separation Logic
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
Rodrigo Ferreira, Xinyu Feng and Zhong Shao