Sciweavers

1491 search results - page 26 / 299
» Resource-Passing Concurrent Programming
Sort
View
GECCO
2008
Springer
116views Optimization» more  GECCO 2008»
14 years 10 months ago
Finding deadlocks in large concurrent Java programs using genetic algorithms
Enrique Alba, J. Francisco Chicano, Marco Ferreira...
CONSTRAINTS
2008
114views more  CONSTRAINTS 2008»
14 years 9 months ago
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
Luca Bortolussi, Alberto Policriti
CORR
2008
Springer
99views Education» more  CORR 2008»
14 years 9 months ago
The meaning of concurrent programs
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
Victor Yodaiken
59
Voted
FAC
2008
54views more  FAC 2008»
14 years 9 months ago
Streamlining progress-based derivations of concurrent programs
Brijesh Dongol, Arjan J. Mooij
CAL
2006
14 years 9 months ago
From sequential programs to concurrent threads
Chip multiprocessors are of increasing importance due to recent difficulties in achieving higher clock frequencies in uniprocessors, but their success depends on finding useful wor...
Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew...