586 search results - page 117 / 118 » Network invariants for real-time systems |
ICDCS
2012
IEEE
11 years 9 months ago
2012
IEEE
—Virtual coordinate systems (VCS) provide accurate estimations of latency between arbitrary hosts on a network, while conducting a small amount of actual measurements and relying...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
Abstract—The paper studies the convergence properties of the estimation error processes in distributed Kalman filtering for potentially unstable linear dynamical systems. In par...
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
Emerging applications in sensor systems and network-wide IP traffic analysis present many technical challenges. They need distributed monitoring and continuous tracking of events....
IPPS
2005
IEEE
14 years 19 days ago
2005
IEEE
The InfiniBandTM Architecture (IBA) is a new promising I/O communication standard positioned for building clusters and System Area Networks (SANs). However, the IBA specification ...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...