Sciweavers

3872 search results - page 129 / 775
» The Java memory model
Sort
View
BICA
2010
14 years 9 months ago
Modelling Human Memory in Robotic Companions for Personalisation and Long-term Adaptation in HRI
This paper investigates issues of robot's personalization and long-term adaptation in human-robot interaction (HRI). It demonstrates the design and first technical implementat...
Wan Ching Ho, Kerstin Dautenhahn, Mei Yii Lim, Kyr...
KBSE
2008
IEEE
15 years 9 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
NMA
2010
15 years 11 days ago
Modeling of the SET and RESET Process in Bipolar Resistive Oxide-Based Memory Using Monte Carlo Simulations
A stochastic model of the resistive switching mechanism in bipolar oxide-based resistive random access memory (RRAM) is presented. The distribution of electron occupation probabili...
Alexander Makarov, Viktor Sverdlov, Siegfried Selb...
POPL
2009
ACM
15 years 9 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...
EUROPAR
2010
Springer
15 years 3 months ago
A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architectures
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
Chen Chen, Joseph B. Manzano, Ge Gan, Guang R. Gao...