Sciweavers

1304 search results - page 104 / 261
» RTOS Modeling for System Level Design
Sort
View
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
15 years 10 months ago
Energy Bounds for Fault-Tolerant Nanoscale Designs
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
Diana Marculescu
CORR
2007
Springer
133views Education» more  CORR 2007»
15 years 4 months ago
Virtual Manufacturing : Tools for improving Design and Production
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
Philippe Dépincé, Damien Chablat, Pe...
CAISE
2009
Springer
15 years 11 months ago
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services
Abstract. With the advent of Service Oriented Architecture organizations have experienced services as a platform-independent technology to develop and use simple internal applicati...
Devis Bianchini, Cinzia Cappiello, Valeria De Anto...
IROS
2008
IEEE
104views Robotics» more  IROS 2008»
15 years 10 months ago
Optimal design of a 6-dof parallel measurement mechanism integrated in a 3-dof parallel machine-tool
Abstract— This paper presents the design and the optimization of a parallel machine-tool composed of (i) an 3-dof actuated parallel mechanism (a linear Delta) and (ii) a 6-dof me...
David Corbel, Olivier Company, François Pie...
ISOLA
2010
Springer
15 years 2 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle