Sciweavers

11455 search results - page 1928 / 2291
» The Rayset and Its Applications
Sort
View
EUROMICRO
2004
IEEE
15 years 10 months ago
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Hans Hansson, Mikael Åkerholm, Ivica Crnkovi...
CLOR
2006
15 years 10 months ago
What and Where: 3D Object Recognition with Accurate Pose
Abstract. Many applications of 3D object recognition, such as augmented reality or robotic manipulation, require an accurate solution for the 3D pose of the recognized objects. Thi...
Iryna Gordon, David G. Lowe
ESWS
2006
Springer
15 years 10 months ago
An Infrastructure for Acquiring High Quality Semantic Metadata
Because metadata that underlies semantic web applications is gathered from distributed and heterogeneous data sources, it is important to ensure its quality (i.e., reduce duplicate...
Yuangui Lei, Marta Sabou, Vanessa Lopez, Jianhan Z...
EUROPAR
2006
Springer
15 years 10 months ago
PAM-SoC: A Toolchain for Predicting MPSoC Performance
In the past, research on Multiprocessor Systems-on-Chip (MPSoC) has focused mainly on increasing the available processing power on a chip, while less effort was put into specific s...
Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. va...
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 10 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
« Prev « First page 1928 / 2291 Last » Next »