Sciweavers

783 search results - page 12 / 157
» A Framework for Exploring Optimization Properties
Sort
View
IWFM
1998
134views Formal Methods» more  IWFM 1998»
13 years 10 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
ACSD
2006
IEEE
148views Hardware» more  ACSD 2006»
14 years 3 months ago
Functional Model Exploration for Multimedia Applications via Algebraic Operators
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
Shinjiro Kakita, Yosinori Watanabe, Douglas Densmo...
TMI
2010
158views more  TMI 2010»
13 years 3 months ago
Estimation of Diffusion Properties in Crossing Fiber Bundles
Abstract--There is an ongoing debate on how to model diffusivity in fiber crossings. We propose an optimization framework for the selection of a dual tensor model and the set of di...
Matthan W. A. Caan, Ganesh Khedoe, Dirk H. J. Poot...
SIMPAR
2010
147views Robotics» more  SIMPAR 2010»
13 years 7 months ago
Exploration Strategies for a Robot with a Continously Rotating 3D Scanner
To benchmark the efficiency of exploration strategies one has to use robot simulators. In an exploration task, the robot faces an unknown environment. Of course one could test the ...
Elena Digor, Andreas Birk, Andreas Nüchter
MIDDLEWARE
2004
Springer
14 years 2 months ago
Exploring adaptability of secure group communication using formal prototyping techniques
Traditionally, adaptability in communication frameworks has been restricted to predefined choices without taking into consideration tradeoffs between them and the application req...
Sebastian Gutierrez-Nolasco, Nalini Venkatasubrama...