Sciweavers

4123 search results - page 235 / 825
» Multiple Relational Embedding
Sort
View
ECRTS
2008
IEEE
16 years 29 days ago
Work-Conserving Optimal Real-Time Scheduling on Multiprocessors
T-N Plane Abstraction (E-TNPA) proposed in this paper realizes work-conserving and efficient optimal real-time scheduling on multiprocessors relative to the original T-N Plane Ab...
Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki
IROS
2006
IEEE
114views Robotics» more  IROS 2006»
16 years 16 days ago
Orthogonal SLAM: a Step toward Lightweight Indoor Autonomous Navigation
— Today, lightweight SLAM algorithms are needed in many embedded robotic systems. In this paper the Orthogonal SLAM (OrthoSLAM ) algorithm is presented and empirically validated....
Viet Nguyen, Ahad Harati, Agostino Martinelli, Rol...
APSEC
2005
IEEE
16 years 4 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
IWDW
2004
Springer
15 years 12 months ago
A Multi-feature Based Invertible Authentication Watermarking for JPEG Images
: Invertible authentication techniques have been used in some special applications (such as medical or military) where original data can be recovered after authenticated. In this p...
Deng-Pan Ye, Yaobin Mao, Yuewei Dai, Zhiquan Wang
RTAS
1996
IEEE
15 years 10 months ago
Supporting the specification and analysis of timing constraints
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
Lo Ko, Christopher A. Healy, Emily Ratliff, Robert...