BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
message passing
Google message passing

Tag #message passing

125 papers:

IFM-2019-OortwijnH #abstraction #automation #concurrent #verification
Practical Abstractions for Automated Verification of Message Passing Concurrency (WO, MH), pp. 399–417.
CIKMCIKM-2019-VakulenkoGPRC #graph
Message Passing for Complex Question Answering over Knowledge Graphs (SV, JDFG, AP, MdR, MC), pp. 1431–1440.
PLDIPLDI-2019-ScalasYB #behaviour #source code #verification
Verifying message-passing programs with dependent behavioural types (AS, NY, EB), pp. 502–516.
ASPLOSASPLOS-2019-TangZQC #architecture #named #performance
pLock: A Fast Lock for Architectures with Explicit Inter-core Message Passing (XT, JZ, XQ, WC), pp. 765–778.
ICMLICML-2018-MaXM #approximate #optimisation
Approximate message passing for amplitude based optimization (JM0, JX, AM), pp. 3371–3380.
ICMLICML-2018-WangZ0 #modelling #visual notation
Stein Variational Message Passing for Continuous Graphical Models (DW, ZZ, QL0), pp. 5206–5214.
ICMLICML-2018-ZhuoLSZCZ
Message Passing Stein Variational Gradient Descent (JZ, CL0, JS, JZ0, NC, BZ0), pp. 6013–6022.
ICPRICPR-2018-RibaFLF #graph #learning #network
Learning Graph Distances with Message Passing Neural Networks (PR, AF0, JL0, AF), pp. 2239–2244.
PPDPPPDP-2018-SulzmannS #dynamic analysis #source code
Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks (MS, KS), p. 13.
ICSE-2018-LangeNTY #behaviour #framework #using #verification
A static verification framework for message passing in Go using behavioural types (JL, NN, BT, NY), pp. 1137–1148.
CASECASE-2018-SommerSFS #industrial #middleware
Message-oriented Middleware for Industrial Production Systems (PS, FS, MF, JS), pp. 1217–1223.
CAVCAV-2018-BouajjaniEJQ #bound #on the #source code #verification
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony (AB, CE, KJ, SQ), pp. 372–391.
ICMLICML-2017-GilmerSRVD #quantum
Neural Message Passing for Quantum Chemistry (JG, SSS, PFR, OV, GED), pp. 1263–1272.
ICMLICML-2016-RavanbakhshPG #matrix
Boolean Matrix Factorization and Noisy Completion via Message Passing (SR, BP, RG), pp. 945–954.
ESOPESOP-2016-Summers0 #composition #source code #verification
Actor Services - Modular Verification of Message Passing Programs (AJS, PM0), pp. 699–726.
ICMLICML-2015-ManoelKTZ #approximate #estimation
Swept Approximate Message Passing for Sparse Estimation (AM, FK, EWT, LZ), pp. 1123–1132.
ICMLICML-2015-SunSK #modelling #visual notation
Message Passing for Collective Graphical Models (TS, DS, AK), pp. 853–861.
OOPSLAOOPSLA-2015-LopezMMNSVY #parallel #source code #verification
Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
OOPSLAOOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #thread #virtual machine
Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.
ASEASE-2015-WangD #architecture #behaviour #using
A Message-Passing Architecture without Public Ids Using Send-to-Behavior (ESSW, ZD), pp. 902–905.
SIGMODSIGMOD-2014-GurajadaSMT #distributed #named #rdf
TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.
PDPPDP-2014-BaudischBS #communication #source code
Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs (DB, YB, KS), pp. 444–451.
PDPPDP-2014-BuonoMMV #architecture #hardware #manycore #optimisation #thread #using
Optimizing Message-Passing on Multicore Architectures Using Hardware Multi-threading (DB, TDM, GM, MV), pp. 262–270.
PDPPDP-2014-NaughtonEVB #development #simulation #using
Supporting the Development of Resilient Message Passing Applications Using Simulation (TN, CE, GV, SB), pp. 271–278.
PDPPDP-2014-SeccoUPT #parallel #runtime
Message Passing on InfiniBand RDMA for Parallel Run-Time Supports (AS, IU, GPP, MT), pp. 130–137.
PPoPPPPoPP-2014-PetrovicRS #concurrent #hardware #performance #thread
Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
VMCAIVMCAI-2014-JezequelE #algorithm #distributed #protocol #verification
Message-Passing Algorithms for the Verification of Distributed Protocols (LJ, JE), pp. 222–241.
ICMLICML-c2-2013-WangK13a #approach #problem
Subproblem-Tree Calibration: A Unified Approach to Max-Product Message Passing (HW, DK), pp. 190–198.
ICMLICML-c3-2013-QiG
Message passing with l1 penalized KL minimization (YQ, YG), pp. 262–270.
SASSAS-2013-MajumdarMW #source code #verification
Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.
CSLCSL-2013-Kuusisto #automaton #distributed #logic
Modal Logic and Distributed Message Passing Automata (AK), pp. 452–468.
ICSTSAT-2013-Gableske #heuristic #on the #satisfiability
On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
ISMMISMM-2012-LyberisPNSGS #memory management
The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces (SL, PP, DSN, MS, TG, BRdS), pp. 15–24.
PDPPDP-2012-CastilloFMQR #algebra #analysis #energy #kernel #linear
Analysis of Strategies to Save Energy for Message-Passing Dense Linear Algebra Kernels (MC, JCF, RM, ESQO, VR), pp. 346–352.
TACASTACAS-2012-BouajjaniE #analysis #bound #source code
Bounded Phase Analysis of Message-Passing Programs (AB, ME), pp. 451–465.
VMCAIVMCAI-2012-MorseVMM #c #modelling #source code
Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
EDOCEDOC-2011-Halle #contract #logic
Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.
ICMLICML-2011-KnowlesGG #algorithm
Message Passing Algorithms for the Dirichlet Diffusion Tree (DAK, JVG, ZG), pp. 721–728.
PADLPADL-2011-Brown #combinator #haskell
Combinators for Message-Passing in Haskell (NCCB), pp. 19–33.
PADLPADL-2011-ChristakisS #detection #fault #static analysis #using
Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
SACSAC-2011-BoixNCMD #debugging #named
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.
PPoPPPPoPP-2011-NegaraKA #performance
Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.
ESOPESOP-2011-BonoMP #type system
Typing Copyless Message Passing (VB, CM, LP), pp. 57–76.
VMCAIVMCAI-2011-SiegelG #analysis #formal method
Formal Analysis of Message Passing — (SFS, GG), pp. 2–18.
ICEISICEIS-SAIC-2010-Kristensen #abstraction #collaboration #using
Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.
FSEFSE-2010-HalleB #analysis #interactive #using
Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.
DATEDATE-2010-TotaCRRZ #architecture #hybrid #multi #named
MEDEA: a hybrid shared-memory/message-passing multiprocessor NoC-based architecture (ST, MRC, MRR, LR, MZ), pp. 45–50.
STOCSTOC-2010-Montanari #algorithm
Message passing algorithms: a success looking for theoreticians (AM), pp. 37–38.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
SACSAC-2009-KrocSS #heuristic #satisfiability
Message-passing and local heuristics as decimation strategies for satisfiability (LK, AS, BS), pp. 1408–1414.
CGOCGO-2009-Bronevetsky #data flow #parallel
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
PDPPDP-2009-MallonTTD #benchmark #implementation #java #metric #named #parallel
NPB-MPJ: NAS Parallel Benchmarks Implementation for Message-Passing in Java (DAM, GLT, JT, RD), pp. 181–190.
PDPPDP-2009-TuFZZ #clustering #manycore #modelling
Accurate Analytical Models for Message Passing on Multi-core Clusters (BT, JF, JZ, XZ), pp. 133–139.
STOCSTOC-2009-AroraDS #algorithm
Message passing algorithms and improved LP decoding (SA, CD, DS), pp. 3–12.
SEFMSEFM-2008-BhatejaM #testing
Tagging Make Local Testing of Message-Passing Systems Feasible (PB, MM), pp. 171–180.
EDOCEDOC-2008-HalleV #monitoring #runtime #workflow
Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
ICMLICML-2008-RavikumarAW #convergence #linear #source code
Message-passing for graph-structured linear programs: proximal projections, convergence and rounding schemes (PDR, AA, MJW), pp. 800–807.
SACSAC-2008-CeriottiMP #case study
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.
DATEDATE-2008-EdwardsVT #compilation #concurrent #memory management #multi #programming #thread
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads (SAE, NV, OT), pp. 1498–1503.
DATEDATE-2008-SahaSPBW #framework #implementation #parallel
An Optimized Message Passing Framework for Parallel Implementation of Signal Processing Applications (SS, JS, SP, SSB, WW), pp. 1220–1225.
LATALATA-2007-BolligK #automaton #logic
Muller Message-Passing Automata and Logics (BB, DK), pp. 163–174.
EDOCEDOC-2007-Molina-JimenezSC #consistency #implementation #middleware #using
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware (CMJ, SKS, NC), pp. 51–62.
ICMLICML-2007-KimC #algorithm #geometry
Neighbor search with global geometry: a minimax message passing algorithm (KHK, SC), pp. 401–408.
TOOLSTOOLS-EUROPE-2007-VallejosCBMDM
The Message-Oriented Mobility Model (JV, TVC, EGB, SM, JD, WDM), pp. 363–382.
POPLPOPL-2007-ReppyX
Specialization of CML message-passing primitives (JHR, YX), pp. 315–326.
PDPPDP-2007-Baz #algorithm #analysis #architecture #communication #implementation #parallel
Communication Study and Implementation Analysis of Parallel Asynchronous Iterative Algorithms on Message Passing Architectures (DEB), pp. 77–83.
HPDCHPDC-2006-NiH #adaptation #implementation #interface #network #peer-to-peer
An Implementation of the Message Passing Interface over an Adaptive Peer-to-Peer Network (LN, AH), pp. 371–372.
TACASTACAS-2006-ChakiCKRT #c #concurrent #recursion #source code #verification
Verifying Concurrent Message-Passing C Programs with Recursive Calls (SC, EMC, NK, TWR, TT), pp. 334–349.
SEKESEKE-2005-SouzaVSSGLH #named #parallel #source code #testing
ValiPar: A Testing Tool for Message-Passing Parallel Programs (SdRSdS, SRV, PSLdS, AdSS, TBG, AdML, ACH), pp. 386–391.
SACSAC-2005-Rosso #analysis #framework #paradigm #performance #scalability
Performance analysis framework for large software-intensive systems with a message passing paradigm (CDR), pp. 885–889.
DATEDATE-2005-FrancescoAM #architecture #distributed #flexibility #hardware #memory management
Flexible Hardware/Software Support for Message Passing on a Distributed Shared Memory Architecture (FP, AP, PM), pp. 736–741.
IFLIFL-2004-Cristobal-SalasCRG #program transformation #source code
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations (ACS, AC, ERA, JLG), pp. 1–16.
CSLCSL-2004-EmersonK #model checking
Parameterized Model Checking of Ring-Based Message Passing Systems (EAE, VK), pp. 325–339.
VMCAIVMCAI-2003-MeenakshiR #reasoning
Reasoning about Layered Message Passing Systems (BM, RR), pp. 268–282.
SCAMSCAM-2002-RillingLG #slicing #source code
Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.
POPLPOPL-2002-ChakiRR #model checking #modelling #source code
Types as models: model checking message-passing programs (SC, SKR, JR), pp. 45–57.
SACSAC-2002-Jurjens #semantics #uml
A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.
ISMMISMM-2002-JohanssonSW #architecture #concurrent #using
Heap architectures for concurrent languages using message passing (EJ, KFS, JW), pp. 195–206.
PDPPDP-2002-SeinstraK #layout #memory management #modelling #source code
Incorporating Memory Layout in the Modeling of Message Passing Programs (FJS, DK), pp. 293–300.
CAVCAV-2002-RajamaniR #consistency #modelling
Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.
PDPPDP-2001-CuencaGG #algebra #algorithm #behaviour #linear #modelling
Modeling the Behaviour of Linear Algebra Algorithms with Message-Passing (JC, DG, JG), pp. 282–289.
PDPPDP-2001-GetovWLT #evaluation #java #performance
Message-Passing Computing with Java: Performance Evaluation and Comparisons (VG, MW, QL, MT), pp. 173–177.
ICALPICALP-2000-MeenakshiR #finite #reasoning
Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.
TOOLSTOOLS-PACIFIC-2000-Silva-LepeCNF #architecture #component #java
Container-Managed Messaging: An Architecture for Integrating Java Components and Message-Oriented Applications (ISL, CFC, PN, DFF), pp. 228–241.
SACSAC-2000-SchimkatMK #lightweight
A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.
PDPPDP-2000-ClaudioCC #debugging #monitoring #visualisation
Monitoring and debugging message passing applications with MPVisualizer (APC, JDC, MBC), pp. 376–382.
PDPPDP-2000-Cotronis #component #reuse
Reusable message passing components (JYC), pp. 398–405.
PDPPDP-2000-GoscinskiHS #operating system #overview #parallel #performance
Performance and transparency of message passing and DSM services within the GENESIS operating system for managing parallelism on COWs (AG, MH, JS), pp. 110–117.
PDPPDP-2000-RoigRSGL #modelling #source code
Modelling message-passing programs for static mapping (CR, AR, MAS, FG, EL), pp. 229–236.
IFMIFM-1999-Hennessy #calculus #process #proving
Proof Systems for Message-Passing Process Calculi (MH), p. 26.
SACSAC-1999-Haynes99a #adaptation
Distributing Collective Adaptation via Message Passing (TH), pp. 501–505.
HPCAHPCA-1999-KuoCK #named
MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing (CCK, JBC, RK), pp. 284–288.
HPDCHPDC-1999-SchnaidtHFKJ #adaptation #independence #monitoring #performance
Passive, Domain-Independent, End-to-End Message Passing Performance Monitoring to Support Adaptive Applications in MSHN (MCS, DAH, JF, TK, DSJ), pp. 337–338.
PDPPDP-1999-TsiatsoulisCF #debugging #specification #testing
Testing and debugging message passing applications based on the synergy of program and specification executions (ZT, JYC, EF), pp. 196–203.
IFLIFL-1998-SerrarensP #concurrent
Explicit Message Passing for Concurrent Clean (PRS, MJP), pp. 229–245.
TOOLSTOOLS-ASIA-1998-Hsiung98a #object-oriented #parallel #synthesis
Parallel Object-Oriented Synthesis Environment Based On Message-Passing (PAH), p. 251–?.
DATEDATE-1998-Putzke-RomingRN #flexibility
A Flexible Message Passing Mechanism for Objective VHDL (WPR, MR, WN), pp. 242–249.
HPDCHPDC-1998-ZhangSL #source code #using
Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks (KZ, CS, KCL), pp. 340–341.
PDPPDP-1998-RodriguezSLG #library #parallel
Providing nested parallelism and load balancing on message passing libraries (CR, FdS, CL, LG), pp. 402–408.
PDPPDP-1998-RonsseK
RoltMP-replay of Lamport timestamps for message passing systems (MR, DK), pp. 87–93.
FMFME-1997-BroyGK #realtime
Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.
PDPPDP-1997-GhoseJS #prototype
Protected, low-latency message passing in the SNOW prototype (KG, AKJ, BTS), pp. 314–321.
HPDCHPDC-1996-ParkHKHY #communication #network #parallel #thread
NYNET Communication System (NCS): A Multithreaded Message Passing Tool over ATM Network (SYP, SH, YK, JSH, RY), pp. 460–469.
HPDCHPDC-1996-RobinsonRFH #implementation #interface #migration
A Task Migration Implementation of the Message-Passing Interface (JR, SHR, BKF, BH), pp. 61–68.
PDPPDP-1996-BekkerD #architecture
Delay-Insensitive Synchronization on a Message-Passing Architecture with an Open Collector Bus (HB, EJD), pp. 75–79.
PDPPDP-1996-KamkarKF #parallel #slicing #source code
Dynamic Slicing of Parallel Message-Passing Programs (MK, PK, PF), pp. 170–178.
SEKESEKE-1995-LinL #model checking #protocol #verification
Formal Verification of a Message-Passing Protocol with Model Checking (AL, FL), pp. 296–302.
ICSEICSE-1995-TaylorMAWR #architecture #component #user interface
A Component- and Message-Based Architectural Style for GUI Software (RNT, NM, KMA, EJWJ, JER), pp. 295–304.
HPDCHPDC-1995-YadavRH #parallel #thread
A Multithreaded Message Passing Environment for ATM LAN/WAN (RY, RR, SH), pp. 238–245.
PDPPDP-1995-TrachosM
A class hierarchy emulating virtual shared objects on message-passing systems (KT, EM), pp. 174–181.
ECOOPECOOP-1994-VitekH #performance
Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.
SACSAC-1994-Bennet #distributed #parallel #runtime #source code
Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs (TB), pp. 510–514.
ASPLOSASPLOS-1994-ChandraLR #question #source code
Where is Time Spent in Message-Passing and Shared-Memory Programs? (SC, JRL, AR), pp. 61–73.
ASPLOSASPLOS-1994-HeinleinGDG #integration #memory management #multi
Integration of Message Passing and Shared Memory in the Stanford FLASH Multiprocessor (JH, KG, SD, AG), pp. 38–50.
TOOLSTOOLS-USA-1993-ChangT
The Object Support via FIFO-Links on Message-Passing Systems (WTC, CCT), pp. 231–238.
HPDCHPDC-1993-HaririPYPF #distributed #interface #parallel
A Message Passing Interface for Parallel and Distributed Computing (SH, JP, FKY, MP, GF), pp. 84–91.
PDPPDP-1993-ClematisT #analysis #distributed #memory management
An analysis of message passing systems for distributed memory computers (AC, OT), pp. 299–306.
PPoPPPPoPP-1993-KranzJAKL #experience
Integrating Message-Passing and Shared-Memory: Early Experience (DAK, KLJ, AA, JK, BHL), pp. 54–63.
CAVCAV-1993-HennessyL #logic #process
A Modal Logic for Message passing Processes (MH, XL), pp. 359–370.
ECOOPECOOP-1992-GuerraouiCLR #protocol
Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.
DACDAC-1992-BoseA #concurrent #fault #logic #memory management #multi #simulation
Concurrent Fault Simulation of Logic Gates and Memory Blocks on Message Passing Multicomputers (SB, PA), pp. 332–335.
OOPSLAOOPSLA-1991-Ghelli #static typing #type system
A Static Type System for Message Passing (GG), pp. 129–145.
DACDAC-1990-Tonkin #multi
Circuit Extraction on a Message-Based Multiprocessor (BAT), pp. 260–265.
SIGMODSIGMOD-1986-Gelder #evaluation #framework #logic #query
A Message Passing Framework for Logical Query Evaluation (AVG), pp. 155–165.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.