Sciweavers

432 search results - page 14 / 87
» An Architectural Overview of QNX
Sort
View
IJHPCA
2010
111views more  IJHPCA 2010»
14 years 7 months ago
Understanding Application Performance via Micro-benchmarks on Three Large Supercomputers: Intrepid, Ranger and Jaguar
Emergence of new parallel architectures presents new challenges for application developers. Supercomputers vary in processor speed, network topology, interconnect communication ch...
Abhinav Bhatele, Lukasz Wesolowski, Eric J. Bohm, ...
ICAI
2008
14 years 11 months ago
Behavior-based Perceptual Navigation for Semi-Autonomous Wheelchair Operations
Abstract-- This paper describes an overview of our semiautonomous (SA) wheelchair prototype and emphasizes the design of the perceptual navigation system. The goal of our project i...
Hajime Uchiyama, Walter D. Potter
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 5 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
KBS
2002
69views more  KBS 2002»
14 years 9 months ago
A knowledge-based approach for business process reengineering, SHAMASH
In this paper we present an overview of SHAMASH, a process modelling tool for business process reengineering. The main features that differentiate it from most current related too...
Ricardo Aler, Daniel Borrajo, David Camacho, Almud...
MMS
2002
14 years 9 months ago
A retrospective on the design of the GOPI middleware platform
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
Geoff Coulson, Shakuntala Baichoo, Oveeyen Moonian