Sciweavers

653 search results - page 60 / 131
» Physical Architectures of Automotive Systems
Sort
View
DAC
2009
ACM
14 years 9 months ago
Context-sensitive timing analysis of Esterel programs
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...
GRID
2007
Springer
13 years 8 months ago
The Requirements of Using Provenance in e-Science Experiments
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
Simon Miles, Paul T. Groth, Miguel Branco, Luc Mor...
ASPLOS
2012
ACM
12 years 4 months ago
Architectural support for hypervisor-secure virtualization
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
Jakub Szefer, Ruby B. Lee
GI
2003
Springer
14 years 2 months ago
Policy Based Management for Critical Infrastructure Protection
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
Gwendal Le Grand, Franck Springinsfeld, Michel Rig...
ISMAR
2003
IEEE
14 years 2 months ago
ARWin-A Desktop Augmented Reality Window Manager
We present ARWin, a single user 3D augmented reality desktop window manager, placing 3D user interfaces into a physical desktop workspace. We explain our design considerations and...
Stephen DiVerdi, Daniel Nurmi, Tobias Höllere...