Sciweavers

17409 search results - page 246 / 3482
» Oblio: Design and Performance
Sort
View
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 10 months ago
On the Design and Verification Methodology of the Look-Aside Interface
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Moha...
FPL
2000
Springer
103views Hardware» more  FPL 2000»
15 years 10 months ago
Evaluation of Accelerator Designs for Subgraph Isomorphism Problem
Many applications can be modeled as subgraph isomorphism problems. However, this problem is generally NP-complete and difficult to compute. A custom computing circuit is a prospect...
Shuichi Ichikawa, Hidemitsu Saito, Lerdtanaseangth...
AMI
2008
Springer
15 years 8 months ago
Creating Design Guidelines for a Navigational Aid for Mild Demented Pedestrians
In this paper we describe our project in which we study design options for a GPS-based navigation aid for elderly with beginning dementia. In a user centered approach we first stud...
F. N. Hagethorn, Ben J. A. Kröse, P. de Greef...
191
Voted
CAV
2008
Springer
99views Hardware» more  CAV 2008»
15 years 8 months ago
Functional Verification of Power Gated Designs by Compositional Reasoning
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
Cindy Eisner, Amir Nahir, Karen Yorav
163
Voted
CDC
2008
IEEE
163views Control Systems» more  CDC 2008»
15 years 8 months ago
Robust design of a spacecraft attitude tracking control system with actuator uncertainties
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
Aranya Chakrabortty, Murat Arcak, Panagiotis Tsiot...