DS-RT 2008 Technical Program


Monday, October 27, 2008

2:30 pm - 3:50 pm

Session 4: Poster and Demo Session

RTPROC: A System for Rapid Real-Time Prototyping in Audio Signal Processing

Hauke Kruger and Peter Vary


Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

Ana Rosa Cavalli, Edgardo Montes De Oca, Wissam Mallouli, and Mounir Lallali


HLA-OMNET++: An HLA Compliant Network Simulator

Emanuele Galli, Gaetano Cavarretta, and Salvatore Tucci


An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture

Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, and Hugo A. Andrade


Agent-Based Mobile Middleware Architecture (AMMA) for Patient-Care Clinical Data Messaging Using Wireless Networks

Bhuvaneswari Arunachalan and Janet Light


Simulation and Implementation of the PTIDES Programming Model

Patricia Derler, Edward A. Lee, and Slobodan Matic