Sciweavers

2076 search results - page 288 / 416
» Functional logic overloading
Sort
View
AHS
2006
IEEE
119views Hardware» more  AHS 2006»
15 years 7 months ago
Particle Swarm Optimization with Discrete Recombination: An Online Optimizer for Evolvable Hardware
Self-reconfigurable adaptive systems have the possibility of adapting their own hardware configuration. This feature provides enhanced performance and flexibility, reflected i...
Jorge Peña, Andres Upegui, Eduardo Sanchez
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 7 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ICAS
2006
IEEE
136views Robotics» more  ICAS 2006»
15 years 7 months ago
Addressing the Signal Grounding Problem for Autonomic Systems
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
Martin Randles, A. Taleb-Bendiab, Philip Miseldine
ICRA
2006
IEEE
136views Robotics» more  ICRA 2006»
15 years 7 months ago
Adaptive Torque Control of Electro-rheological Fluid Brakes used in Active Knee Rehabilitation Devices
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
Jason Nikitczuk, Abhimanyu Das, Harsh Vyas, Brian ...
IPPS
2006
IEEE
15 years 7 months ago
An overview of the Jahob analysis system: project goals and current status
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
Viktor Kuncak, Martin C. Rinard