Sciweavers

1636 search results - page 14 / 328
» InfoPad - An Experiment in System Level Design and Integrati...
Sort
View
ICRA
2006
IEEE
91views Robotics» more  ICRA 2006»
15 years 7 months ago
Design, Development and Experiments of a High Stroke-precision 2DoF (Linear-angular) Microsystem
— This paper presents the design, the development and the experiments on a two degrees of freedom (2DoF) microsystem. The originality of the microsystem is its ability to do angu...
Micky Rakotondrabe, Yassine Haddab, Philippe Lutz
WSC
1997
15 years 3 months ago
Design of Experiments for Fitting Subsystem Metamodels
For complex systems, traditional methods of experiencebased design are ineffective: the design task must be supported by simulations. Conceptual design and system-level detailed d...
Russell R. Barton
ICSE
2004
IEEE-ACM
16 years 1 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
15 years 7 months ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
127
Voted
GI
2004
Springer
15 years 7 months ago
Towards a Framework and a Design Methodology for Autonomic Integrated Systems
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
Andreas Herkersdorf, Wolfgang Rosenstiel