4359 search results - page 193 / 872 » Automated Pipeline Design |
142
Voted
DATE
2008
IEEE
15 years 10 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...
129
Voted
WCRE
2008
IEEE
15 years 10 months 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...
118
Voted
ICRA
2007
IEEE
15 years 10 months 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...
114
Voted
FMCAD
2007
Springer
15 years 9 months 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 ...
107
click to vote
ICRA
2006
IEEE
15 years 9 months 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...