1087 search results - page 149 / 218 » Achieving Distributed Control through Model Checking |
ICCD
2001
IEEE
14 years 6 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
HPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
Scheduling strategies for parallel and distributed computing have mostly been oriented toward performance, while striving to achieve some notion of fairness. With the increase in ...
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
ROBOCUP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. To achieve robust color perception under varying light conditions in indoor and outdoor environments, we propose a three-step method consisting of adaptive camera paramet...
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
—Joint routing-and-scheduling has been considered in wireless mesh networks for its significant performance improvement. While existing work assumes it, accurate traffic inform...