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
|