Sciweavers

5548 search results - page 719 / 1110
» Programming a Distributed System Using Shared Objects
Sort
View
227
Voted
ASPLOS
2008
ACM
15 years 9 months ago
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
Michal Wegiel, Chandra Krintz
194
Voted
SIGSOFT
2007
ACM
16 years 8 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
ISSTA
2006
ACM
16 years 1 months ago
Architecture-based testing using goals and plans
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, ...
244
Voted
EDBT
2002
ACM
138views Database» more  EDBT 2002»
16 years 7 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
188
Voted
CHI
2003
ACM
16 years 21 days ago
Assessing the value of a cursor pointing device for remote collaboration on physical tasks
This study assessed the value of a cursor pointer that allows remote collaborators to point to locations in a partner’s workspace via a shared video feed. We compared performanc...
Susan R. Fussell, Leslie D. Setlock, Elizabeth M. ...