Sciweavers

164 search results - page 3 / 33
» An Implementation of ARM
Sort
View
PPAM
2001
Springer
14 years 2 months ago
pARMS: A Package for Solving General Sparse Linear Systems on Parallel Computers
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...
Yousef Saad, Masha Sosonkina
CASES
2007
ACM
14 years 1 months ago
An integrated ARM and multi-core DSP simulator
In this paper we describe the design and implementation of a flexible, and extensible, just-in-time ARM simulator designed to run co-operatively with a multi-core DSP simulator on...
Sharad Singhai, MingYung Ko, Sanjay Jinturkar, May...
FSEN
2007
Springer
14 years 4 months ago
Hoare Logic for ARM Machine Code
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C....
SIMPAR
2010
150views Robotics» more  SIMPAR 2010»
13 years 8 months ago
Dynamic Modeling of the 4 DoF BioRob Series Elastic Robot Arm for Simulation and Control
This paper presents the modeling of the light-weight BioRob robot arm with series elastic actuation for simulation and controller design. We describe the kinematic coupling introdu...
Thomas Lens, Jürgen Kunz, Oskar von Stryk
ICRA
2007
IEEE
111views Robotics» more  ICRA 2007»
14 years 4 months ago
Using COTS to Construct a High Performance Robot Arm
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...
Christian Smith, Henrik I. Christensen