Sciweavers

7557 search results - page 220 / 1512
» Modeling Timed Concurrent Systems
Sort
View
DASFAA
2011
IEEE
525views Database» more  DASFAA 2011»
14 years 10 months ago
StreamFitter: A Real Time Linear Regression Analysis System for Continuous Data Streams
In this demo, we present the StreamFitter system for real-time regression analysis on continuous data streams. In order to perform regression on data streams, it is necessary to co...
Chandima H. Nadungodage, Yuni Xia, Fang Li, Jaehwa...
DATESO
2010
150views Database» more  DATESO 2010»
15 years 4 months ago
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
Martin Kot
ICMCS
2005
IEEE
120views Multimedia» more  ICMCS 2005»
16 years 3 days ago
An Adaptive UEP_BTC_STBC System for Robust H.264 Video Transmission
A new adaptive UEP_BTC_STBC scheme is proposed to guarantee the robust video transmission according to the channel conditions. This scheme enhanced STBC (space- time block coding)...
Yue Wang, Yinggang Du, Songyu Yu, Kam Tai Chan, Ya...
IJCNN
2008
IEEE
16 years 28 days ago
Adaptation of barn owl localization system with spike timing dependent plasticity
— To localize a seen object, the superior colliculus of the barn owl integrates the visual and auditory localization cues which are accessed from the sensory system of the brain....
Juan Huo, Alan F. Murray, Leslie Smith, Zhijun Yan...
TC
2002
15 years 6 months ago
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
Jean-François Hermant, Gérard Le Lan...