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 5 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
79
Voted
WSC
1997
15 years 1 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
121
Voted
ICSE
2004
IEEE-ACM
15 years 11 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...
100
Voted
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
15 years 5 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...
GI
2004
Springer
15 years 5 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