2302 search results - page 72 / 461 » The Evolution of Concurrent Programs |
176
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
166
click to vote
EUROGP
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Population size is a critical parameter that affects the performance of an Evolutionary Computation model. A variable population size scheme is considered potentially be...
160
click to vote
WSE
2006
IEEE
15 years 12 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
155
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
177
click to vote
CIE
2009
Springer
16 years 17 days ago
2009
Springer
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...