Sciweavers

3394 search results - page 72 / 679
» A Modal Model of Memory
Sort
View
119
Voted
DAC
2007
ACM
15 years 4 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley
ANSS
2007
IEEE
15 years 2 months ago
Modelling Network Memory Servers with Parallel Processors, Break-downs and Repairs
This paper presents an analytical method for the performability evaluation of a previously reported network memory server attached to a local area network. To increase the perform...
Orhan Gemikonakli, Glenford E. Mapp, Enver Ever, D...
83
Voted
ESANN
2008
15 years 1 months ago
Using graph-theoretic measures to predict the performance of associative memory models
We test a selection of associative memory models built with different connection strategies, exploring the relationship between the structural properties of each network and its pa...
Lee Calcraft, Rod Adams, Weiliang Chen, Neil Davey
NN
2011
Springer
217views Neural Networks» more  NN 2011»
14 years 3 months ago
A neurodynamical model for working memory
Neurodynamical models of working memory (WM) should provide mechanisms for storing, maintaining, retrieving, and deleting information. Many models address only a subset of these a...
Razvan Pascanu, Herbert Jaeger
123
Voted
APLAS
2011
ACM
14 years 14 days ago
Soundness of Data Flow Analyses for Weak Memory Models
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
Jade Alglave, Daniel Kroening, John Lugton, Vincen...