Sciweavers

2756 search results - page 324 / 552
» Computation-Centric Memory Models
Sort
View
EMSOFT
2007
Springer
15 years 8 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
ICS
2000
Tsinghua U.
15 years 8 months ago
Push vs. pull: data movement for linked data structures
As the performance gap between the CPU and main memory continues to grow, techniques to hide memory latency are essential to deliver a high performance computer system. Prefetchin...
Chia-Lin Yang, Alvin R. Lebeck
WSC
1998
15 years 6 months ago
Parallel Implementation of a Molecular Dynamics Simulation Program
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...
Alan Mink, Christophe Bailly
AIA
2006
15 years 6 months ago
Some Experiments Around a Neural Network for Multimodal Associations
This paper presents a study of the model of triple BAM by [11] which is an improved variation of the original BAM model by [7]. This class of model aims at integrating different s...
Yann Boniface, Reghis Abdelmalek
CVPR
2007
IEEE
16 years 6 months ago
Hybrid learning of large jigsaws
A jigsaw is a recently proposed generative model that describes an image as a composition of non-overlapping patches of varying shape, extracted from a latent image. By learning t...
Julia A. Lasserre, Anitha Kannan, John M. Winn