Sciweavers

3812 search results - page 326 / 763
» Combinations of TRAP Based Systems
Sort
View
IEEEHPCS
2010
15 years 5 months ago
Novel performance optimization of large-scale discrete-event simulation on the Cell Broadband Engine
This paper presents a computing technique for efficient parallel simulation of large-scale discrete-event models on the IBM Cell Broadband Engine (CBE), which has one Power Proces...
Qi Liu, Gabriel A. Wainer, Ligang Lu, Michael Perr...
ANSS
2006
IEEE
16 years 23 days ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus
ECCV
2004
Springer
16 years 3 days ago
An AR Human Computer Interface for Object Localization in a Cognitive Vision Framework
Abstract. In the European cognitive vision project VAMPIRE (IST2001-34401), mobile AR-kits are used for interactive teaching of a visual active memory. This is achieved by 3D augme...
Hannes Siegl, Gerald Schweighofer, Axel Pinz
RTA
2010
Springer
15 years 10 months ago
A Proof Calculus Which Reduces Syntactic Bureaucracy
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
Alessio Guglielmi, Tom Gundersen, Michel Parigot
FPL
2006
Springer
158views Hardware» more  FPL 2006»
15 years 10 months ago
Placing Functionality in Fault-Tolerant Hardware/Software Reconfigurable Networks
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
Thilo Streichert