2917 search results - page 356 / 584 » Satisfying Interaction Constraints |
187
click to vote
RTAS
2006
IEEE
16 years 17 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
157
click to vote
ATS
2005
IEEE
16 years 6 days ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
159
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
Nested loops are the most critical sections in many scientific and Digital Signal Processing (DSP) applications. It is important to study effective and efficient transformation ...
176
click to vote
DFT
2005
IEEE
16 years 6 days ago
2005
IEEE
Data flow graph dominant designs, such as communication video and audio applications, are common in today’s IC industry. In these designs, the datapath resources (e.g., adders,...
167
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper describes a generation method for spatially natural biped walking. By limiting the COG (Center of Gravity) motion space to a sculptured surface, the degree of freedo...