Search Results - concurrent program- (ming—Distributed OR ing—Distributed) programming general terms algorithms~

An Efficient MPI Allgather for Grids ∗

Authors: Rakhi Gupta Sathish Vadhiyar The Pennsylvania State University CiteSeerX Archives

Contributors: Rakhi Gupta Sathish Vadhiyar The Pennsylvania State University CiteSeerX Archives

Source: http://www.tjhsst.edu/~rlatimer/papers/acmresearch/p169-guptaEfficientMPIAllgatherforGrids.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Distributed programming, Parallel programming General Terms Algorithms, Design, Performance Keywords MPI Allgather, Grids

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.6743
http://www.tjhsst.edu/~rlatimer/papers/acmresearch/p169-guptaEfficientMPIAllgatherforGrids.pdf

Parallel placement for field-programmable gate arrays

Authors: Pak K. Chan Martine D. F. Schlag The Pennsylvania State University CiteSeerX Archives

Contributors: Pak K. Chan Martine D. F. Schlag The Pennsylvania State University CiteSeerX Archives

Source: http://dent.cecs.uci.edu/~papers/compendium94-03/papers/2003/fpga03/pdffiles/2_2.pdf.

Subject Terms: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles—Gate ar- rays, B.7.2 [Integrated Circuits, Design Aids—Placement and routing, D.1.3 [Programming Techniques, Concurrent Program- ming—Distributed programming General Terms Algorithms, Performance, Design Keywords Parallel placement, FPGAs, Timing-driven placement, Analytical

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.6840
http://dent.cecs.uci.edu/~papers/compendium94-03/papers/2003/fpga03/pdffiles/2_2.pdf

Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion

Authors: Swan Dubois École Polytechnique Fédérale De Rachid Guerraoui et al.

Contributors: Swan Dubois École Polytechnique Fédérale De Rachid Guerraoui et al.

Source: http://infoscience.epfl.ch/record/199109/files/p290-dubois.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Distributed programming General Terms Algorithms Keywords Fault-tolerance, Speculation, Self-stabilization, Mutual ex- clusion

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.7133
http://infoscience.epfl.ch/record/199109/files/p290-dubois.pdf

Kaapi: A thread scheduling runtime system for data flow computations on cluster of multi-processors

Authors: Thierry Gautier Xavier Besseron Laurent Pigeon et al.

Contributors: Thierry Gautier Xavier Besseron Laurent Pigeon et al.

Source: http://www.csd.uwo.ca/~moreno/CS433-CS9624/Resources/p15-gautier.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—distributed programming, parallel programming General Terms Performance, Algorithms, Experimentation Keywords Work-stealing, dataflow, multi-core, multi-processor, cluster

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.4747
http://www.csd.uwo.ca/~moreno/CS433-CS9624/Resources/p15-gautier.pdf

Soft Concurrent Constraint Programming.

Authors: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Source: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Subject Terms: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

Bounded-Latency Content Distribution: Feasibility and Evaluation.

Authors: Chehgdu Huang Abdelzaher, Tarek

Source: IEEE Transactions on Computers; Nov2005, Vol. 54 Issue 11, p1422-1437, 16p

Subject Terms: ALGORITHMS, COMPUTER programming, ANT algorithms, COMPUTER networks, DATA transmission systems, DIGITAL communications

Formally specifying CARA in Java.

Authors: Stark, Eugene W.

Source: International Journal on Software Tools for Technology Transfer; May2004, Vol. 5 Issue 4, p331-350, 20p

Subject Terms: COMPUTER software, INFUSION therapy equipment, ALGORITHMS, JAVA programming language, SOFTWARE verification, FORMAL methods (Computer science)

CUMULVS: INTERACTING WITH HIGH-PERFORMANCE SCIENTIFIC SIMULATIONS, FOR VISUALIZATION, STEERING AND FAULT TOLERANCE.

Authors: Kohl, James A. Wilde, Torsten Bernholdt, David E.

Source: International Journal of High Performance Computing Applications; Summer2006, Vol. 20 Issue 2, p255-285, 31p, 9 Color Photographs, 3 Black and White Photographs, 6 Diagrams, 1 Chart, 1 Graph

Subject Terms: MIDDLEWARE, COMPUTER simulation, PARALLEL programming, COMPUTER programming, PARALLEL processing, PARALLEL logic programming, COMPUTER science, ELECTRONIC data processing, COMPUTER software, HIGH performance computing

WEB SERVICE CHOREOGRAPHY CONFORMANCE VERIFICATION THROUGH THE piX-MODEL.

Authors: VAN SEGHBROECK, GREGORY VOLCKAERT, BRUNO DE TURCK, FILIP et al.

Source: International Journal of Cooperative Information Systems; Mar-Jun2010, Vol. 19 Issue 1/2, p1-30, 30p, 7 Diagrams, 7 Charts, 3 Graphs

Subject Terms: WEB services, PIXELS, PRODUCTION scheduling, INTERNET industry, APPLICATION software

Managing Distributed Objects in Peer-to-Peer Systems. (cover story)

Authors: Kalogeraki, Vana Chen, Fang

Source: IEEE Network; Jan/Feb2004, Vol. 18 Issue 1, p22-29, 8p

Subject Terms: MIDDLEWARE, ARCHITECTURE, DISTRIBUTED computing, APPLICATION software, REAL-time programming, QUALITY of service

Evaluating Point-Based POMDP Solvers on Multicore Machines.

Authors: Shani, Guy

Source: IEEE Transactions on Systems, Man & Cybernetics: Part B; Aug2010, Vol. 40 Issue 4, p1062-1074, 13p

Subject Terms: MARKOV processes, PARALLEL computers, MULTICORE processors, ALGORITHMS, COMPUTERS

A Market-Based Optimization Algorithm for Distributed Systems.

Authors: Zhiling Guo Koehler, Gary J. Whinston, Andrew B.

Source: Management Science; Aug2007, Vol. 53 Issue 8, p1345-1358, 14p, 3 Charts

Subject Terms: MANAGEMENT science research, RESOURCE allocation, MATHEMATICAL optimization, ALGORITHMS, SYSTEM analysis, PROBLEM solving

Inference Based on Notifications: A Holonic Metamodel Applied to Control Issues.

Authors: Simão, Jean Marcelo Stadzisz, Paulo Cézar

Source: IEEE Transactions on Systems, Man & Cybernetics: Part A; Jan2009, Vol. 39 Issue 1, p238-250, 13p, 3 Black and White Photographs, 10 Charts

Subject Terms: COMPUTER interfaces, COMPUTER software, COMPUTER systems, RULE-based programming, AGILE software development, INFERENCE (Logic), DECISION making

A modular drinking philosophers algorithm.

Authors: Welch, Jennifer Lynch, Nancy

Source: Distributed Computing; Jul1993, Vol. 6 Issue 4, p233-244, 12p

BBN's Network Computing Software Infrastructure and Distributed Applications (1970-1990).

Authors: Schantz, Richard E.

Source: IEEE Annals of the History of Computing; Jan-Mar2006, Vol. 28 Issue 1, p72-88, 17p

Subject Terms: HETEROGENEOUS distributed computing, DISTRIBUTED operating systems (Computers), NETWORK operating system, EMAIL, PACKET switching, SYSTEMS software, COMPUTER operating systems, COMPUTER networks

Company/Entity: BOLT Beranek & Newman Inc.

Decentralization of process nets with centralized control.

Authors: Back, R. Kurki-Suonio, R.

Source: Distributed Computing; Jun1989, Vol. 3 Issue 2, p73-87, 15p

Image composition schemes for sort-last polygon rendering on 2D mesh multicomputers.

Authors: Tong-Yee Lee Raghavendra, C.S. Nicholas, J.B.

Source: IEEE Transactions on Visualization & Computer Graphics; 1996, Vol. 2 Issue 3, p202-217, 16p

Middleware support for mobile applications.

Authors: Fjellheim, Tore Milliner, Stephen Dumas, Marlon

Source: International Journal of Pervasive Computing & Communications; Jun2005, Vol. 1 Issue 2, p75-88, 14p

The Unified Modeling Language. <>'98: Beyond the Notation : First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers

Authors: Jean Bezivin Pierre-Alain Muller

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General

A rigorous method for the constructive design of parallel and distributed programs.

Authors: Justo, G.R.R.

Source: Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences; 1995, Issue 2, p319-319, 1p