Sciweavers

2756 search results - page 116 / 552
» Computation-Centric Memory Models
Sort
View
IPPS
2000
IEEE
15 years 8 months ago
Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel Programs
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
W. Pfannenstiel
IJCINI
2007
106views more  IJCINI 2007»
15 years 4 months ago
The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain
The cognitive models of information representation are fundamental research areas in cognitive informatics, which attempts to reveal the mechanisms and potential of the brain in l...
Yingxu Wang
FMCAD
2000
Springer
15 years 8 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
PLILP
1993
Springer
15 years 8 months ago
An OR Parallel Prolog Model for Distributed Memory Systems
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
Vicente Benjumea, José M. Troya
ACL
1994
15 years 5 months ago
Part-of-Speech Tagging using a Variable Memory Markov Model
Wepresent a new approachtodisambiguatingsyntactically ambiguous words in context, based on Variable Memory Markov (VMM) models. In contrast to xed-length Markovmodels,whichpredict...
Hinrich Schütze, Yoram Singer