Search Results - concurrent program- ming—distributed (programming OR programing) 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

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

Energy Development

Authors: Qun Jie Xu Yong Guang Li Xiu Yang

Resource Type: eBook.

Subjects: Energy development--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Applied Mechanics and Mechatronics Automation

Authors: Xiang Hong Huang Xin You Huang Hong Kui Mao et al.

Resource Type: eBook.

Subjects: Mechatronics--Congresses, Mechatronics--Automation--Congresses, Microelectromechanical systems--Automation--Congresses, Mechanics, Applied--Congresses, Automation--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Engineering Materials, Energy, Management and Control

Authors: Zhihua Xu Gang Shen Sally Lin

Resource Type: eBook.

Subjects: Power resources--Congresses, Materials science--Congresses, Power (Mechanics)--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Software Architectures

Authors: Leonor Barroca Jon Hall Patrick Hall

Resource Type: eBook.

Subjects: Software engineering, Business information services

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

Intelligent Agents and Their Applications

Authors: Zhengxin Chen Nikhil Ichalkaranje

Resource Type: eBook.

Subjects: Artificial intelligence, Computer-aided engineering, Electrical engineering

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, TECHNOLOGY & ENGINEERING / Electrical

Applied and Computational Control, Signals, and Circuits

Authors: Biswa N. Datta

Resource Type: eBook.

Subjects: Electrical engineering, Computer science, Microprogramming, Control engineering, Robotics, Automation, Electronic circuits

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Algebraic Engineering - Proceedings Of The First International Conference On Semigroups And Algebraic Eng And Workshop On For

Authors: Chrystopher L Nehaniv Masami Ito

Resource Type: eBook.

Subjects: Semigroups--Congresses, Formal languages--Congresses, Machine theory--Congresses

Categories: MATHEMATICS / Algebra / General, MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / Engineering (General)

Intensional Programming I: Based On The Papers At Islip '95

Authors: E A Ashcroft Mehmet A Orgun

Resource Type: eBook.

Subjects: Computer programming

Categories: COMPUTERS / Programming / General

Persistent Object Systems

Authors: Malcolm Atkinson David Maier Veronique Benzaken

Resource Type: eBook.

Subjects: Object-oriented databases--Congresses, Object-oriented programming (Computer science)--

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

Formal Methods for Open Object-based Distributed Systems

Authors: Howard Bowman John Derrick

Resource Type: eBook.

Subjects: Computer networks, Signal processing

Categories: COMPUTERS / Networking / General, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Formal Methods for Open Object-based Distributed Systems

Authors: Elie Najm Jean-Bernard Stefani

Resource Type: eBook.

Subjects: Software engineering, Computer networks, Signal processing

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Networking / General, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Modern Software Tools for Scientific Computing

Authors: A. Bruaset E. Arge Hans Petter Langtangen

Resource Type: eBook.

Subjects: Software engineering, Numerical analysis, Computer science—Mathematics, Computer software, Mathematics—Data processing

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Mathematical & Statistical Software, MATHEMATICS / Applied, MATHEMATICS / Numerical Analysis

Frontiers of Combining Systems

Authors: F. Baader K.U. Schulz

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical--Congresses, Computer science--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Speech & Audio Processing, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, MATHEMATICS / Algebra / General, PHILOSOPHY / Logic