9006 search results - page 1778 / 1802 » Modeling Software |
SC
1995
ACM
14 years 1 months ago
1995
ACM
Release consistency is a widely accepted memory model for distributed shared memory systems. Eager release consistency represents the state of the art in release consistent protoc...
ACMACE
2009
ACM
14 years 1 months ago
2009
ACM
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
POPL
2010
ACM
14 years 16 days ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
ASPLOS
2008
ACM
14 years 3 days ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...
CCS
2008
ACM
14 years 3 days ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...