Sciweavers

570 search results - page 50 / 114
» Robustness and Implementability of Timed Automata
Sort
View
132
Voted
SENSYS
2004
ACM
15 years 9 months ago
The flooding time synchronization protocol
Wireless sensor network applications, similarly to other distributed systems, often require a scalable time synchronization service enabling data consistency and coordination. Thi...
Miklós Maróti, Branislav Kusy, Gyula...
138
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
Dynamic Bandwidth Request-Allocation Algorithm for Real-Time Services in IEEE 802.16 Broadband Wireless Access Networks
—The emerging broadband wireless access (BWA) technology based on IEEE 802.16 is one of the most promising solutions to provide ubiquitous wireless access to the broadband servic...
Eun-Chan Park, Hwangnam Kim, Jae-Young Kim, Han Se...
137
Voted
IROS
2006
IEEE
180views Robotics» more  IROS 2006»
15 years 9 months ago
Real-Time Robot Audition System That Recognizes Simultaneous Speech in The Real World
— This paper presents a robot audition system that recognizes simultaneous speech in the real world by using robotembedded microphones. We have previously reported Missing Featur...
Shun'ichi Yamamoto, Kazuhiro Nakadai, Mikio Nakano...
157
Voted
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 9 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
134
Voted
VTC
2010
IEEE
269views Communications» more  VTC 2010»
15 years 2 months ago
Performance Evaluation of DVB-T2 Time Interleaving in Mobile Environments
—This paper investigates the performance of time interleaving in DVB-T2 in the context of mobile reception. By means of time interleaving it is possible to provide time diversity...
David Gozalvez, David Vargas, David Gomez-Barquero...