Suchergebnisse - concurrent program- (ming—distributed OR ing—distributed) programming general terms algorithms~

An Efficient MPI Allgather for Grids ∗

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

Weitere Verfasser: Rakhi Gupta Sathish Vadhiyar The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

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

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

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

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

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

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Thierry Gautier Xavier Besseron Laurent Pigeon et al.

Weitere Verfasser: Thierry Gautier Xavier Besseron Laurent Pigeon et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

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

Schlagwörter: 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.

Autoren: Chehgdu Huang Abdelzaher, Tarek

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

Schlagwörter: ALGORITHMS, COMPUTER programming, ANT algorithms, COMPUTER networks, DATA transmission systems, DIGITAL communications

Formally specifying CARA in Java.

Autoren: Stark, Eugene W.

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

Schlagwörter: 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.

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

Quelle: 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

Schlagwörter: 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.

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

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

Schlagwörter: WEB services, PIXELS, PRODUCTION scheduling, INTERNET industry, APPLICATION software

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

Autoren: Kalogeraki, Vana Chen, Fang

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

Schlagwörter: MIDDLEWARE, ARCHITECTURE, DISTRIBUTED computing, APPLICATION software, REAL-time programming, QUALITY of service

Evaluating Point-Based POMDP Solvers on Multicore Machines.

Autoren: Shani, Guy

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

Schlagwörter: MARKOV processes, PARALLEL computers, MULTICORE processors, ALGORITHMS, COMPUTERS

A Market-Based Optimization Algorithm for Distributed Systems.

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

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

Schlagwörter: MANAGEMENT science research, RESOURCE allocation, MATHEMATICAL optimization, ALGORITHMS, SYSTEM analysis, PROBLEM solving

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

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

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

Schlagwörter: COMPUTER interfaces, COMPUTER software, COMPUTER systems, RULE-based programming, AGILE software development, INFERENCE (Logic), DECISION making

A modular drinking philosophers algorithm.

Autoren: Welch, Jennifer Lynch, Nancy

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

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

Autoren: Schantz, Richard E.

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

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

Firma/Körperschaft: BOLT Beranek & Newman Inc.

Decentralization of process nets with centralized control.

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

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

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

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

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

Middleware support for mobile applications.

Autoren: Fjellheim, Tore Milliner, Stephen Dumas, Marlon

Quelle: 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

Autoren: Jean Bezivin Pierre-Alain Muller

Resource Type: eBook.

Schlagworte: 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.

Autoren: Justo, G.R.R.

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