Sciweavers

292 search results - page 26 / 59
» Reactive Context-Aware Programming
Sort
View
GECCO
2007
Springer
175views Optimization» more  GECCO 2007»
14 years 1 months ago
On the constructiveness of context-aware crossover
Crossover in Genetic Programming is mostly a destructive operator, generally producing children worse than the parents and occasionally producing those who are better. A recently ...
Hammad Majeed, Conor Ryan
EPIA
2003
Springer
14 years 23 days ago
jcc: Integrating Timed Default Concurrent Constraint Programming into Java
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
ATVA
2005
Springer
130views Hardware» more  ATVA 2005»
14 years 1 months ago
Approximate Reachability for Dead Code Elimination in Esterel
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
Olivier Tardieu, Stephen A. Edwards
JLP
2007
81views more  JLP 2007»
13 years 7 months ago
The SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
Roberto M. Amadio
ENTCS
2008
90views more  ENTCS 2008»
13 years 7 months ago
Instantaneous Transitions in Esterel
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
Olivier Tardieu, Stephen A. Edwards