Sciweavers

3843 search results - page 103 / 769
» System support for shared objects
Sort
View
USENIX
1993
15 years 6 months ago
Linking Shared Segments
As an alternative to communication via messages or files, shared memory has the potential to be simpler, faster, and less wasteful of space. Unfortunately, the mechanisms availab...
W. E. Garrett, Michael L. Scott, Ricardo Bianchini...
93
Voted
ICALT
2009
IEEE
15 years 8 months ago
The G-Math Peer-Tutoring System for Supporting Effectively Remedial Instruction for Elementary Students
This study proposed the multi-user G-Math PeerTutoring System for facilitating students' tutoring strategies in math learning in the remedial instruction. The G-Math Peer-Tut...
Mengping Tsuei
ICALT
2005
IEEE
15 years 10 months ago
The Use of an Adaptive Hypermedia Learning System to Support a New Pedagogical Model
The purpose of this paper is to present the current state and future development of the PLATINEA project. This project allows students and teachers to create and to consolidate kn...
Constatino Martins, Isabel Azevedo, Carlos Vaz de ...
CHI
2008
ACM
16 years 5 months ago
From awareness to repartee: sharing location within social groups
This paper investigates emergent practices around `microblogging', changing and sharing status within a social group. We present results from a trial of `Connecto', a ph...
Louise Barkhuus, Barry Brown, Marek Bell, Scott Sh...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 8 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...