5235 search results - page 901 / 1047 » Analysis of Multithreaded Programs |
142
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
109
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
113
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
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 ...
141
Voted
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
147
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...