24421 search results - page 387 / 4885 » Communicating Complex Systems |
117
click to vote
ETFA
2006
IEEE
15 years 10 months 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 ...
109
click to vote
APLAS
2008
ACM
15 years 6 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...
116
click to vote
VMCAI
2010
Springer
16 years 1 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...
132
Voted
ICCAD
2005
IEEE
16 years 28 days 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...
183
click to vote
IROS
2006
IEEE
15 years 10 months 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...