Sciweavers

6960 search results - page 1250 / 1392
» Continuity Analysis of Programs
Sort
View
CP
2007
Springer
15 years 9 months ago
Scheduling Conditional Task Graphs
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...
Michele Lombardi, Michela Milano
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
15 years 9 months ago
Safety Guarantees from Explicit Resource Management
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...
David Aspinall, Patrick Maier, Ian Stark
100
Voted
GECCO
2007
Springer
175views Optimization» more  GECCO 2007»
15 years 9 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
MODELS
2007
Springer
15 years 9 months ago
11th International Workshop on Aspect-Oriented Modeling
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 ...
Jörg Kienzle, Jeff Gray, Dominik Stein, Walte...
SCIA
2007
Springer
124views Image Analysis» more  SCIA 2007»
15 years 9 months ago
Novel Stereoscopic View Generation by Image-Based Rendering Coordinated with Depth Information
Abstract. This paper describes a method of stereoscopic view generation by image-based rendering in wide outdoor environments. The stereoscopic view can be generated from an omnidi...
Maiya Hori, Masayuki Kanbara, Naokazu Yokoya
« Prev « First page 1250 / 1392 Last » Next »