684 search results - page 52 / 137 » Techniques for Accelerating a Grammar-Checker |
SIGCSE
2003
ACM
14 years 3 months ago
2003
ACM
Computer science has a reputation of being a discipline in a perpetual state of accelerated progress—a discipline in which our techniques, our hardware, our software systems, an...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
A new method of handling the kinematic singularities of serial robotic manipulators is proposed. The idea is to transform the manipulator's workspace W into a desingularized ...
ASPLOS
1998
ACM
14 years 2 months ago
1998
ACM
Our new out-of-order processor simulator, FastSim, uses two innovations to speed up simulation 8–15 times (vs. Wisconsin SimpleScalar) with no loss in simulation accuracy. First...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...