Sciweavers

1714 search results - page 12 / 343
» Abstract Models of Memory Management
Sort
View
76
Voted
VMCAI
2009
Springer
15 years 4 months ago
A Scalable Memory Model for Low-Level Code
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
Zvonimir Rakamaric, Alan J. Hu
ESANN
2008
14 years 11 months ago
Word recognition and incremental learning based on neural associative memories and hidden Markov models
Abstract. An architecture for achieving word recognition and incremental learning of new words in a language processing system is presented. The architecture is based on neural ass...
Zöhre Kara Kayikci, Günther Palm
73
Voted
PLDI
1995
ACM
15 years 1 months ago
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
Alexander Aiken, Manuel Fähndrich, Raph Levie...
89
Voted
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
15 years 3 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
WSC
2008
14 years 12 months ago
Conceptual modelling: Knowledge acquisition and model abstraction
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
Kathy Kotiadis, Stewart Robinson