3082 search results - page 466 / 617 » Deviation Analysis: A New Use of Model Checking |
196
click to vote
EMSOFT
2009
Springer
16 years 27 days ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
201
click to vote
JSAC
2008
15 years 6 months ago
2008
Reliable transmission is a challenging task over wireless LANs since wireless links are known to be susceptible to errors. Although the current IEEE802.11 standard ARQ error contro...
161
click to vote
DOCENG
2009
ACM
16 years 25 days ago
2009
ACM
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
149
click to vote
DSD
2005
IEEE
15 years 12 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
145
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...