Sciweavers

3922 search results - page 67 / 785
» The IA-64 Architecture at Work
Sort
View
ICRA
1998
IEEE
163views Robotics» more  ICRA 1998»
15 years 4 months ago
A Multi-Loop Robust Navigation Architecture for Mobile Robots
This paper describes a multi-loop, modular navigation architecture for mobile robots whose structure allows the execution of most types of navigation tasks in a highly robust mann...
José Castro, Vítor Santos, M. Isabel...
ICSE
1998
IEEE-ACM
15 years 4 months ago
Calibrating the COCOMO II Post-Architecture Model
The COCOMO II model was created to meet the need for a cost model that accounted for future software development practices. This resulted in the formulation of three submodels for...
Bradford Clark, Sunita Devnani-Chulani, Barry W. B...
ECBS
1997
IEEE
103views Hardware» more  ECBS 1997»
15 years 4 months ago
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
J. S. Keane, Jerzy W. Rozenblit, Michael Barnes
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 3 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
Anthony C. J. Fox, Magnus O. Myreen
ECIS
2001
15 years 1 months ago
Model and architecture for a virtual one stop public administration
The goal of this research was to develop a model of architecture for a virtual one-stop public administration. The first part of our work was to collect data during a six-month su...
Olivier Glassey