Sciweavers

1665 search results - page 171 / 333
» Monitoring Timing Constraints in Distributed Real-Time Syste...
Sort
View
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
15 years 10 months ago
On the convergence time of distributed quantized averaging algorithms
— We come up with novel quantized averaging algorithms on synchronous and asynchronous communication networks with fixed, switching and random topologies. The implementation of ...
Minghui Zhu, Sonia Martínez
RTCSA
2005
IEEE
15 years 9 months ago
Embedded Sensing of Structures: A Reality Check
With the advent of miniaturized sensing technology, it has become possible to envision smart structures containing millions of sensors embedded in concrete for autonomously detect...
Krishna Chintalapudi, Jeongyeup Paek, Nupur Kothar...
150
Voted
ISSTA
2009
ACM
15 years 8 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
126
Voted
TVCG
2008
145views more  TVCG 2008»
15 years 3 months ago
Advances in the Dynallax Solid-State Dynamic Parallax Barrier Autostereoscopic Visualization Display System
A solid-state dynamic parallax barrier autostereoscopic display mitigates some of the restrictions present in static barrier systems such as fixed view-distance range, slow respons...
Tom Peterka, Robert Kooima, Daniel J. Sandin, Andr...
JDCTA
2010
148views more  JDCTA 2010»
14 years 10 months ago
Web Services Supervision System Based on Jade
Web service technology is one of the trend technologies in computer science now, and recently with the rapid growth of web services deployed with the same functionality, many rese...
Ahmed Sallam, Zhiyong Li, Shaimaa Hassan