713 search results - page 78 / 143 » Saving Space by Algebraization |
76
Voted
ICFP
2002
ACM
16 years 15 days ago
2002
ACM
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
—In this paper, we propose a new 3-DOF parallel mechanism for PDP TV mounting device with 2-rotation and 1-translation. The most important operational requirement of this device ...
108
Voted
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Sphere decoding enables maximum likelihood (ML) detection with fairly low complexity in the MIMO wireless systems, but it takes hundreds cycles at low SNR environment. This pap...
91
Voted
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
103
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...