8874 search results - page 301 / 1775 » A New Implementation of Automath |
170
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
177
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
A new design method for non-time based tracking controller of mobile robots is presented. The new design method converts a controller designed by traditional time-based approaches ...
183
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Multiple Row Displacement (MRD) is a new dispatch technique for multi-method languages. It is based on compressing an n-dimensional table using an extension of the single...
139
Voted
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Several new wait-free object-sharing schemes for realtime uniprocessors and multiprocessors are presented. These schemes have characteristics in common with the priority inheritan...
169
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...