Comingle: Distributed logic programming for decentralized mobile ensembles
ESL Lam, I Cervesato, N Fatima - International Conference on …, 2015 - Springer
Comingle is a logic programming framework aimed at simplifying the development of
applications distributed over multiple mobile devices. Applications are written as a single …
applications distributed over multiple mobile devices. Applications are written as a single …
Choreographic Compilation of Decentralized Comprehension Patterns
We develop an approach to compiling high-level specifications of distributed applications
into code that is executable on individual computing nodes. The high-level language is a …
into code that is executable on individual computing nodes. The high-level language is a …
Programmable orchestration of time-synchronized events across decentralized Android ensembles
Orchestrating a time sensitive computation across an ad hoc ensemble of Android devices is
surprisingly challenging in spite of the OS's support for automated network time …
surprisingly challenging in spite of the OS's support for automated network time …
[PDF][PDF] Comingle: Distributed Logic Programming for Decentralized Android Applications
ESL Lam, I Cervesato - 2015 - reports-archive.adm.cs.cmu.edu
Comingle is a logic programming framework aimed at simplifying the development of
applications distributed over multiple mobile devices. Applications are written as a single …
applications distributed over multiple mobile devices. Applications are written as a single …