Sciweavers

697 search results - page 90 / 140
» An Efficient Hardware Support for Control Data Validation
Sort
View
ICCAD
1994
IEEE
122views Hardware» more  ICCAD 1994»
14 years 1 months ago
An enhanced flow model for constraint handling in hierarchical multi-view design environments
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
Pieter van der Wolf, K. Olav ten Bosch, Alfred van...
IROS
2006
IEEE
172views Robotics» more  IROS 2006»
14 years 3 months ago
An autonomous, underactuated exoskeleton for load-carrying augmentation
- Metabolic studies have shown that there is a metabolic cost associated with carrying load [1]. In previous work, a lightweight, underactuated exoskeleton has been described that ...
Conor James Walsh, Kenneth Pasch, Hugh M. Herr
PE
2007
Springer
154views Optimization» more  PE 2007»
13 years 8 months ago
QoS management in service-oriented architectures
The next generation of software systems will be highly distributed, component-based and service-oriented. They will need to operate in unattended mode and possibly in hostile envi...
Daniel A. Menascé, Honglei Ruan, Hassan Gom...
EUROMICRO
1999
IEEE
14 years 1 months ago
An Improved Scheduling Technique for Time-Triggered Embedded Systems
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
Paul Pop, Petru Eles, Zebo Peng
ICDE
2006
IEEE
196views Database» more  ICDE 2006»
14 years 10 months ago
Closure-Tree: An Index Structure for Graph Queries
Graphs have become popular for modeling structured data. As a result, graph queries are becoming common and graph indexing has come to play an essential role in query processing. ...
Huahai He, Ambuj K. Singh