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.
CIKM-2019-VakulenkoGPRC #graph- Message Passing for Complex Question Answering over Knowledge Graphs (SV, JDFG, AP, MdR, MC), pp. 1431–1440.
PLDI-2019-ScalasYB #behaviour #source code #verification- Verifying message-passing programs with dependent behavioural types (AS, NY, EB), pp. 502–516.
ASPLOS-2019-TangZQC #architecture #named #performance- pLock: A Fast Lock for Architectures with Explicit Inter-core Message Passing (XT, JZ, XQ, WC), pp. 765–778.
ICML-2018-MaXM #approximate #optimisation- Approximate message passing for amplitude based optimization (JM0, JX, AM), pp. 3371–3380.
- ICML-2018-WangZ0 #modelling #visual notation
- Stein Variational Message Passing for Continuous Graphical Models (DW, ZZ, QL0), pp. 5206–5214.
- ICML-2018-ZhuoLSZCZ
- Message Passing Stein Variational Gradient Descent (JZ, CL0, JS, JZ0, NC, BZ0), pp. 6013–6022.
ICPR-2018-RibaFLF #graph #learning #network- Learning Graph Distances with Message Passing Neural Networks (PR, AF0, JL0, AF), pp. 2239–2244.
PPDP-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.
CASE-2018-SommerSFS #industrial #middleware- Message-oriented Middleware for Industrial Production Systems (PS, FS, MF, JS), pp. 1217–1223.
CAV-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.
- ICML-2017-GilmerSRVD #quantum
- Neural Message Passing for Quantum Chemistry (JG, SSS, PFR, OV, GED), pp. 1263–1272.
- ICML-2016-RavanbakhshPG #matrix
- Boolean Matrix Factorization and Noisy Completion via Message Passing (SR, BP, RG), pp. 945–954.
ESOP-2016-Summers0 #composition #source code #verification- Actor Services - Modular Verification of Message Passing Programs (AJS, PM0), pp. 699–726.
- ICML-2015-ManoelKTZ #approximate #estimation
- Swept Approximate Message Passing for Sparse Estimation (AM, FK, EWT, LZ), pp. 1123–1132.
- ICML-2015-SunSK #modelling #visual notation
- Message Passing for Collective Graphical Models (TS, DS, AK), pp. 853–861.
OOPSLA-2015-LopezMMNSVY #parallel #source code #verification- Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
- OOPSLA-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.
ASE-2015-WangD #architecture #behaviour #using- A Message-Passing Architecture without Public Ids Using Send-to-Behavior (ESSW, ZD), pp. 902–905.
SIGMOD-2014-GurajadaSMT #distributed #named #rdf- TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.
PDP-2014-BaudischBS #communication #source code- Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs (DB, YB, KS), pp. 444–451.
- PDP-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.
- PDP-2014-NaughtonEVB #development #simulation #using
- Supporting the Development of Resilient Message Passing Applications Using Simulation (TN, CE, GV, SB), pp. 271–278.
- PDP-2014-SeccoUPT #parallel #runtime
- Message Passing on InfiniBand RDMA for Parallel Run-Time Supports (AS, IU, GPP, MT), pp. 130–137.
PPoPP-2014-PetrovicRS #concurrent #hardware #performance #thread- Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
VMCAI-2014-JezequelE #algorithm #distributed #protocol #verification- Message-Passing Algorithms for the Verification of Distributed Protocols (LJ, JE), pp. 222–241.
- ICML-c2-2013-WangK13a #approach #problem
- Subproblem-Tree Calibration: A Unified Approach to Max-Product Message Passing (HW, DK), pp. 190–198.
- ICML-c3-2013-QiG
- Message passing with l1 penalized KL minimization (YQ, YG), pp. 262–270.
SAS-2013-MajumdarMW #source code #verification- Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.
CSL-2013-Kuusisto #automaton #distributed #logic- Modal Logic and Distributed Message Passing Automata (AK), pp. 452–468.
SAT-2013-Gableske #heuristic #on the #satisfiability- On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
ISMM-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.
- PDP-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.
TACAS-2012-BouajjaniE #analysis #bound #source code- Bounded Phase Analysis of Message-Passing Programs (AB, ME), pp. 451–465.
- VMCAI-2012-MorseVMM #c #modelling #source code
- Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
EDOC-2011-Halle #contract #logic- Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.
- ICML-2011-KnowlesGG #algorithm
- Message Passing Algorithms for the Dirichlet Diffusion Tree (DAK, JVG, ZG), pp. 721–728.
PADL-2011-Brown #combinator #haskell- Combinators for Message-Passing in Haskell (NCCB), pp. 19–33.
- PADL-2011-ChristakisS #detection #fault #static analysis #using
- Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
SAC-2011-BoixNCMD #debugging #named- REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.
- PPoPP-2011-NegaraKA #performance
- Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.
- ESOP-2011-BonoMP #type system
- Typing Copyless Message Passing (VB, CM, LP), pp. 57–76.
- VMCAI-2011-SiegelG #analysis #formal method
- Formal Analysis of Message Passing — (SFS, GG), pp. 2–18.
ICEIS-SAIC-2010-Kristensen #abstraction #collaboration #using- Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.
FSE-2010-HalleB #analysis #interactive #using- Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.
DATE-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.
STOC-2010-Montanari #algorithm- Message passing algorithms: a success looking for theoreticians (AM), pp. 37–38.
MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration- Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
- MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration
- Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
- SAC-2009-KrocSS #heuristic #satisfiability
- Message-passing and local heuristics as decimation strategies for satisfiability (LK, AS, BS), pp. 1408–1414.
CGO-2009-Bronevetsky #data flow #parallel- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
- PDP-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.
- PDP-2009-TuFZZ #clustering #manycore #modelling
- Accurate Analytical Models for Message Passing on Multi-core Clusters (BT, JF, JZ, XZ), pp. 133–139.
- STOC-2009-AroraDS #algorithm
- Message passing algorithms and improved LP decoding (SA, CD, DS), pp. 3–12.
SEFM-2008-BhatejaM #testing- Tagging Make Local Testing of Message-Passing Systems Feasible (PB, MM), pp. 171–180.
- EDOC-2008-HalleV #monitoring #runtime #workflow
- Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
- ICML-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.
- SAC-2008-CeriottiMP #case study
- Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.
- DATE-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.
- DATE-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.
LATA-2007-BolligK #automaton #logic- Muller Message-Passing Automata and Logics (BB, DK), pp. 163–174.
- EDOC-2007-Molina-JimenezSC #consistency #implementation #middleware #using
- Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware (CMJ, SKS, NC), pp. 51–62.
- ICML-2007-KimC #algorithm #geometry
- Neighbor search with global geometry: a minimax message passing algorithm (KHK, SC), pp. 401–408.
TOOLS-EUROPE-2007-VallejosCBMDM - The Message-Oriented Mobility Model (JV, TVC, EGB, SM, JD, WDM), pp. 363–382.
POPL-2007-ReppyX - Specialization of CML message-passing primitives (JHR, YX), pp. 315–326.
- PDP-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.
HPDC-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.
- TACAS-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.
SEKE-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.
- SAC-2005-Rosso #analysis #framework #paradigm #performance #scalability
- Performance analysis framework for large software-intensive systems with a message passing paradigm (CDR), pp. 885–889.
- DATE-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.
IFL-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.
- CSL-2004-EmersonK #model checking
- Parameterized Model Checking of Ring-Based Message Passing Systems (EAE, VK), pp. 325–339.
- VMCAI-2003-MeenakshiR #reasoning
- Reasoning about Layered Message Passing Systems (BM, RR), pp. 268–282.
SCAM-2002-RillingLG #slicing #source code- Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.
- POPL-2002-ChakiRR #model checking #modelling #source code
- Types as models: model checking message-passing programs (SC, SKR, JR), pp. 45–57.
- SAC-2002-Jurjens #semantics #uml
- A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.
- ISMM-2002-JohanssonSW #architecture #concurrent #using
- Heap architectures for concurrent languages using message passing (EJ, KFS, JW), pp. 195–206.
- PDP-2002-SeinstraK #layout #memory management #modelling #source code
- Incorporating Memory Layout in the Modeling of Message Passing Programs (FJS, DK), pp. 293–300.
- CAV-2002-RajamaniR #consistency #modelling
- Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.
- PDP-2001-CuencaGG #algebra #algorithm #behaviour #linear #modelling
- Modeling the Behaviour of Linear Algebra Algorithms with Message-Passing (JC, DG, JG), pp. 282–289.
- PDP-2001-GetovWLT #evaluation #java #performance
- Message-Passing Computing with Java: Performance Evaluation and Comparisons (VG, MW, QL, MT), pp. 173–177.
ICALP-2000-MeenakshiR #finite #reasoning- Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.
- TOOLS-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.
- SAC-2000-SchimkatMK #lightweight
- A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.
- PDP-2000-ClaudioCC #debugging #monitoring #visualisation
- Monitoring and debugging message passing applications with MPVisualizer (APC, JDC, MBC), pp. 376–382.
- PDP-2000-Cotronis #component #reuse
- Reusable message passing components (JYC), pp. 398–405.
- PDP-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.
- PDP-2000-RoigRSGL #modelling #source code
- Modelling message-passing programs for static mapping (CR, AR, MAS, FG, EL), pp. 229–236.
IFM-1999-Hennessy #calculus #process #proving- Proof Systems for Message-Passing Process Calculi (MH), p. 26.
- SAC-1999-Haynes99a #adaptation
- Distributing Collective Adaptation via Message Passing (TH), pp. 501–505.
HPCA-1999-KuoCK #named- MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing (CCK, JBC, RK), pp. 284–288.
- HPDC-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.
- PDP-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.
- IFL-1998-SerrarensP #concurrent
- Explicit Message Passing for Concurrent Clean (PRS, MJP), pp. 229–245.
- TOOLS-ASIA-1998-Hsiung98a #object-oriented #parallel #synthesis
- Parallel Object-Oriented Synthesis Environment Based On Message-Passing (PAH), p. 251–?.
- DATE-1998-Putzke-RomingRN #flexibility
- A Flexible Message Passing Mechanism for Objective VHDL (WPR, MR, WN), pp. 242–249.
- HPDC-1998-ZhangSL #source code #using
- Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks (KZ, CS, KCL), pp. 340–341.
- PDP-1998-RodriguezSLG #library #parallel
- Providing nested parallelism and load balancing on message passing libraries (CR, FdS, CL, LG), pp. 402–408.
- PDP-1998-RonsseK
- RoltMP-replay of Lamport timestamps for message passing systems (MR, DK), pp. 87–93.
FME-1997-BroyGK #realtime- Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.
- PDP-1997-GhoseJS #prototype
- Protected, low-latency message passing in the SNOW prototype (KG, AKJ, BTS), pp. 314–321.
- HPDC-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.
- HPDC-1996-RobinsonRFH #implementation #interface #migration
- A Task Migration Implementation of the Message-Passing Interface (JR, SHR, BKF, BH), pp. 61–68.
- PDP-1996-BekkerD #architecture
- Delay-Insensitive Synchronization on a Message-Passing Architecture with an Open Collector Bus (HB, EJD), pp. 75–79.
- PDP-1996-KamkarKF #parallel #slicing #source code
- Dynamic Slicing of Parallel Message-Passing Programs (MK, PK, PF), pp. 170–178.
- SEKE-1995-LinL #model checking #protocol #verification
- Formal Verification of a Message-Passing Protocol with Model Checking (AL, FL), pp. 296–302.
ICSE-1995-TaylorMAWR #architecture #component #user interface- A Component- and Message-Based Architectural Style for GUI Software (RNT, NM, KMA, EJWJ, JER), pp. 295–304.
- HPDC-1995-YadavRH #parallel #thread
- A Multithreaded Message Passing Environment for ATM LAN/WAN (RY, RR, SH), pp. 238–245.
- PDP-1995-TrachosM
- A class hierarchy emulating virtual shared objects on message-passing systems (KT, EM), pp. 174–181.
ECOOP-1994-VitekH #performance- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.
- SAC-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.
- ASPLOS-1994-ChandraLR #question #source code
- Where is Time Spent in Message-Passing and Shared-Memory Programs? (SC, JRL, AR), pp. 61–73.
- ASPLOS-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.
- TOOLS-USA-1993-ChangT
- The Object Support via FIFO-Links on Message-Passing Systems (WTC, CCT), pp. 231–238.
- HPDC-1993-HaririPYPF #distributed #interface #parallel
- A Message Passing Interface for Parallel and Distributed Computing (SH, JP, FKY, MP, GF), pp. 84–91.
- PDP-1993-ClematisT #analysis #distributed #memory management
- An analysis of message passing systems for distributed memory computers (AC, OT), pp. 299–306.
- PPoPP-1993-KranzJAKL #experience
- Integrating Message-Passing and Shared-Memory: Early Experience (DAK, KLJ, AA, JK, BHL), pp. 54–63.
- CAV-1993-HennessyL #logic #process
- A Modal Logic for Message passing Processes (MH, XL), pp. 359–370.
- ECOOP-1992-GuerraouiCLR #protocol
- Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.
DAC-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.
- OOPSLA-1991-Ghelli #static typing #type system
- A Static Type System for Message Passing (GG), pp. 129–145.
- DAC-1990-Tonkin #multi
- Circuit Extraction on a Message-Based Multiprocessor (BAT), pp. 260–265.
- SIGMOD-1986-Gelder #evaluation #framework #logic #query
- A Message Passing Framework for Logical Query Evaluation (AVG), pp. 155–165.
