Sciweavers

5577 search results - page 718 / 1116
» E2K Technology and Implementation
Sort
View
RTAS
2006
IEEE
16 years 26 days ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
CASES
2006
ACM
16 years 25 days ago
A case study of multi-threading in the embedded space
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
Greg Hoover, Forrest Brewer, Timothy Sherwood
PADS
2006
ACM
16 years 24 days ago
SOAr-DSGrid: Service-Oriented Architecture for Distributed Simulation on the Grid
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
Xinjun Chen, Wentong Cai, Stephen John Turner, Yon...
VRCAI
2006
ACM
16 years 24 days ago
ICWall: a calibrated stereo tiled display from commodity components
Recent developments in the fields of parallel rendering and high resolution tiled displays have made it possible to apply these technologies to build large and scalable stereo di...
Tom van der Schaaf, Desmond Germans, Michal Koutek...
VRML
2006
ACM
16 years 24 days ago
Function-based shape modeling and visualization in X3D
In this paper, a function-based extension of Extensible 3D (X3D) is proposed. The extension allows authors to use analytical functions to define geometry, color, 3D texture as wel...
Qi Liu, Alexei Sourin