Sciweavers

2062 search results - page 156 / 413
» Hardware Objects for Java
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 8 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
100
Voted
WDAG
1995
Springer
103views Algorithms» more  WDAG 1995»
15 years 5 months ago
Self-Stabilization of Wait-Free Shared Memory Objects
This paper proposes a general definition of self-stabilizing wait-free shared memory objects. The definition ensures that, even in the face of processor failures, every executio...
Jaap-Henk Hoepman, Marina Papatriantafilou, Philip...
OSDI
1994
ACM
15 years 3 months ago
The Design and Evaluation of a Shared Object System for Distributed Memory Machines
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
Daniel J. Scales, Monica S. Lam
PADS
2003
ACM
15 years 7 months ago
DVS: An Object-Oriented Framework for Distributed Verilog Simulation
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
Lijun Li, Hai Huang, Carl Tropper
100
Voted
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
15 years 8 months ago
Automated manipulation of spherical objects in three dimensions using a gimbaled air jet
— This paper presents a mechanism and a control strategy that enables automated non-contact manipulation of spherical objects in three dimensions using air flow, and demonstrate...
Aaron Becker, Robert Sandheinrich, Timothy Bretl