Sciweavers

2208 search results - page 37 / 442
» Memory Practices in the Sciences
Sort
View
ECOOP
2008
Springer
13 years 10 months ago
Practical Object-Oriented Back-in-Time Debugging
Back-in-time debuggers are extremely useful tools for identifying the causes of bugs. Unfortunately the "omniscient" approaches that try to remember all previous states a...
Adrian Lienhard, Tudor Gîrba, Oscar Nierstra...
ECTEL
2008
Springer
13 years 10 months ago
Knowledge Management in the Communities of Practice of e-Learning
Abstract. A lot of research has been done to promote and develop good elearning models, practices, and technological environments. However, fewer efforts were deployed to support e...
Akila Sarirete
PCI
2001
Springer
14 years 1 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
14 years 1 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
OSDI
2002
ACM
14 years 9 months ago
Practical, Transparent Operating System Support for Superpages
Most general-purpose processors provide support for memory pages of large sizes, called superpages. Superpages enable each entry in the translation lookaside buffer (TLB) to map a...
Juan Navarro, Sitaram Iyer, Peter Druschel, Alan L...