Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 7 / Issue 11

available in:   PDF (263 kB) PS (188 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-007-11-0917

 

Partial Updates: Exploration

Yuri Gurevich (Microsoft Research One Microsoft Way, USA)

Nikolai Tillmann (One Microsoft Way, USA)

Abstract: The partial update problem for parallel abstract state machines has manifested itself in the cases of counters, sets and maps. We propose a solution of the problem that lends itself to an efficient implementation and covers the three cases mentioned above. There are other cases of the problem that require a more general framework.

Keywords: ASM thesis, Abstract state machine, AsmL, partial updates, submachines, synchronous parallelism, updates

Categories: D.3.3, F.1.1, F.1.2, F.3.2