Sciweavers

6312 search results - page 148 / 1263
» A design framework for metaheuristics
Sort
View
64
Voted
CEC
2007
IEEE
15 years 4 months ago
Design and construction of organic computing systems
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
Hella Seebach, Frank Ortmeier, Wolfgang Reif
NIPS
2008
14 years 11 months ago
Bayesian Experimental Design of Magnetic Resonance Imaging Sequences
We show how improved sequences for magnetic resonance imaging can be found through optimization of Bayesian design scores. Combining approximate Bayesian inference and natural ima...
Matthias W. Seeger, Hannes Nickisch, Rolf Pohmann,...
104
Voted
TASE
2007
IEEE
15 years 4 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
78
Voted
ICCS
2004
Springer
15 years 3 months ago
Improvements to Response-Surface Based Vehicle Design Using a Feature-Centric Approach
In this paper, we present our vision for a framework to facilitate computationally-based aerospace vehicle design by improving the quality of the response surfaces that can be deve...
David Thompson, Srinivasan Parthasarathy, Raghu Ma...
84
Voted
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
14 years 11 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...