28 search results - page 2 / 6 » 06161 Abstracts Collection -- Simulation and Verification of... |
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
ICCS
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— This paper presents a study which extends previous work on collective motion control of a group of vehicles for target tracking. The approach is to drive the group cent...
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...