Sciweavers

3056 search results - page 176 / 612
» Open Implementation Analysis and Design
Sort
View
VR
2009
IEEE
136views Virtual Reality» more  VR 2009»
15 years 11 months ago
An Image-Warping Architecture for VR: Low Latency versus Image Quality
Designing low end-to-end latency system architectures for virtual reality is still an open and challenging problem. We describe the design, implementation and evaluation of a clie...
Ferdi A. Smit, Robert van Liere, Stephan Beck, Ber...
CERA
2004
73views more  CERA 2004»
15 years 4 months ago
Manipulating Geometry in a STEP DB from Commercial CAD Systems
: It is difficult to access and share design data among heterogeneous CAD systems. Usually different CAD systems exchange design data using a neutral format such as IGES or STEP. A...
Junhwan Kim, Soonhung Han
HYBRID
2009
Springer
15 years 8 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
FOSSACS
2008
Springer
15 years 5 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
TCAD
2008
75views more  TCAD 2008»
15 years 4 months ago
Static Analysis of Transaction-Level Communication Models
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
Giovanni Agosta, Francesco Bruschi, Donatella Sciu...