3616 search results - page 401 / 724 » Conditional Memory Ordering |
116
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
Precise teleoperation of deztrous robotic hands by hand masters requires an accurate human hand model. A kinematic model of a human index finger is developed as an example for hum...
116
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
117
click to vote
FIWAC
1993
15 years 8 months ago
1993
Systems (Extended Abstract) Noga Alon ∗ Benny Sudakov Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel A dis...
142
click to vote
LOPSTR
1994
Springer
15 years 8 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
143
click to vote
PEPM
1994
ACM
15 years 8 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...