Výsledky vyhľadávania - concurrent program- (ming—Distributed OR ing—Distributed) programming general terms algorithms

An Efficient MPI Allgather for Grids ∗

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

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

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

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

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

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Swan Dubois École Polytechnique Fédérale De Rachid Guerraoui a ďalší

Prispievatelia: Swan Dubois École Polytechnique Fédérale De Rachid Guerraoui a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Thierry Gautier Xavier Besseron Laurent Pigeon a ďalší

Prispievatelia: Thierry Gautier Xavier Besseron Laurent Pigeon a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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.

Autori: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

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

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

Autori: Chehgdu Huang Abdelzaher, Tarek

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

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

Formally specifying CARA in Java.

Autori: Stark, Eugene W.

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

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

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

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

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

Autori: VAN SEGHBROECK, GREGORY VOLCKAERT, BRUNO DE TURCK, FILIP a ďalší

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

Predmety: WEB services, PIXELS, PRODUCTION scheduling, INTERNET industry, APPLICATION software

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

Autori: Kalogeraki, Vana Chen, Fang

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

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

Evaluating Point-Based POMDP Solvers on Multicore Machines.

Autori: Shani, Guy

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

Predmety: MARKOV processes, PARALLEL computers, MULTICORE processors, ALGORITHMS, COMPUTERS

A Market-Based Optimization Algorithm for Distributed Systems.

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

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

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

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

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

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

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

A modular drinking philosophers algorithm.

Autori: Welch, Jennifer Lynch, Nancy

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

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

Autori: Schantz, Richard E.

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

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

Korporácia: BOLT Beranek & Newman Inc.

Decentralization of process nets with centralized control.

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

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

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

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

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

Middleware support for mobile applications.

Autori: Fjellheim, Tore Milliner, Stephen Dumas, Marlon

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

Autori: Jean Bezivin Pierre-Alain Muller

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General

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

Autori: Justo, G.R.R.

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