Sciweavers

3872 search results - page 135 / 775
» The Java memory model
Sort
View
VLDB
1990
ACM
77views Database» more  VLDB 1990»
15 years 6 months ago
Efficient Main Memory Data Management Using the DBGraph Storage Model
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...
Philippe Pucheral, Jean-Marc Thévenin, Patr...
FPCA
1995
15 years 6 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...
86
Voted
ESANN
2007
15 years 4 months ago
Sparsely-connected associative memory models with displaced connectivity
Abstract. Our work is concerned with finding optimum connection strategies in highperformance associative memory models. Taking inspiration from axonal branching in biological neur...
Lee Calcraft, Rod Adams, Neil Davey
FLAIRS
2001
15 years 3 months ago
Integrating Task, Role, and User Modeling in Organizational Memories
In application areas like personal information agents user modelstypically maintain sophisticated representations of personal interest profiles. Theserepresentations can be utiliz...
Ludger van Elst, Andreas Abecker
ENTCS
2008
94views more  ENTCS 2008»
15 years 2 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp