Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034387047> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2034387047 endingPage "CSO12" @default.
- W2034387047 startingPage "CSO12" @default.
- W2034387047 abstract "Claytronics is a project at Carnegie Mellon University to develop programmable matter – bringing the power of programming to physical matter. A Claytronics system consists of millions of tiny computing units called catoms. Each catom is capable of executing code, sensing and communicating with nearby catoms, and moving around its neighbors subject to the laws of physics. The result is an ensemble of particles which can change their physical properties under program control. Surprisingly, the main challenge to realizing Claytronics is not the underlying hardware, but the programming methodology. Providing effective methods for programming an ensemble of millions of units so that they can reliably, even provably, work together to solve a common task is a significant challenge. We have developed two programming languages, LDP and Meld, with which we could implement some simple, yet useful, behaviors. Each language excelled at some tasks, but not on others. Furthermore, it is unknown whether either language or even their underlying programming styles will scale to large programs. In this work, we investigate the potential of MSR 3, a programming paradigm combining multiset rewriting, logic and process algebra, as an effective basis for programming Claytronics. MSR 3 natively provides support for concurrency, synchronization, non-determinism, non-monotonicity, and atomicity. It has been used with great success in areas as security protocols and biomolecular systems. MSR 3 appears to extend the computing paradigms of both LDP and Meld. Our main objective is to customize MSR 3 for Claytronics, to support a variety of abstraction levels (from modeling the physical environment to programming meta-modules). We believe that this will reap rewards not just for programming Claytronics, but will have a direct impact on understanding how best to program all large ensembles, sensor networks, internet protocol routers, autonomous vehicles, power system management, etc." @default.
- W2034387047 created "2016-06-24" @default.
- W2034387047 creator A5061649545 @default.
- W2034387047 date "2010-12-13" @default.
- W2034387047 modified "2023-09-26" @default.
- W2034387047 title "Effective programming for large distributed ensembles" @default.
- W2034387047 doi "https://doi.org/10.5339/qfarf.2010.cso12" @default.
- W2034387047 hasPublicationYear "2010" @default.
- W2034387047 type Work @default.
- W2034387047 sameAs 2034387047 @default.
- W2034387047 citedByCount "0" @default.
- W2034387047 crossrefType "journal-article" @default.
- W2034387047 hasAuthorship W2034387047A5061649545 @default.
- W2034387047 hasConcept C111472728 @default.
- W2034387047 hasConcept C114614502 @default.
- W2034387047 hasConcept C120314980 @default.
- W2034387047 hasConcept C124304363 @default.
- W2034387047 hasConcept C127162648 @default.
- W2034387047 hasConcept C136197465 @default.
- W2034387047 hasConcept C138885662 @default.
- W2034387047 hasConcept C154690210 @default.
- W2034387047 hasConcept C154945302 @default.
- W2034387047 hasConcept C188045909 @default.
- W2034387047 hasConcept C193702766 @default.
- W2034387047 hasConcept C199360897 @default.
- W2034387047 hasConcept C2778562939 @default.
- W2034387047 hasConcept C2779623528 @default.
- W2034387047 hasConcept C31258907 @default.
- W2034387047 hasConcept C33923547 @default.
- W2034387047 hasConcept C34165917 @default.
- W2034387047 hasConcept C41008148 @default.
- W2034387047 hasConcept C75949130 @default.
- W2034387047 hasConcept C80444323 @default.
- W2034387047 hasConceptScore W2034387047C111472728 @default.
- W2034387047 hasConceptScore W2034387047C114614502 @default.
- W2034387047 hasConceptScore W2034387047C120314980 @default.
- W2034387047 hasConceptScore W2034387047C124304363 @default.
- W2034387047 hasConceptScore W2034387047C127162648 @default.
- W2034387047 hasConceptScore W2034387047C136197465 @default.
- W2034387047 hasConceptScore W2034387047C138885662 @default.
- W2034387047 hasConceptScore W2034387047C154690210 @default.
- W2034387047 hasConceptScore W2034387047C154945302 @default.
- W2034387047 hasConceptScore W2034387047C188045909 @default.
- W2034387047 hasConceptScore W2034387047C193702766 @default.
- W2034387047 hasConceptScore W2034387047C199360897 @default.
- W2034387047 hasConceptScore W2034387047C2778562939 @default.
- W2034387047 hasConceptScore W2034387047C2779623528 @default.
- W2034387047 hasConceptScore W2034387047C31258907 @default.
- W2034387047 hasConceptScore W2034387047C33923547 @default.
- W2034387047 hasConceptScore W2034387047C34165917 @default.
- W2034387047 hasConceptScore W2034387047C41008148 @default.
- W2034387047 hasConceptScore W2034387047C75949130 @default.
- W2034387047 hasConceptScore W2034387047C80444323 @default.
- W2034387047 hasIssue "2010" @default.
- W2034387047 hasLocation W20343870471 @default.
- W2034387047 hasOpenAccess W2034387047 @default.
- W2034387047 hasPrimaryLocation W20343870471 @default.
- W2034387047 hasRelatedWork W1480853724 @default.
- W2034387047 hasRelatedWork W1556611670 @default.
- W2034387047 hasRelatedWork W1569472630 @default.
- W2034387047 hasRelatedWork W1582120097 @default.
- W2034387047 hasRelatedWork W1968197232 @default.
- W2034387047 hasRelatedWork W2110053516 @default.
- W2034387047 hasRelatedWork W2131630752 @default.
- W2034387047 hasRelatedWork W3160136729 @default.
- W2034387047 hasRelatedWork W4233783224 @default.
- W2034387047 hasRelatedWork W4255927945 @default.
- W2034387047 isParatext "false" @default.
- W2034387047 isRetracted "false" @default.
- W2034387047 magId "2034387047" @default.
- W2034387047 workType "article" @default.