Sciweavers

2805 search results - page 42 / 561
» Modeling Memory for Melodies
Sort
View
IJBRA
2006
111views more  IJBRA 2006»
14 years 9 months ago
Memory efficient alignment between RNA sequences and stochastic grammar models of pseudoknots
: Stochastic Context-Free Grammars (SCFG) has been shown to be effective in modelling RNA secondary structure for searches. Our previous work (Cai et al., 2003) in Stochastic Paral...
Yinglei Song, Chunmei Liu, Russell L. Malmberg, Co...
ISOLA
2010
Springer
14 years 8 months ago
A Memory Model for Static Analysis of C Programs
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
Zhongxing Xu, Ted Kremenek, Jian Zhang
62
Voted
IJCNN
2006
IEEE
15 years 3 months ago
Studies on Sparse Array Cortical Modeling and Memory Cognition Duality
— In this paper we have suggested a sparse three dimensional array model for the brain. Entries of the array are synaptic weights as functions of time. This is a typical four dim...
Kausik Kumar Majumdar, Robert Kozma
DATE
2002
IEEE
96views Hardware» more  DATE 2002»
15 years 2 months ago
Modeling Techniques and Tests for Partial Faults in Memory Devices
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...
Zaid Al-Ars, A. J. van de Goor
ACMMSP
2006
ACM
250views Hardware» more  ACMMSP 2006»
15 years 3 months ago
What do high-level memory models mean for transactions?
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
Dan Grossman, Jeremy Manson, William Pugh