Sciweavers

6308 search results - page 335 / 1262
» Modeling Urgency in Timed Systems
Sort
View
TSP
2010
15 years 1 months ago
Mitigating channel estimation error with timing synchronization tradeoff in cooperative communications
Channel estimation error and co-channel interference (CCI) problems are among the main causes of performance degradation in wireless networks. In this paper, we investigate the im...
Ahmed S. Ibrahim, K. J. Ray Liu
153
Voted
SPIN
2000
Springer
15 years 10 months ago
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
Nicholas Weininger, Darren D. Cofer
RTCSA
2007
IEEE
16 years 29 days ago
A Real-Time Database Testbed and Performance Evaluation
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
Kyoung-Don Kang, Phillip H. Sin, Jisu Oh
ICCS
2003
Springer
15 years 12 months ago
CORBA Based Real-Time Object-Group Platform in Distributed Computing Environments
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
Su-Chong Joo, Sung-Kwun Oh, Chang-Sun Shin, Jun Hw...
JMLR
2011
187views more  JMLR 2011»
15 years 1 months ago
Robust Statistics for Describing Causality in Multivariate Time Series
A widely agreed upon definition of time series causality inference, established in the seminal 1969 article of Clive Granger (1969), is based on the relative ability of the histor...
Florin Popescu