280 search results - page 35 / 56 » Abstract Threads |
ICCD
2008
IEEE
14 years 6 months ago
2008
IEEE
Abstract—Multiprocessor architectures are becoming popular in both desktop and mobile processors. Among multiprocessor architectures, asymmetric architectures show promise in sav...
ICCD
2006
IEEE
14 years 6 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
PVM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The MPI-2 standard added a new feature to MPI called generalized requests. Generalized requests allow users to add new nonblocking operations to MPI while still using man...
CAIP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we present an experimental work using a MOCAP system and an iterative minimization technique to compute damping parameters and to measure their contributio...