Search results for "message-passing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
46	David A. Wood 0001, Mark D. Hill, James R. Larus	The Tempest approach to distributed shared memory.	ICCD	1996	DBLP DOI BibTeX RDF	Tempest interface, parallel programs, message passing, message passing, shared memory, distributed shared memory, Tempest
46	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
46	Dieter Gollmann	What do We Mean by Entity Authentication?	S&P	1996	DBLP DOI BibTeX RDF	authentication protocol design, message passing protocols, high-level objectives, protocol specification abstraction level, cryptographic function, formal specification, cryptography, protocols, message passing, encryption, communication protocols, message authentication, entity authentication
46	Guillermo P. Trabado, Emilio L. Zapata	Exploiting locality on parallel irregular problem computations.	PDP	1995	DBLP DOI BibTeX RDF	parallel irregular problem, average case distributions, run-time library, DDLY, parallel input/output, parallel programming, locality, message passing, message passing, irregular problems, data access patterns
46	Sekhar R. Sarukkai, Jerry C. Yan, Melisa Schmidt	Automated instrumentation and monitoring of data movement in parallel programs.	IPPS	1995	DBLP DOI BibTeX RDF	data-structure alignments, inter-processor data-structure interactions, compiler front end tools, tracking data-structure movements, NAS benchmarks, parallel programming, parallel programs, data structures, message passing, data flow analysis, software performance evaluation, program diagnostics, performance tools, message passing programs, inter-processor communications, data movement
46	Honesty C. Young, Arun N. Swami	The parameterized Round-Robin partitioned algorithm for parallel external sort.	IPPS	1995	DBLP DOI BibTeX RDF	parameterized Round-Robin partitioned algorithm, parallel external sort, partition key values, parallel algorithms, computational complexity, complexity, message passing, sorting, coding, data prefetch, sort algorithm, message passing architecture
46	Guy Edjlali, Gagan Agrawal, Alan Sussman, Joel H. Saltz	Data parallel programming in an adaptive environment.	IPPS	1995	DBLP DOI BibTeX RDF	adaptive environment, loop bounds, runtime library, multiblock Navier-Stokes solver, parallel programming, message passing, message passing, programming environments, network of workstations, PVM, communication patterns, runtime support, data redistribution, data parallel programming, performance results
46	Douglas V. Hall, Michael A. Driscoll	Hardware for fast global operations on multicomputers.	IPPS	1995	DBLP DOI BibTeX RDF	fast global operations, secondary network, wide-tree topology, coordination processors, message-passing-only multicomputer, global reduction, collective communication operations, workstation cluster multicomputers, Big Iron type multicomputers, overall system cost, simulation, performance evaluation, modeling, synchronization, broadcasting, virtual machines, message passing, multiprocessor interconnection networks, local area networks, parallel machines, hardware, synchronisation, distributed memory systems, multicomputers, workstations, performance gain
46	Larry Carter, Jeanne Ferrante, Susan Flynn Hummel	Hierarchical tiling for improved superscalar performance.	IPPS	1995	DBLP DOI BibTeX RDF	hierarchical tiling, superscalar performance, inner-loop performance, compiler phases, scalar replacement, storage mapping, superscalar pipelined processors, automatic preprocessor, performance evaluation, parallel processing, parallelization, message passing, message passing, register allocation, instruction scheduling, optimizing compiler, data locality, archival storage
46	Ching-Farn Eric Wu, Yew-Huey Liu, Yarsun Hsu	Timestamp consistency and trace-driven analysis for distributed parallel systems.	IPPS	1995	DBLP DOI BibTeX RDF	IBM computers, timestamp consistency, trace-driven analysis, distributed parallel systems, continuous event data stream, parallel program execution progress, separate streams, logical event order, local clock discrepancy, performance analysis techniques, IBM SPn systems, system events, minimal trace overhead, trace-driven analysis tools, NAS kernel benchmarks, performance evaluation, parallel processing, message passing, message passing, timing, parallel machines, clocks, system monitoring, integrated approach, multiple processors
46	Yang Zeng, Santosh G. Abraham	Partitioning regular grid applications with irregular boundaries for cache-coherent multiprocessors.	IPPS	1995	DBLP DOI BibTeX RDF	partitioning regular grid applications, irregular boundaries, cache-coherent multiprocessors, regular grid, domain decomposition techniques, message passing multiprocessors, false coherency traffic, cache line, coalescing algorithm, domain decomposition algorithm, Indian Ocean circulation application, KSR1 multiprocessor, coherency traffic, message passing, multiprocessing systems, interprocessor communication
46	Mark Aldred, Ilya Gertner, Stephen McKellar	A distributed lock manager on fault tolerant MPP.	HICSS (1)	1995	DBLP DOI BibTeX RDF	distributed lock manager, fault tolerant MPP, Oracle Parallel Server, MPP UNIX system, resource locks, distributed message passing, global memory, reflective memory, Encore Infinity 90 architecture, shared memory style DLM, DLM recovery, Oracle session, node repair, MPP Unix, reliability, parallel programming, fault tolerant computing, message passing, Unix, shared memory systems, software fault tolerance, operating systems (computers)
46	Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva	A portable ATPG tool for parallel and distributed systems.	VTS	1995	DBLP DOI BibTeX RDF	portable ATPG tool, memory critical problems, electronic CAD, code portability, PVM library, DEC Alpha AXP, genetic algorithms, genetic algorithm, distributed systems, parallel architectures, parallel architectures, logic testing, message passing, integrated circuit testing, sequential circuits, sequential circuits, automatic testing, logic CAD, parallel systems, software portability, message-passing libraries, CM-5
46	Adam Ferrari, Vaidy S. Sunderam	TPVM: Distributed Concurrent Computing with Lighweight Processes.	HPDC	1995	DBLP DOI BibTeX RDF	TPVM, distributed concurrent computing, lightweight processes, threads-oriented PVM, experimental auxiliary subsystem, library interface, explicit message passing model, data-driven scheduling model, SPMD-style algorithms, scheduling, scheduling, load balance, parallel processing, parallelism, message passing, data dependencies, processor utilization
46	Gregory Davies, Norman S. Matloff	Network-Specific Performance Enhancements for PVM.	HPDC	1995	DBLP DOI BibTeX RDF	network-specific performance enhancements, message-passing software system, Ethernet-based systems, broadcast capability, concurrent tasks, program speed, programmed backoff, parallel processing, parallel processing, message passing, local area networks, PVM
46	Michael González Harbour, Mark H. Klein, John P. Lehoczky	Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	periodic task set, fixed-priority methods, serially executed subtasks, complex priority structure, nonpreemptible sections, scheduling, schedulability, real-time systems, robots, robotics, message passing, interrupts, interrupts, timing analysis, execution time, hard real-time systems, fixed-priority scheduling, precedence constraints, periodic tasks, message-passing systems, synchronization protocols, uniprocessor
46	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
46	Barbara Liskov, Liuba Shrira, John Wroclawski	Efficient At-Most-Once Messages Based on Synchronized Clocks.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF	at-most-once message passing, message-passing protocols, synchronized clocks, remote procedure calls
45	Scott Pakin	Receiver-initiated message passing over RDMA Networks.	IPDPS	2008	DBLP DOI BibTeX RDF
45	Jesper Larsson Träff	A Simple Work-Optimal Broadcast Algorithm for Message-Passing Parallel Systems.	PVM/MPI	2004	DBLP DOI BibTeX RDF
45	Mi-Young Park, Yong-Kee Jun	Detecting Unaffected Race Conditions in Message-Passing Programs.	PVM/MPI	2004	DBLP DOI BibTeX RDF
45	Ted L. Briggs, John Werth	A Specification Language for Object-Oriented Analysis and Design.	ECOOP	1994	DBLP DOI BibTeX RDF	Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification
44	Micha Hofri	Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.	ACM SIGOPS Oper. Syst. Rev.	1990	DBLP DOI BibTeX RDF
44	Luís Moura Silva, João Gabriel Silva	Using Message Semantics for Fast-Output Commit in Checkpointing-and-Rollback Recovery.	HICSS	1999	DBLP DOI BibTeX RDF	Checkpointing, Message-Logging, Message-passing systems, Crash-Recovery
44	Sanjeev Arora, Constantinos Daskalakis, David Steurer	Message passing algorithms and improved LP decoding.	STOC	2009	DBLP DOI BibTeX RDF	lp decoding, min-sum algorithm, ldpc codes, message-passing algorithms
44	Marc Pérache, Patrick Carribault, Hervé Jourdren	MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption.	PVM/MPI	2009	DBLP DOI BibTeX RDF	Memory consumption, Message passing, High-performance computing, Multithreading
44	Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Experiences Running a Parallel Answer Set Solver on Blue Gene.	PVM/MPI	2009	DBLP DOI BibTeX RDF	Applications based on Message-Passing, Performance evaluation, Answer Set Programming
44	Jeremy Schiff, Dominic Antonelli, Alexandros G. Dimakis, David Chu, Martin J. Wainwright	Robust message-passing for statistical inference in sensor networks.	IPSN	2007	DBLP DOI BibTeX RDF	reweighted belief propagation, sensor networks, statistical inference, message-passing algorithms
44	Levent Guner, Pinar Senkul	Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM.	PVM/MPI	2007	DBLP DOI BibTeX RDF	Message Passing, PVM, Parallel Execution, Apriori, Trie
44	Lei Ni, Aaron Harwood	An Implementation of the Message Passing Interface over an Adaptive Peer-to-Peer Network.	HPDC	2006	DBLP DOI BibTeX RDF	parallel program execution, MPICH-OPeN architecture, adaptive peer-to-peer network, high performance parallel computing, large scale reliable system, Condor standalone checkpoint library, Chandy-Lamport algorithm, adaptive peer-to-peer protocol, MPICH-P4, message passing interface, PlanetLab
44	Francesco Gregoretti, Giuliano Laccetti, Almerico Murli, Gennaro Oliva, Umberto Scafuri	MGF: A Grid-Enabled MPI Library with a Delegation Mechanism to Improve Collective Operations.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Grid computing, MPI, message passing, collective operations, MPICH-G2
44	Sameer Shende, Allen D. Malony, Alan Morris, Felix Wolf 0001	Performance Profiling Overhead Compensation for MPI Programs.	PVM/MPI	2005	DBLP DOI BibTeX RDF	overhead compensation, parallel computing, message passing, analysis, profiling, Performance measurement
44	Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami	Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	message passing, program comprehension, concurrent program, program slicing
44	Marco Scarpa, Salvatore Distefano, Antonio Puliafito	A Parallel Approach for the Solution of Non-Markovian Petri Nets.	PVM/MPI	2003	DBLP DOI BibTeX RDF	Non-Markovian SPN, DPH, message passing MPI, parallel computation
44	Jan Jürjens	A UML statecharts semantics with message-passing.	SAC	2002	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications
44	Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson	Heap architectures for concurrent languages using message passing.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	message passing, garbage collection, erlang, runtime systems, concurrent languages
44	Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami	Predicate-Based Dynamic Slicing of Message Passing Programs.	SCAM	2002	DBLP DOI BibTeX RDF	predicate slice, predicate trace, message passing, program comprehension, Program slicing
44	Ali E. Abdallah, Mark Green	An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms.	ICFEM	2000	DBLP DOI BibTeX RDF	performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms
44	Hermann Mierendorff, Kläre Cassirer, Helmut Schwamborn	Working with MPI Benchmarking Suites on ccNUMA Architectures.	PVM/MPI	2000	DBLP DOI BibTeX RDF	ccNUMA architectures, performance analysis, benchmarking, MPI, message passing
44	José M. Claver	Parallel Wavefront Algorithms Solving Lyapunov Equations for the Cholesky Factor on Message Passing Multiprocessors.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	linear matrix equations, triangular linear systems, message passing mutiprocessors, wavefront algorithms, Control theory, Lyapunov equations
44	N. S. Sundar, S. Jayanthi, P. Sadayappan, Miguel Visbal	An Incremental Methodology for Parallelizing Legacy Stencil Codes on Message-Passing Computers.	ICPP	1999	DBLP DOI BibTeX RDF	Code parallelization, message passing, computational fluid dynamics
44	Eric Hung-Yu Tseng, Jean-Luc Gaudiot	Two Techniques for Static Array Partitioning on Message-Passing Parallel Machines.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Automatic Array Partitioning, Communication-Free, Message-Passing, Parallel Compiler, Data Parallelism
44	Phillip M. Dickens, Philip Heidelberger, David M. Nicol	Parallelized Direct Execution Simulation of Message-Passing Parallel Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Direct execution simulation, synchronization, contention, parallel simulation, MIMD, architectural simulation, message-passing programs
44	Adrian Colbrook, Eric A. Brewer, Chrysanthos Dellarocas, William E. Weihl	Algorithms for Search Trees on Message-Passing Architectures.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Balanced search trees, dictionary abstract data type, query throughput, query response time, parallel algorithms, message-passing architectures, linear processor array
44	Jean-Yves Le Gall, François Simon	MUSE: a Message Passing Concurrent Computer for On-Board Space Systems.	CONPAR	1994	DBLP DOI BibTeX RDF	on-board space system, dependability, computer architecture, MIMD architecture, message passing architecture
44	James R. Larus	Compiling for Shared-Memory and Message-Passing Computers.	LOPLAS	1993	DBLP DOI BibTeX RDF	directory protocols, message-passing multiprocessors, compilers, shared-memory multiprocessors, cache coherence, memory systems, parallel programming languages
44	Min-You Wu, Daniel Gajski	Hypertool: A Programming Aid for Message-Passing Systems.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	Hypertool, programming aid, automation concepts, communication primitive insertion, synchronization errors, program quality measures, scheduling, scheduling, software tools, performance estimates, message-passing systems, electronic messaging, critical-path method
43	Masoud Ardakani, Frank R. Kschischang	Properties of optimum binary message-passing decoders.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
43	Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa	Routing and resource discovery in Phoenix Grid-enabled message passing library.	CCGRID	2004	DBLP DOI BibTeX RDF
43	Benedikt Bollig, Martin Leucker	Modelling, Specifying, and Verifying Message Passing Systems.	TIME	2001	DBLP DOI BibTeX RDF
43	Mohammad Banikazemi, Dhabaleswar K. Panda 0001	Can Scatter Communication Take Advantage of Multidestination Message Passing?	HiPC	2000	DBLP DOI BibTeX RDF
43	John Heinlein, Kourosh Gharachorloo, Scott Dresser, Anoop Gupta	Integration of Message Passing and Shared Memory in the Stanford FLASH Multiprocessor.	ASPLOS	1994	DBLP DOI BibTeX RDF
42	Uwe Naumann, Laurent Hascoët, Chris Hill, Paul D. Hovland, Jan Riehme, Jean Utke	A Framework for Proving Correctness of Adjoint Message-Passing Programs.	PVM/MPI	2008	DBLP DOI BibTeX RDF
42	Josep Jorba, Tomàs Margalef, Emilio Luque	Automatic Performance Analysis of Message Passing Applications Using the KappaPI 2 Tool.	PVM/MPI	2005	DBLP DOI BibTeX RDF
42	Stéphane Genaud, Choopan Rattanapoka	A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Java, Peer-to-peer, Middleware, Grid, MPI
42	Markus Bornemann, Rob van Nieuwpoort, Thilo Kielmann	MPJ/Ibis: A Flexible and Efficient Message Passing Platform for Java.	PVM/MPI	2005	DBLP DOI BibTeX RDF
42	Graham E. Fagg, George Bosilca	Advanced Message Passing and Threading Issues.	PVM/MPI	2005	DBLP DOI BibTeX RDF
42	Graciela Román-Alonso, Miguel A. Castro-García, Jorge Buenabad Chávez	Easing Message-Passing Parallel Programming Through a Data Balancing Service.	PVM/MPI	2004	DBLP DOI BibTeX RDF
42	Jack J. Dongarra	Fault Tolerance in Message Passing and in Action.	PVM/MPI	2004	DBLP DOI BibTeX RDF
42	Fernando Guirado, Ana Ripoll, Concepció Roig, Emilio Luque	A Pipeline-Based Approach for Mapping Message-Passing Applications with an Input Data Stream.	PVM/MPI	2004	DBLP DOI BibTeX RDF
42	Emilio Mancini, Massimiliano Rak, Roberto Torella, Umberto Villano	Off-Line Performance Prediction of Message-Passing Applications on Cluster Systems.	PVM/MPI	2003	DBLP DOI BibTeX RDF
42	Norhashidah Hj. Mohd. Ali, Rosni Abdullah, Jun Lee Kok	Explicit Groupt Iterative Solver on a Message Passing Environment.	PVM/MPI	2003	DBLP DOI BibTeX RDF
42	Dieter Kranzlmüller, Martin Schulz 0001	Notes on Nondeterminism in Message Passing Programs.	PVM/MPI	2002	DBLP DOI BibTeX RDF
42	Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert	An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs.	PVM/MPI	2001	DBLP DOI BibTeX RDF
42	Jesus A. González, Coromoto León, Casiano Rodríguez, Francisco de Sande	A Model to Integrate Message Passing and Shared Memory Programming.	PVM/MPI	2001	DBLP DOI BibTeX RDF
42	Nenad Stankovic, Kang Zhang 0001	Native Versus Java Message Passing.	PVM/MPI	1999	DBLP DOI BibTeX RDF
42	Marian Bubak, Wlodzimierz Funika, Kamil Iskra, Radoslaw Maruszewski, Roland Wismüller	Enhancing the Functionality of Performance Measurement Tools for Message Passing Environments.	PVM/MPI	1999	DBLP DOI BibTeX RDF
42	Thomas Nitsche 0001, Wolfram Webers	Functional Message Passing with OPAL-MPI.	PVM/MPI	1998	DBLP DOI BibTeX RDF
42	John Yiannis Cotronis	Developing Message-Passing Applications on MPICH under Ensemble.	PVM/MPI	1998	DBLP DOI BibTeX RDF
42	Krassimir Georgiev, Zahari Zlatev	Running an Advection-Chemistry Code on Message Passing Computers.	PVM/MPI	1998	DBLP DOI BibTeX RDF
42	José Marinho 0001, João Gabriel Silva	WMPI - Message Passing Interface for Win32 Clusters.	PVM/MPI	1998	DBLP DOI BibTeX RDF
42	Ranieri Baraglia, Renato Ferrini, Domenico Laforenza, R. Sgherri	A Tool for the Development of Meta-Applications Supporting Several Message-Passing Programming Environments.	PVM/MPI	1998	DBLP DOI BibTeX RDF
42	Wojtek Goscinski, David Abramson 0001	Motor: A Virtual Machine for High Performance Computing.	HPDC	2006	DBLP DOI BibTeX RDF	system library, Motor MPI library, high performance message passing library, virtual environment, virtual machine, high performance computing, garbage collection, grid environment, virtual infrastructure
42	Zhiyi Huang 0001, Martin K. Purvis, Paul Werstein	Performance Comparison between VOPP and MPI.	PDCAT	2005	DBLP DOI BibTeX RDF	View-based Consistency, View-Oriented Parallel Programming, Message Passing Interface, Cluster Computing, Distributed Shared Memory
42	Rolf Rabenseifner	Optimization of Collective Reduction Operations.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	MPI, Message Passing, Reduction, Collective Operations
42	Kenneth A. Hawick, Heath A. James	A Java-Based Parallel Programming Support Environment.	HPCN	2000	DBLP DOI BibTeX RDF	multi-paradigm support, Java, Message passing, programming environments, metacomputing
42	Gheith A. Abandah, Edward S. Davidson	Modeling the Communication Performance of the IBM SP2.	IPPS	1996	DBLP DOI BibTeX RDF	Performance Evaluation, Parallel Processing, Message Passing, Performance Models, Multicomputers, Communication Performance, IBM SP2
42	Michael Harry, Juan Miguel del Rosario, Alok N. Choudhary	VIP-FS: a VIrtual, Parallel File System for high performance parallel and distributed computing.	IPPS	1995	DBLP DOI BibTeX RDF	VIP-FS, heterogeneous network environments, multiprocessor machines, parallel processing, parallel computing, distributed computing, high performance, distributed file system, file organisation, virtual storage, message-passing libraries
42	Jiannong Cao 0001, Xinyu Feng 0001, Jian Lu 0001, Henry C. B. Chan, Sajal K. Das 0001	Reliable message delivery for mobile agents: push or pull?	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
41	Roland Wismüller	Debugging Message Passing Programs Using Invisible Message Tags.	PVM/MPI	1997	DBLP DOI BibTeX RDF
41	Jiun-Ming Hsu, Prithviraj Banerjee	A message passing coprocessor for distributed memory multicomputers.	SC	1990	DBLP DOI BibTeX RDF
41	Basile Schaeli, Roger D. Hersch	Dynamic testing of flow graph based parallel applications.	PADTAD	2008	DBLP DOI BibTeX RDF
40	Amir Hamed Mohsenian Rad, Jianwei Huang 0001, Mung Chiang, Vincent W. S. Wong 0001	Utility-optimal random access without message passing.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
40	François Bonnet 0001, Michel Raynal	Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road?	SSS	2009	DBLP DOI BibTeX RDF
40	Martin Biely, Peter Robinson 0002, Ulrich Schmid 0001	Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement.	OPODIS	2009	DBLP DOI BibTeX RDF
40	Nikos Komodakis, Nikos Paragios, Georgios Tziritas	MRF Optimization via Dual Decomposition: Message-Passing Revisited.	ICCV	2007	DBLP DOI BibTeX RDF
40	SeungJun Bang, JinHo Ahn	Implementation and Performance Evaluation of Socket and RMI based Java Message Passing Systems.	SERA	2007	DBLP DOI BibTeX RDF
40	Mauricio Marín, Veronica Gil-Costa	(Sync\|Async)+ MPI Search Engines.	PVM/MPI	2007	DBLP DOI BibTeX RDF
40	Igor Grudenic, Nikola Bogunovic	Modeling and Verification of MPI Based Distributed Software.	PVM/MPI	2006	DBLP DOI BibTeX RDF	MPI software modeling, MPI software verification, abstract state machines (ASMs)
40	Yu Lei, W. Eric Wong	A Novel Framework for Non-Deterministic Testing of Message-Passing Programs.	HASE	2005	DBLP DOI BibTeX RDF
40	Jérémie Chalopin, Yves Métivier	A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs.	MFCS	2005	DBLP DOI BibTeX RDF
40	Gábor Dózsa	High Performance Application Execution Scenarios in P-GRADE.	PVM/MPI	2004	DBLP DOI BibTeX RDF
40	Jesper Larsson Träff	SMP-Aware Message Passing Programming.	HIPS	2003	DBLP DOI BibTeX RDF
40	Lie-Quan Lee, Andrew Lumsdaine	The Generic Message Passing Framework.	IPDPS	2003	DBLP DOI BibTeX RDF
40	Jesper Larsson Träff	SMP-Aware Message Passing Programming.	IPDPS	2003	DBLP DOI BibTeX RDF
40	Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou	OpenMP for Adaptive Master-Slave Message Passing Applications.	ISHPC	2003	DBLP DOI BibTeX RDF
40	Sriram K. Rajamani, Jakob Rehof	Conformance Checking for Models of Asynchronous Message Passing Software.	CAV	2002	DBLP DOI BibTeX RDF
40	Daniel Gajski, Junyu Peng	Optimal Message-Passing for Data Coherency in Distributed Architecture.	ISSS	2002	DBLP DOI BibTeX RDF	architecture refinement, automatic variable refinement, system level design
40	Gurdip Singh, Ye Su	Region Synchronization in Message Passing Systems.	ICPP	2002	DBLP DOI BibTeX RDF
40	Eduardo Javier Huerta Yero, Marco Aurélio Amaral Henriques, Javier R. Garcïa, Alina C. Leyva	JOINT: An Object Oriented Message Passing Interface for Parallel Programming in Java.	HPCN	2001	DBLP DOI BibTeX RDF