226 search results - page 5 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
ICCD
1997
IEEE
14 years 3 days ago
1997
IEEE
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
DELTA
2008
IEEE
14 years 3 months ago
2008
IEEE
Integrated systems represent the most common solution for storage and transmission of confidential data. However, cryptographic devices can be subject to passive attacks that cons...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—This paper proposes a cooperative space-time coding (STC) protocol, amalgamating the concepts of asynchronous cooperation, non-coherent detection as well as Distributed Turbo Co...
RTSS
1998
IEEE
14 years 24 days ago
1998
IEEE
This paper describes design and implementation of L ATM, an ATM (Asynchronous Transfer Mode) based networking server. While ATM emphasizes deterministic highspeed communication, a...
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...