Sciweavers

544 search results - page 30 / 109
» Overlap in consistent cycles
Sort
View
DM
2010
99views more  DM 2010»
13 years 3 months ago
Perfect octagon quadrangle systems
An octagon quadrangle is the graph consisting of an 8-cycle (x1, x2, ..., x8) with two additional chords: the edges {x1, x4} and {x5, x8}. An octagon quadrangle system of order v ...
Luigia Berardi, Mario Gionfriddo, Rosaria Rota
ARCS
2010
Springer
14 years 3 months ago
Exploiting Inactive Rename Slots for Detecting Soft Errors
Register renaming is a widely used technique to remove false data dependencies in superscalar datapaths. Rename logic consists of a table that holds a physical register mapping for...
Mehmet Kayaalp, Oguz Ergin, Osman S. Ünsal, M...
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
14 years 3 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
IROS
2006
IEEE
172views Robotics» more  IROS 2006»
14 years 2 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
DSVIS
2005
Springer
14 years 2 months ago
Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
Francisco Montero, Víctor López-Jaqu...