269 search results - page 42 / 54 » Applications of MetiTarski in the Verification of Control an... |
SBCCI
2006
ACM
14 years 20 days ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
ISER
2000
Springer
13 years 10 months ago
2000
Springer
: This paper describes a virtual collaborative world simulator, DVECS (Distributed Virtual Environment Collaborative Simulator), for underwater robots and its underwater vehicle, S...
PDCN
2004
13 years 8 months ago
2004
IEEE 802.11, the standard of wireless local area networks (WLANs), allows the coexistence of asynchronous and time-bounded traffic using the distributed coordination function (DCF)...
BIOADIT
2006
Springer
13 years 10 months ago
2006
Springer
Life-like adaptive behaviour is so far an illusive goal in robot control. A capability to act successfully in a complex, ambiguous, and harsh environment would vastly increase the ...