24421 search results - page 387 / 4885 » Communicating Complex Systems |
147
click to vote
ETFA
2006
IEEE
16 years 22 days ago
2006
IEEE
Current wireless technologies offer a viable solution for implementing communication systems capable of satisfying the severe timing requirements often required for operations at ...
155
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
161
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
172
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Future inter- and intra-ULSI interconnect systems demand extremely high data rates as well as bi-directional multi-I/O concurrent service, re-configurable computing/processing arc...
247
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— This paper describes our efforts in building an experimental platform to conduct research on cooperative driving in Intelligent Transportation Systems (ITS). A miniature vehicl...