Sciweavers

6960 search results - page 105 / 1392
» Continuity Analysis of Programs
Sort
View
SIGADA
2005
Springer
15 years 8 months ago
Scheduling and memory requirements analysis with AADL
Frank Singhoff, Jérôme Legrand, Laure...
IFIP
2004
Springer
15 years 8 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
CEC
2008
IEEE
15 years 9 months ago
Geometric PSO + GP = Particle Swarm Programming
—Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both conti...
Julian Togelius, Renzo De Nardi, Alberto Moraglio
CPAIOR
2006
Springer
15 years 6 months ago
A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...
Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellma...