11172 search results - page 110 / 2235 » Testing Physical Systems |
173
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
161
click to vote
IROS
2009
IEEE
16 years 29 days ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
148
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
166
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
—In this paper we consider the problem of routing the lightpaths of a logical topology of a WDM network on an arbitrary physical topology, such that the logical topology remains ...
177
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...