Sciweavers

2779 search results - page 27 / 556
» Modelling Immunological Memory
Sort
View
3DIC
2009
IEEE
169views Hardware» more  3DIC 2009»
14 years 2 months ago
3-D memory organization and performance analysis for multi-processor network-on-chip architecture
Several forms of processor memory organizations have been in use to optimally access off-chip memory systems mainly the Hard disk drives (HDD). Recent trends show that the solid s...
Awet Yemane Weldezion, Zhonghai Lu, Roshan Weerase...
JAR
2008
124views more  JAR 2008»
13 years 9 months ago
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
Xavier Leroy, Sandrine Blazy
WSC
1993
13 years 10 months ago
Object-oriented memory management in DEVSIM++
Young C. Kim, Kyung S. Ham, Tag G. Kim
ASPLOS
2010
ACM
14 years 1 months ago
An asymmetric distributed shared memory model for heterogeneous parallel systems
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
Isaac Gelado, Javier Cabezas, Nacho Navarro, John ...
BMCBI
2008
170views more  BMCBI 2008»
13 years 9 months ago
Implementing EM and Viterbi algorithms for Hidden Markov Model in linear memory
Background: The Baum-Welch learning procedure for Hidden Markov Models (HMMs) provides a powerful tool for tailoring HMM topologies to data for use in knowledge discovery and clus...
Alexander G. Churbanov, Stephen Winters-Hilt