Sciweavers

3686 search results - page 541 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
14 years 11 days ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck
UAI
2003
13 years 9 months ago
Decentralized Sensor Fusion with Distributed Particle Filters
This paper presents a scalable Bayesian technique for decentralized state estimation from multiple platforms in dynamic environments. As has long been recognized, centralized arch...
Matthew Rosencrantz, Geoffrey J. Gordon, Sebastian...
VISUALIZATION
2005
IEEE
14 years 1 months ago
Framework for Visualizing Higher-Order Basis Functions
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
William J. Schroeder, François Bertel, Math...
HPCN
2000
Springer
13 years 11 months ago
A Java-Based Parallel Programming Support Environment
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
Kenneth A. Hawick, Heath A. James
EH
2002
IEEE
97views Hardware» more  EH 2002»
14 years 1 months ago
Coevolution of Form and Function in the Design of Micro Air Vehicles
This paper discusses approaches to cooperative coevolution of form and function for autonomous vehicles, specifically evolving morphology and control for an autonomous micro air v...
Magdalena D. Bugajska, Alan C. Schultz