Sciweavers

5548 search results - page 719 / 1110
» Programming a Distributed System Using Shared Objects
Sort
View
205
Voted
ASPLOS
2008
ACM
15 years 8 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
SIGSOFT
2007
ACM
16 years 7 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 ...
172
Voted
ISSTA
2006
ACM
16 years 25 days 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, ...
223
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
180
Voted
CHI
2003
ACM
16 years 3 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. ...