8582 search results - page 167 / 1717 » Here or There |
167
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes VHDL compilation techniques, embodied in the Auriga compiler [3,14], which facilitate parallel or distributed simulation by embedding evaluation scheduling in...
150
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
Programmable parts orienting is an important capability for exible automation systems. Here we study how a part grasped in an unknown orientation by a force-controlled robot can b...
130
click to vote
ZUM
1995
Springer
15 years 10 months ago
1995
Springer
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
179
click to vote
LCPC
1991
Springer
15 years 10 months ago
1991
Springer
This paper discusses the techniques used to hand-parallelize, for the Alliant FX/80, four Fortran programs from the Perfect-Benchmark suite. The paper also includes the execution ...
160
click to vote
POPL
1991
ACM
15 years 10 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...