Partial Updates: Exploration
Дата
Авторы
Gurevich,Yuri
Tillmann,Nikolai
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
Abstract state machine , AsmL , ASM thesis , partial updates , submachines , synchronous parallelism , updates