Sciweavers

2483 search results - page 188 / 497
» A design framework to model retinas
Sort
View
DATE
2006
IEEE
75views Hardware» more  DATE 2006»
16 years 17 days ago
Space of DRAM fault models and corresponding testing
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
Zaid Al-Ars, Said Hamdioui, A. J. van de Goor
KDD
2008
ACM
183views Data Mining» more  KDD 2008»
16 years 7 months ago
Knowledge transfer via multiple model local structure mapping
The effectiveness of knowledge transfer using classification algorithms depends on the difference between the distribution that generates the training examples and the one from wh...
Jing Gao, Wei Fan, Jing Jiang, Jiawei Han
COMPSAC
2008
IEEE
16 years 1 months ago
Embedded Systems Resources: Views on Modeling and Analysis
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
Aneta Vulgarakis, Cristina Cerschi Seceleanu
ICONS
2008
IEEE
16 years 29 days ago
Dynamic Modeling and Control of Nonholonomic Mobile Robot with Lateral Slip
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
Naim Sidek, Nilanjan Sarkar
ISORC
1999
IEEE
15 years 10 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann