4359 search results - page 193 / 872 » Automated Pipeline Design |
178
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
When searching for functional bugs in silicon, debug data is acquired after a trigger event occurs. A trigger event can be configured at run-time using a set of control registers...
174
click to vote
WCRE
2008
IEEE
16 years 28 days ago
2008
IEEE
Concept location techniques are designed to help isolate sections of source code that relate to specific concepts. Blind Signal Separation techniques like Singular Value Decompos...
160
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
— We describe the design, fabrication, and testing of an ultra-low cost Orthotweezers system for microassembly. By utilizing rapid prototyping technology, compliant mechanisms, a...
147
click to vote
FMCAD
2007
Springer
16 years 22 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
144
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...