Sciweavers

13489 search results - page 643 / 2698
» Operating System
Sort
View
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
16 years 3 days ago
A Real-Time Visual Processing System using a General-Purpose Vision Chip
A real-time visual processing system using a generalpurpose vision chip, an image sensor in which photo detectors and processing elements are integrated, is described. In order to...
Shingo Kagami, Takashi Komuro, Idaku Ishii, Masato...
HYBRID
2001
Springer
15 years 11 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
HICSS
1999
IEEE
87views Biometrics» more  HICSS 1999»
15 years 11 months ago
Interfacing the MoM-PDA to an Internet-based Development System
The paper introduces an internet-based remote prototyping platform for accelerator applications. It gives an overview on the Xputer prototype Map-oriented Machine with Parallel Da...
Michael Herz, Thomas Hoffmann, Ulrich Nageldinger,...
IPPS
1998
IEEE
15 years 11 months ago
Self-Testing Fault-Tolerant Real-Time Systems
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
M. Rooholamini, Seyed H. Hosseini
WCRE
1998
IEEE
15 years 11 months ago
Type Inference for COBOL Systems
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
Arie van Deursen, Leon Moonen