Sciweavers

1521 search results - page 50 / 305
» On Sampled Semantics of Timed Systems
Sort
View
ICCS
2004
Springer
15 years 10 months ago
Dynamic-Data-Driven Real-Time Computational Mechanics Environment
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
John Michopoulos, Charbel Farhat, Elias N. Houstis
SPAA
2005
ACM
15 years 10 months ago
The expansion and mixing time of skip graphs with applications
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
James Aspnes, Udi Wieder
RT
2001
Springer
15 years 9 months ago
Polyhedral Visual Hulls for Real-Time Rendering
We present new algorithms for creating and rendering visual hulls in real-time. Unlike voxel or sampled approaches, we compute an exact polyhedral representation for the visual hul...
Wojciech Matusik, Chris Buehler, Leonard McMillan
SIMUTOOLS
2008
15 years 6 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone
AP2PC
2004
Springer
15 years 10 months ago
Semantic Overlay Networks for P2P Systems
In a peer-to-peer (P2P) system, nodes typically connect to a small set of random nodes (their neighbors), and queries are propagated along these connections. Such query flooding t...
Arturo Crespo, Hector Garcia-Molina