5623 search results - page 88 / 1125 » Incremental Mechanism Design |
80
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
106
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
108
Voted
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
101
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
101
Voted
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Traditional performance analysis of approximation algorithms considers overall performance, while economic fairness analysis focuses on the individual performance each user receiv...