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

L.M.: Dynamic qos adaptation of inter-dependent task sets in cooperative embedded systems

Authors: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

Contributors: Luís Nogueira Luís Miguel Pinho The Pennsylvania State University CiteSeerX Archives

Source: http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488.

Subject Terms: Categories and Subject Descriptors J.7 [Computers in Other Systems, Real time, D.1.3 [Pro- gramming Techniques, Concurrent Programming—Distributed programming General Terms Algorithms, Management, Performance Keywords Open real-time systems, Anytime algorithms, QoS optimisa- tion and adaptation, Service stability

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444; http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4444
http://eudl.eu/pdf/10.4108/ICST.AUTONOMICS2008.4488

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

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

Parallelizing machine learning- functionally: A framework and abstractions for parallel graph processing

Authors: Heather Miller The Pennsylvania State University CiteSeerX Archives

Contributors: Heather Miller The Pennsylvania State University CiteSeerX Archives

Source: http://infoscience.epfl.ch/record/165111/files/scalawksp11.pdf?version=2.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming — Distributed and parallel pro- gramming, D.2.13 [Software Engineering, Reusable Software— Reusable libraries Keywords Parallel programming, distributed programming, ma- chine

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.7719; http://infoscience.epfl.ch/record/165111/files/scalawksp11.pdf?version=2

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.7719
http://infoscience.epfl.ch/record/165111/files/scalawksp11.pdf?version=2

Distributed Processes: A Concurrent Programming Concept.

Authors: Hansen, Per Brinch

Source: Communications of the ACM; Nov78, Vol. 21 Issue 11, p934-941, 8p

Subject Terms: COMPUTER multitasking, COMPUTER system failures

A theory of distributed aspects

Authors: Nicolas Tabareau The Pennsylvania State University CiteSeerX Archives

Contributors: Nicolas Tabareau The Pennsylvania State University CiteSeerX Archives

Source: http://hal.archives-ouvertes.fr/docs/00/44/84/88/PDF/theory_of_distributed_aspects_fullversion.pdf.

Subject Terms: Categories and Subject Descriptors D.3.1 [Programming languages, Formal definitions and theory, D.1.3 [Programming Techniques, Concurrent Programming—Distributed programming General Terms

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.491.411

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.491.411
http://hal.archives-ouvertes.fr/docs/00/44/84/88/PDF/theory_of_distributed_aspects_fullversion.pdf

VARIATIONS ON UNIX FOR PARALLEL-PROCESSING COMPUTERS.

Authors: Russell, Channing H. Waterman, Pamela J.

Source: Communications of the ACM; Dec1987, Vol. 30 Issue 12, p1048-1055, 8p, 2 Diagrams, 2 Charts

Subject Terms: COMPUTER operating systems, SYSTEMS software, COMPUTER engineering

A Simple, Object-Based View of Multiprogramming.

Authors: Misra, Jayadev

Source: Formal Methods in System Design; Jan2002, Vol. 20 Issue 1, p23-45, 23p

Action systems in incremental and aspect-oriented modeling.

Authors: Kurki-Suonio, R.

Source: Distributed Computing; Sep2003, Vol. 16 Issue 2/3, p201-217, 17p

Subject Terms: DISTRIBUTED computing, MATHEMATICAL models, ABSTRACT thought, SYSTEMS theory, COMPUTER programming, COMPUTER systems

A Nationwide Parallel Computing Environment.

Authors: Kennedy, Ken Bender, Charles F.

Source: Communications of the ACM; Nov97, Vol. 40 Issue 11, p62-72, 11p, 1 Color Photograph, 1 Diagram, 2 Graphs

Company/Entity: NATIONAL Science Foundation (U.S.)

Operating Systems.

Authors: Shaw, Alan

Source: Communications of the ACM; Mar1988, Vol. 31 Issue 3, p255-257, 3p, 1 Chart

Subject Terms: COMPUTER operating systems, DISTRIBUTED operating systems (Computers)

An approach to efficient distributed transactions.

Authors: Ancilotti, Paolo Bertolino, Antonia Fusani, Mario

Source: Distributed Computing; Dec1988, Vol. 2 Issue 4, p201-212, 12p

References.

Source: Pipelined Processor Farms; 2001 1st Edition, p269-298, 30p

Subject Terms: AUTHORS, PERIODICALS

Detecting Locally Distributed Predicates.

Authors: DE ROSA, MICHAEL GOLDSTEIN, SETH COPEN LEE, PETER et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; 2011, Vol. 6 Issue 2, p13-13:14, 14p, 2 Diagrams, 2 Charts

Subject Terms: ROBOTICS, DEBUGGING, DISTRIBUTED computing, EMPIRICAL research, ALGORITHMS, SPARSE matrices, SYSTEMS theory

A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems.

Authors: Malek, Sam Mikic-Rakic, Marija Medvidovic, Nenad

Source: IEEE Transactions on Software Engineering; Mar2005, Vol. 31 Issue 3, p256-272, 17p, 8 Diagrams, 3 Charts

Subject Terms: MOBILE computing, COMPUTER programming, MIDDLEWARE, SOFTWARE architecture, EMBEDDED computer systems

MIDDLEWARE: THE LAYER IN BETWEEN.

Authors: Moreira, Rui Rocha, Álvaro De Vasconcelos, José Braga

Source: Revista da Faculdade de Ciência e Tecnologia; jan2005, Vol. 2, p134-152, 19p

PRODUCTIVITY IN HIGH PERFORMANCE COMPUTING.

Authors: Kuck, David J.

Source: International Journal of High Performance Computing Applications; Winter2004, Vol. 18 Issue 4, p489-504, 16p

Subject Terms: HIGH performance computing, SYSTEMS software, COST effectiveness, COMPUTER software development, ELECTRONIC data processing, SUPERCOMPUTERS

Blackboard relations in the μ Log coordination model.

Authors: Jacquet, Jean-Marie Bosschere, Koen

Source: New Generation Computing; Mar2001, Vol. 19 Issue 1, p23-55, 33p

An Object-Based Architecture for Developing Interactive Simulations Using Java.

Authors: Narayanan, S. Schneider, Nicole L. Patel, Chetan et al.

Source: Simulation; Sep1997, Vol. 69 Issue 3, p153-171, 19p