Sciweavers

857 search results - page 43 / 172
» Interactive Consistency in Quasi-Asynchronous Systems
Sort
View
VR
2009
IEEE
136views Virtual Reality» more  VR 2009»
14 years 3 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...
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 3 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
JUCS
2000
102views more  JUCS 2000»
13 years 8 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
VEE
2005
ACM
119views Virtualization» more  VEE 2005»
14 years 2 months ago
A programmable microkernel for real-time systems
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A...
AAAI
1998
13 years 10 months ago
An Ontology for Transitions in Physical Dynamic Systems
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...
Pieter J. Mosterman, Feng Zhao, Gautam Biswas