Sciweavers

1112 search results - page 108 / 223
» Executing Abstract Test Cases
Sort
View
QEST
2008
IEEE
15 years 9 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
APCSAC
2006
IEEE
15 years 9 months ago
A Context-Switch Reduction Heuristic for Power-Aware Off-Line Scheduling
Abstract. Scheduling algorithms significantly affect the performance of a realtime system. In systems with power constraints, context switches in a schedule result in wasted power ...
Biju K. Raveendran, Sundar Balasubramaniam, K. Dur...
ECCV
2008
Springer
16 years 5 months ago
Robust Optimal Pose Estimation
Abstract. We study the problem of estimating the position and orientation of a calibrated camera from an image of a known scene. A common problem in camera pose estimation is the e...
Olof Enqvist, Fredrik Kahl
ISW
2001
Springer
15 years 7 months ago
An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party
Abstract. In this paper we consider a new and efficient optimistic nonrepudiation protocol. In a non-repudiation protocol, during which Alice wants to transmit a message to Bob, Al...
Olivier Markowitch, Steve Kremer
DAC
2005
ACM
16 years 4 months ago
Physically-aware HW-SW partitioning for reconfigurable architectures with partial dynamic reconfiguration
Many reconfigurable architectures offer partial dynamic configurability, but current system-level tools cannot guarantee feasible implementations when exploiting this feature. We ...
Sudarshan Banerjee, Elaheh Bozorgzadeh, Nikil D. D...