Sciweavers

3686 search results - page 541 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
160
Voted
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 9 months 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
15 years 6 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
15 years 11 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...
150
Voted
HPCN
2000
Springer
15 years 9 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
135
Voted
EH
2002
IEEE
97views Hardware» more  EH 2002»
15 years 10 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