Search Results - "Concurrent Programming—Distributed pro- gramming"

Deadlock avoidance for streaming computations with filtering

Authors: Peng Li Kunal Agrawal Jeremy Buhler et al.

Contributors: Peng Li Kunal Agrawal Jeremy Buhler et al.

Source: http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf.

Subject Terms: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed pro- gramming, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency General Terms Algorithms, Design, Theory Keywords Data Filtering, Dataflow, Architecturally Diverse Platforms

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.620.8539; http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.620.8539
http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf

BFSiena: a Communication Substrate for StreamMine

Authors: Zbigniew Jerzak Christof Fetzer The Pennsylvania State University CiteSeerX Archives

Contributors: Zbigniew Jerzak Christof Fetzer The Pennsylvania State University CiteSeerX Archives

Source: http://jerzak.eu/publ/doc/jerzak2008bfsiena.pdf.

Subject Terms: C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed Applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed Pro- gramming General Terms Algorithms, Design Keywords distribution, interaction, publish/subscribe, event process- ing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.583.8429; http://jerzak.eu/publ/doc/jerzak2008bfsiena.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.583.8429
http://jerzak.eu/publ/doc/jerzak2008bfsiena.pdf

Natural Proofs for Asynchronous Programs using Almost-Synchronous Reductions

Authors: Ankush Desai Pranav Garg P. Madhusudan et al.

Contributors: Ankush Desai Pranav Garg P. Madhusudan et al.

Source: http://www.cs.uiuc.edu/~madhu/OOPSLA14.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming — Distributed pro- gramming, D.2.4 [Software Engineering, Software/Pro- gram Verification — Correctness proofs, Model checking, D.2.5 [Software Engineering, Testing and Debugging Keywords natural proofs, almost-synchronous reductions, asynchronous programs

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.6998; http://www.cs.uiuc.edu/~madhu/OOPSLA14.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.6998
http://www.cs.uiuc.edu/~madhu/OOPSLA14.pdf