Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
— Simulation tools are popular in the design and study of communication systems and networks. The implementation of analytic distributed simulations commonly require a central en...
Novel cognitive radio platforms such as IMECs COgnitive Baseband RAdio (COBRA) should ensure the feasibility of multiple streams and their reconfigurability and scalability durin...
Martin Palkovic, Jeroen Declerck, Praveen Raghavan...
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeij...