Sciweavers

4934 search results - page 556 / 987
» Implementing an API for Distributed Adaptive Computing Syste...
Sort
View
ERSHOV
2003
Springer
15 years 9 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
DAGSTUHL
2008
15 years 5 months ago
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...
Walter Krämer, Michael Zimmer
ICDIM
2008
IEEE
15 years 11 months ago
A holographic associative memory recommender system
We describe a recommender system based on Dynamically Structured Holographic Memory (DSHM), a cognitive model of associative memory that uses holographic reduced representations a...
Matthew Rutledge-Taylor, Andre Vellino, Robert L. ...
SBACPAD
2007
IEEE
121views Hardware» more  SBACPAD 2007»
15 years 10 months ago
DTA-C: A Decoupled multi-Threaded Architecture for CMP Systems
One way to exploit Thread Level Parallelism (TLP) is to use architectures that implement novel multithreaded execution models, like Scheduled DataFlow (SDF). This latter model pro...
Roberto Giorgi, Zdravko Popovic, Nikola Puzovic
HPCC
2005
Springer
15 years 10 months ago
A New Parity Space Approach to Fault Detection for General Systems
This paper proposes a new parity space approach to a fault detection for general systems with noises, actuator faults and sensor faults. The proposed parity space approach could be...
Pyung Soo Kim, Eung Hyuk Lee