Matches in SemOpenAlex for { <https://semopenalex.org/work/W3159559857> ?p ?o ?g. }
- W3159559857 endingPage "192" @default.
- W3159559857 startingPage "159" @default.
- W3159559857 abstract "The amoebot model abstracts active programmable matter as a collection of simple computational elements called amoebots that interact locally to collectively achieve tasks of coordination and movement. Since its introduction at SPAA 2014, a growing body of literature has adapted its assumptions for a variety of problems; however, without a standardized hierarchy of assumptions, precise systematic comparison of results under the amoebot model is difficult. We propose the canonical amoebot model, an updated formalization that distinguishes between core model features and families of assumption variants. A key improvement addressed by the canonical amoebot model is concurrency. Much of the existing literature implicitly assumes amoebot actions are isolated and reliable, reducing analysis to the sequential setting where at most one amoebot is active at a time. However, real programmable matter systems are concurrent. The canonical amoebot model formalizes all amoebot communication as message passing, leveraging adversarial activation models of concurrent executions. Under this granular treatment of time, we take two complementary approaches to concurrent algorithm design. We first establish a set of sufficient conditions for algorithm correctness under any concurrent execution, embedding concurrency control directly in algorithm design. We then present a concurrency control framework that uses locks to convert amoebot algorithms that terminate in the sequential setting and satisfy certain conventions into algorithms that exhibit equivalent behavior in the concurrent setting. As a case study, we demonstrate both approaches using a simple algorithm for hexagon formation. Together, the canonical amoebot model and these complementary approaches to concurrent algorithm design open new directions for distributed computing research on programmable matter." @default.
- W3159559857 created "2021-05-10" @default.
- W3159559857 creator A5031875286 @default.
- W3159559857 creator A5063355098 @default.
- W3159559857 creator A5070425572 @default.
- W3159559857 date "2023-02-17" @default.
- W3159559857 modified "2023-09-30" @default.
- W3159559857 title "The canonical amoebot model: algorithms and concurrency control" @default.
- W3159559857 cites W1632525963 @default.
- W3159559857 cites W1802748673 @default.
- W3159559857 cites W1965978478 @default.
- W3159559857 cites W2021521923 @default.
- W3159559857 cites W2027032283 @default.
- W3159559857 cites W2030089231 @default.
- W3159559857 cites W2032468247 @default.
- W3159559857 cites W2041146323 @default.
- W3159559857 cites W2079425200 @default.
- W3159559857 cites W2084011432 @default.
- W3159559857 cites W2116736083 @default.
- W3159559857 cites W2132817270 @default.
- W3159559857 cites W2164399703 @default.
- W3159559857 cites W2189116479 @default.
- W3159559857 cites W2288393983 @default.
- W3159559857 cites W2436246434 @default.
- W3159559857 cites W2474103057 @default.
- W3159559857 cites W2564130887 @default.
- W3159559857 cites W2598053688 @default.
- W3159559857 cites W2706788079 @default.
- W3159559857 cites W2785464061 @default.
- W3159559857 cites W2884028183 @default.
- W3159559857 cites W2891150364 @default.
- W3159559857 cites W2896766718 @default.
- W3159559857 cites W2910773749 @default.
- W3159559857 cites W2923870875 @default.
- W3159559857 cites W2962873476 @default.
- W3159559857 cites W2963114728 @default.
- W3159559857 cites W2963486750 @default.
- W3159559857 cites W2963533232 @default.
- W3159559857 cites W2977330334 @default.
- W3159559857 cites W2978476547 @default.
- W3159559857 cites W2985325747 @default.
- W3159559857 cites W2999228461 @default.
- W3159559857 cites W3007187515 @default.
- W3159559857 cites W3035252600 @default.
- W3159559857 cites W3080146704 @default.
- W3159559857 cites W3094452295 @default.
- W3159559857 cites W3100003047 @default.
- W3159559857 cites W3105017571 @default.
- W3159559857 cites W3106481070 @default.
- W3159559857 cites W3110112816 @default.
- W3159559857 cites W3117534020 @default.
- W3159559857 cites W3151434123 @default.
- W3159559857 cites W3183784638 @default.
- W3159559857 cites W3209129304 @default.
- W3159559857 cites W4206027767 @default.
- W3159559857 cites W4249074139 @default.
- W3159559857 doi "https://doi.org/10.1007/s00446-023-00443-3" @default.
- W3159559857 hasPublicationYear "2023" @default.
- W3159559857 type Work @default.
- W3159559857 sameAs 3159559857 @default.
- W3159559857 citedByCount "0" @default.
- W3159559857 crossrefType "journal-article" @default.
- W3159559857 hasAuthorship W3159559857A5031875286 @default.
- W3159559857 hasAuthorship W3159559857A5063355098 @default.
- W3159559857 hasAuthorship W3159559857A5070425572 @default.
- W3159559857 hasBestOaLocation W31595598572 @default.
- W3159559857 hasConcept C111472728 @default.
- W3159559857 hasConcept C11413529 @default.
- W3159559857 hasConcept C120314980 @default.
- W3159559857 hasConcept C136197465 @default.
- W3159559857 hasConcept C138885662 @default.
- W3159559857 hasConcept C150495011 @default.
- W3159559857 hasConcept C154945302 @default.
- W3159559857 hasConcept C177264268 @default.
- W3159559857 hasConcept C193702766 @default.
- W3159559857 hasConcept C199360897 @default.
- W3159559857 hasConcept C2780586882 @default.
- W3159559857 hasConcept C41008148 @default.
- W3159559857 hasConcept C41608201 @default.
- W3159559857 hasConcept C55439883 @default.
- W3159559857 hasConcept C56348326 @default.
- W3159559857 hasConcept C75949130 @default.
- W3159559857 hasConcept C80444323 @default.
- W3159559857 hasConcept C84511453 @default.
- W3159559857 hasConceptScore W3159559857C111472728 @default.
- W3159559857 hasConceptScore W3159559857C11413529 @default.
- W3159559857 hasConceptScore W3159559857C120314980 @default.
- W3159559857 hasConceptScore W3159559857C136197465 @default.
- W3159559857 hasConceptScore W3159559857C138885662 @default.
- W3159559857 hasConceptScore W3159559857C150495011 @default.
- W3159559857 hasConceptScore W3159559857C154945302 @default.
- W3159559857 hasConceptScore W3159559857C177264268 @default.
- W3159559857 hasConceptScore W3159559857C193702766 @default.
- W3159559857 hasConceptScore W3159559857C199360897 @default.
- W3159559857 hasConceptScore W3159559857C2780586882 @default.
- W3159559857 hasConceptScore W3159559857C41008148 @default.
- W3159559857 hasConceptScore W3159559857C41608201 @default.
- W3159559857 hasConceptScore W3159559857C55439883 @default.