7778 search results - page 76 / 1556 » Designing Controllers for Reachability |
136
Voted
JSS
2007
15 years 2 months ago
2007
A control flow trace captures the complete sequence of dynamically executed basic blocks and function calls. It is usually of very large size and therefore commonly stored in com...
110
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper the compliant low level control of a biologically inspired control architecture suited for bipedal dynamic walking robots is presented. It consists of elastic mec...
102
Voted
CN
2007
15 years 2 months ago
2007
Uncontrolled overload can lead e-commerce applications to considerable revenue losses. For this reason, overload prevention in these applications is a critical issue. In this pape...
118
click to vote
HIS
2009
15 years 12 days ago
2009
The problem of failure diagnosis has received a considerable attention in the domain of reliability engineering, process control and computer science. The increasing stringent req...
146
Voted
VLSID
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...