Sciweavers

2272 search results - page 297 / 455
» Validity Invariants and Effects
Sort
View
135
Voted
IOLTS
2009
IEEE
174views Hardware» more  IOLTS 2009»
15 years 10 months ago
ATPG-based grading of strong fault-secureness
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
Marc Hunger, Sybille Hellebrand, Alejandro Czutro,...
IROS
2009
IEEE
143views Robotics» more  IROS 2009»
15 years 10 months ago
Systems and algorithms for autonomously simultaneous observation of multiple objects using robotic PTZ cameras assisted by a wid
— We report an autonomous observation system with multiple pan-tilt-zoom (PTZ) cameras assisted by a fixed wideangle camera. The wide-angle camera provides large but low resolut...
Yiliang Xu, Dezhen Song
IROS
2009
IEEE
205views Robotics» more  IROS 2009»
15 years 10 months ago
Probabilistic categorization of kitchen objects in table settings with a composite sensor
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
Zoltan Csaba Marton, Radu Bogdan Rusu, Dominik Jai...
IROS
2009
IEEE
125views Robotics» more  IROS 2009»
15 years 10 months ago
Microbubble generation using a syringe pump
The context of this paper is to study the use of capillary microgripper in submerged mediums which requires the use of microbubbles. This paper presents a model and experimentatio...
Cyrille Lenders, Michaël Gauthier, Pierre Lam...
ADAEUROPE
2009
Springer
15 years 10 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre