3938 search results - page 19 / 788 » Interactive Protocols on the Reals |
RTAS
1996
IEEE
14 years 3 months ago
1996
IEEE
Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. Howe...
ITICSE
2006
ACM
14 years 4 months ago
2006
ACM
: This paper presents a novel elearning platform called IREEL. IREEL is a virtual laboratory allowing students to drive experiments with real...
ISCC
2005
IEEE
14 years 4 months ago
2005
IEEE
We evaluate the impact of network, and protocol heterogeneity on real-time application performance. We focus on TCP and UDP supportive role, also in the context of network stabili...
FORMATS
2004
Springer
14 years 2 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
—Many results have been published in the literature based on performance measurements obtained from simulations of Vehicular Networks (VANETs). These simulations use as input tra...