615 search results - page 53 / 123 » Relatively inertial delays |
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
We provide a general formulation for the code-based test compression problem with fixed-length input blocks and propose a solution approach based on Evolutionary Algorithms. In c...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— Rendering a stiff virtual wall remains a core challenge in the field of haptics. A passivity study of this problem is presented, which relates the maximum achievable wall stif...
MICAI
2004
Springer
15 years 5 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
ASPDAC
1999
ACM
15 years 4 months ago
1999
ACM
We describe a high performance clocking methodology for domino pipelines. Our technique maximizes the clock rate of the circular pipeline (“ring”) while maintaining the ring c...
101
click to vote
PEPM
1993
ACM
15 years 4 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...