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
parallel
Google parallel

Tag #parallel

2575 papers:

POPLPOPL-2020-AschieriG #concurrent #functional #linear #logic #proving #source code
Par means parallel: multiplicative linear logic proofs as concurrent functional programs (FA, FAG), p. 28.
POPLPOPL-2020-KimVT #fixpoint
Deterministic parallel fixpoint computation (SKK, AJV, AVT), p. 33.
ASPLOSASPLOS-2020-AbeydeeraS #named #performance
Chronos: Efficient Speculative Parallelism for Accelerators (MA, DS0), pp. 1247–1262.
ASPLOSASPLOS-2020-Ainsworth0 #hardware #programmable #security
The Guardian Council: Parallel Programmable Hardware Security (SA, TMJ0), pp. 1277–1293.
ASPLOSASPLOS-2020-ApostolakisXCCA #approach #automation #named
Perspective: A Sensible Approach to Speculative Automatic Parallelization (SA, ZX, GC, SC, DIA), pp. 351–367.
ASPLOSASPLOS-2020-SkarlatosKXT #memory management
Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism (DS, AK, TX, JT), pp. 1093–1108.
ASPLOSASPLOS-2020-ThomasHZ #framework #named #streaming
Fleet: A Framework for Massively Parallel Streaming on FPGAs (JJT, PH, MZ), pp. 639–651.
CCCC-2020-Castro-PerezY #compilation #first-order
Compiling first-order functions to session-typed parallel code (DCP, NY), pp. 143–154.
FMFM-2019-LunelMBT #composition #difference #logic #verification
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic (SL, SM, BB, JPT), pp. 354–370.
SEFMSEFM-2019-StillB #c++ #detection #source code
Local Nontermination Detection for Parallel C++ Programs (VS, JB), pp. 373–390.
HaskellHaskell-2019-ErtelARGC #composition #concurrent #data flow #monad #named #thread
STCLang: state thread composition as a foundation for monadic dataflow parallelism (SE, JA, NAR, AG, JC), pp. 146–161.
ICFP-2019-Morihata #algebra #equation #reasoning #reduction #λ-calculus
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning (AM), p. 25.
ICFP-2019-MullerWA
Fairness in responsive parallelism (SKM, SW, UAA), p. 30.
CoGCoG-2019-Nagorko #adaptation #policy
Parallel Nested Rollout Policy Adaptation (AN), pp. 1–7.
FDGFDG-2019-ZhuAFNCSVO #concept #education #game studies #how #programming
Programming in game space: how to represent parallel programming concepts in an educational game (JZ, KA, AF, JN, BC, BKS, JV, SO), p. 10.
CIKMCIKM-2019-Wang0CRR #algorithm #higher-order #performance
Efficient Sequential and Parallel Algorithms for Estimating Higher Order Spectra (ZW, AAM0, XC, NR, SR), pp. 1743–1752.
ICMLICML-2019-GhaffariLM #algorithm #clustering #network
Improved Parallel Algorithms for Density-Based Network Clustering (MG, SL, SM), pp. 2201–2210.
ICMLICML-2019-TangYLZL #named #probability
DoubleSqueeze: Parallel Stochastic Gradient Descent with Double-pass Error-Compensated Compression (HT, CY, XL, TZ, JL0), pp. 6155–6165.
ICMLICML-2019-YuJ #communication #complexity #on the #optimisation #probability
On the Computation and Communication Complexity of Parallel SGD with Dynamic Batch Sizes for Stochastic Non-Convex Optimization (HY, RJ), pp. 7174–7183.
KDDKDD-2019-RamanSMZYV #hybrid #scalability
Scaling Multinomial Logistic Regression via Hybrid Parallelism (PR, SS, SM, XZ, HY, SVNV), pp. 1460–1470.
ECOOPECOOP-2019-SpringerM #memory management #named #object-oriented #performance #programming
DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (MS, HM), p. 37.
OOPSLAOOPSLA-2019-FernandoJM #approximate #canonical #safety #source code #verification
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization (VF, KJ, SM), p. 29.
PADLPADL-2019-Bock #clustering #execution #spreadsheet
Static Partitioning of Spreadsheets for Parallel Execution (AAB), pp. 221–237.
PLDIPLDI-2019-FarzanN #composition #divide and conquer
Modular divide-and-conquer parallelization of nested loops (AF, VN), pp. 610–624.
PLDIPLDI-2019-ProkopecRLD0SBZ #benchmark #metric #named #virtual machine
Renaissance: benchmarking suite for parallel applications on the JVM (AP, AR, DL, GD, PT0, MS, LB, YZ, AV, DS, TW, WB), pp. 31–47.
PLDIPLDI-2019-TangKKA
Co-optimizing memory-level parallelism and cache-level parallelism (XT, MTK, MK, MA), pp. 935–949.
ESEC-FSEESEC-FSE-2019-BaresiDQ #execution #symbolic computation
Symbolic execution-driven extraction of the parallel execution plans of Spark applications (LB, GD, GQ), pp. 246–256.
ICSE-2019-KhatchadourianT #automation #java #refactoring
Safe automated refactoring for intelligent parallelization of Java 8 streams (RK, YT, MB, SA), pp. 619–630.
ICSE-2019-Yin0L0 #concurrent #refinement #thread #verification
Parallel refinement for multi-threaded program verification (LY, WD0, WL, JW0), pp. 643–653.
GPCEGPCE-2019-KramerW #c #nondeterminism #programming
Parallel nondeterministic programming as a language extension to C (short paper) (LK, EVW), pp. 20–26.
ASPLOSASPLOS-2019-JiangSF0 #approach #scalability
Scalable Processing of Contemporary Semi-Structured Data on Commodity Parallel Processors - A Compilation-based Approach (LJ, XS, UF, ZZ0), pp. 79–92.
CASECASE-2019-GongSLX #hybrid
Minimizing total flow time in two-stage hybrid flowshop with parallel machines and a single batching machine (HG, XS, FL0, KX), pp. 344–349.
CASECASE-2019-ShinLM #assembly #on the #optimisation
On the Optimization Of Cycle Time in Assembly Lines with Parallel Workstations and Tasks Requiring Multiple Workers (JS, ML, JRM), pp. 916–921.
CASECASE-2019-TursynbekNS
Computation of Unique Kinematic Solutions of a Spherical Parallel Manipulator with Coaxial Input Shafts (IT, AN, AS), pp. 1524–1531.
CCCC-2019-XiaJA #re-engineering
Enabling prefix sum parallelism pattern for recurrences with principled function reconstruction (YX, PJ, GA), pp. 17–28.
CGOCGO-2019-GonzaloHGHMH #automation #generative #performance #reduction
Automatic Generation of Warp-Level Primitives and Atomic Instructions for Fast and Portable Parallel Reduction on GPUs (SGDG, SH, JGL, SDH, OM, WMH), pp. 73–84.
CGOCGO-2019-NethS #automation
Automatic Parallelization of Irregular x86-64 Loops (BN, MMS), p. 266.
CGOCGO-2019-Zhou0 #automation #named
Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation (RZ, TMJ0), pp. 15–25.
ICSTICST-2019-BaderCF #testing
Parallel Many-Objective Search for Unit Tests (VB, JC, GF), pp. 37–47.
ICSTICST-2019-TerragniPB #dependence #generative #testing #thread
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies (VT, MP, FAB), pp. 264–275.
VMCAIVMCAI-2019-HuybersL #algorithm #bisimulation
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization (RH, AL), pp. 535–554.
SCAMSCAM-2018-SakuraiAG #concurrent #detection #research
[Research Paper] POI: Skew-Aware Parallel Race Detection (YS, YA, KG), pp. 215–224.
ICFP-2018-Das0P #analysis #complexity
Parallel complexity analysis with temporal session types (AD, JH0, FP), p. 30.
ICFP-2018-MullerA0
Competitive parallelism: getting your priorities right (SKM, UAA, RH0), p. 30.
AIIDEAIIDE-2018-KantharajuAZCSO #education #game studies #programming
Tracing Player Knowledge in a Parallel Programming Educational Game (PK, KBA, JZ, BC, BKS, SO), pp. 173–179.
CIKMCIKM-2018-ShenYZPZ #using
Parallel Hashing Using Representative Points in Hyperoctants (CS, MY, CZ, YP, GZ), pp. 813–822.
CIKMCIKM-2018-ZhangNCC #database #probability #scalability #using
Scalable Entity Resolution Using Probabilistic Signatures on Parallel Databases (YZ, KSN, TC, PC), pp. 2213–2221.
CIKMCIKM-2018-ZhuangJYL #classification #coordination #manycore
Naive Parallelization of Coordinate Descent Methods and an Application on Multi-core L1-regularized Classification (YZ, YCJ, GXY, CJL), pp. 1103–1112.
ICMLICML-2018-EsfandiariLM #algorithm #composition #streaming
Parallel and Streaming Algorithms for K-Core Decomposition (HE, SL, VSM), pp. 1396–1405.
ICMLICML-2018-GaoW #learning #network
Parallel Bayesian Network Structure Learning (TG, DW), pp. 1671–1680.
ICMLICML-2018-HuoGYH #convergence
Decoupled Parallel Backpropagation with Convergence Guarantee (ZH, BG, QY, HH), pp. 2103–2111.
ICMLICML-2018-LianZZL #distributed #probability
Asynchronous Decentralized Parallel Stochastic Gradient Descent (XL, WZ0, CZ, JL0), pp. 3049–3058.
ICMLICML-2018-OordLBSVKDLCSCG #performance #speech #synthesis
Parallel WaveNet: Fast High-Fidelity Speech Synthesis (AvdO, YL, IB, KS, OV, KK, GvdD, EL, LCC, FS, NC, DG, SN, SD, EE, NK, HZ, AG, HK, TW, DB, DH), pp. 3915–3923.
ICMLICML-2018-YaroslavtsevV #algorithm #clustering
Massively Parallel Algorithms and Hardness for Single-Linkage Clustering under 𝓁p Distances (GY, AV), pp. 5596–5605.
ICPRICPR-2018-SunCWX #coordination #learning #metric #online #rank
Online Low-Rank Metric Learning via Parallel Coordinate Descent Method (GS, YC, QW0, XX), pp. 207–212.
ICPRICPR-2018-YuanZLQ0S #adaptation #canonical #correlation #learning #recognition
Learning Parallel Canonical Correlations for Scale-Adaptive Low Resolution Face Recognition (YY, ZZ, YL0, JPQ, BL0, XBS), pp. 922–927.
KDDKDD-2018-YeZXZGD #mobile #paradigm #performance #recommendation
Multi-User Mobile Sequential Recommendation: An Efficient Parallel Computing Paradigm (ZY, LZ, KX, WZ, YG, YD), pp. 2624–2633.
KDDKDD-2018-YeZZGZ #evaluation #named #performance
RapidScorer: Fast Tree Ensemble Evaluation by Maximizing Compactness in Data Level Parallelization (TY, HZ, WYZ, BG, RZ), pp. 941–950.
ECMFAECMFA-2018-MadaniKP #validation
Parallel Model Validation with Epsilon (SM, DSK, RFP), pp. 115–131.
OOPSLAOOPSLA-2018-DalozeTMMP
Parallelization of dynamic languages: synchronizing built-in collections (BD, AT, SM, HM, EP), p. 30.
OOPSLAOOPSLA-2018-MeierRG #design #programming language #virtual machine
Virtual machine design for parallel dynamic programming languages (RM, AR, TRG), p. 25.
OOPSLAOOPSLA-2018-MendisA #framework #named
goSLP: globally optimized superword level parallelism framework (CM, SPA), p. 28.
AdaEuropeAdaEurope-2018-RoyuelaMQP #ada #analysis #compilation
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (SR, XM, EQ, LMP), pp. 141–157.
PLDIPLDI-2018-AcarCGRS #performance #scheduling
Heartbeat scheduling: provable efficiency for nested parallelism (UAA, AC, AG, MR, FS), pp. 769–782.
PLDIPLDI-2018-ChenLDP #analysis #locality
Locality analysis through static parallel sampling (DC, FL, CD, SP), pp. 557–570.
PLDIPLDI-2018-LiuH #analysis #concurrent #debugging #difference #named #performance
D4: fast concurrency debugging with parallel differential analysis (BL, JH0), pp. 359–373.
PLDIPLDI-2018-LiuSWTL #named #thread
iReplayer: in-situ and identical record-and-replay for multithreaded applications (HL, SS, WW, CT0, TL), pp. 344–358.
PPDPPPDP-2018-Schmidt-Schauss #concurrent #functional #programming language
Sequential and Parallel Improvements in a Concurrent Functional Programming Language (MSS, DS, ND), p. 13.
ESEC-FSEESEC-FSE-2018-Chen00M0 #concurrent #source code #testing #thread
Testing multithreaded programs via thread speed control (DC, YJ0, CX0, XM, JL0), pp. 15–25.
ESEC-FSEESEC-FSE-2018-LiangJCWZS #fuzzing #industrial #named #optimisation
PAFL: extend fuzzing optimizations of single mode to industrial parallel mode (JL, YJ0, YC, MW, CZ, JS), pp. 809–814.
ICSE-2018-GaoW #debugging #named
MSeer: an advanced technique for locating multiple bugs in parallel (RG, WEW), p. 1064.
ASPLOSASPLOS-2018-DeianaSDHC #nondeterminism
Unconventional Parallelization of Nondeterministic Applications (EAD, VSA, PAD, NH, SC), pp. 432–447.
ASPLOSASPLOS-2018-FixNAZQA #hardware #thread #transaction
Hardware Multithreaded Transactions (JF, NPN, SA, HZ, SQ, DIA), pp. 15–29.
ASPLOSASPLOS-2018-FujikiMD #in memory
In-Memory Data Parallel Processor (DF, SAM, RD), pp. 1–14.
ASPLOSASPLOS-2018-MalekiB #automation #linear
Automatic Hierarchical Parallelization of Linear Recurrences (SM, MB), pp. 128–138.
CASECASE-2018-HaouasDL #analysis
Analysis of an Integrated 4-DoF Parallel Wrist for Dexterous Gripping (WH, RD, GJL), pp. 1448–1453.
CASECASE-2018-KimL #scheduling
Uniform Parallel Machine Scheduling with Dedicated Machines, Job Splitting and Setup Resources (HJK, JHL), pp. 661–663.
CASECASE-2018-MirzSBC
Optimal Control Based Path Planning for Parallel Kinematic Manipulators Utilising Natural Motion (CM, FS, JPB, BC), pp. 223–228.
CASECASE-2018-RiaziBL #algorithm #problem
Parallelization of a gossip algorithm for vehicle routing problems (SR, KB, BL), pp. 92–97.
CASECASE-2018-ZubaranR #effectiveness #scheduling
An effective tabu search for job shop scheduling with parallel machines (TKZ, MRPR), pp. 913–919.
CCCC-2018-KochMVCF #algorithm #analysis #compilation #towards
Towards a compiler analysis for parallel algorithmic skeletons (TJKEvK, SM, CV, MC, BF), pp. 174–184.
CCCC-2018-ZhaoBS #analysis #points-to
Parallel sparse flow-sensitive points-to analysis (JZ, MGB, VS), pp. 59–70.
CCCC-2018-ZinenkoVRSGS0 #locality #modelling #scheduling
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling (OZ, SV, CR, JS, TG, VS, AC0), pp. 3–13.
ESOPESOP-2018-RaadLV #consistency #on the
On Parallel Snapshot Isolation and Release/Acquire Consistency (AR, OL, VV), pp. 940–967.
FASEFASE-2018-GioulekasPKBP #network #process #streaming
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism (FG, PP, PK, SB, PP), pp. 94–110.
CSLCSL-2018-ChouquetA #linear #logic #proving
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets (JC, LVA), p. 17.
SANERSANER-2017-ChenFLLZ #execution
Cloud-based parallel concolic execution (TC0, YF, XL, XL, XZ), pp. 437–441.
IFM-2017-BlomDHO #concurrent #set #verification
The VerCors Tool Set: Verification of Parallel and Concurrent Software (SB, SD, MH, WO), pp. 102–110.
ICFP-2017-Elliott #algorithm #functional
Generic functional parallel algorithms: scan and FFT (CE), p. 25.
FDGFDG-2017-Valls-VargasZO #game studies #generative #grammarware #graph grammar #learning #programming
Graph grammar-based controllable generation of puzzles for a learning game about parallel programming (JVV, JZ, SO), p. 10.
ICGJICGJ-2017-ShoosterSMWCWL #game studies #information management
The Big Wave: An Accessible Parallel Gameplay Information Gathering Puzzle Game made for the Global Game Jam (FZS, CS, LM, RW, MC, AW, ML), pp. 40–43.
CIKMCIKM-2017-DasUMT #case study #collaboration
Collaborative Filtering as a Case-Study for Model Parallelism on Bulk Synchronous Systems (AD, IU, XM, AT), pp. 969–977.
CIKMCIKM-2017-HuHQ #algorithm #communication #parametricity #performance
A Communication Efficient Parallel DBSCAN Algorithm based on Parameter Server (XH, JH0, MQ), pp. 2107–2110.
CIKMCIKM-2017-KozawaAK #clustering #graph
GPU-Accelerated Graph Clustering via Parallel Label Propagation (YK, TA, HK), pp. 567–576.
ICMLICML-2017-Hernandez-Lobato #distributed #scalability
Parallel and Distributed Thompson Sampling for Large-scale Accelerated Exploration of Chemical Space (JMHL, JR, EOPK, AAG), pp. 1470–1479.
ICMLICML-2017-KimPKH #learning #named #network #parametricity #reduction #semantics
SplitNet: Learning to Semantically Split Deep Networks for Parameter Reduction and Model Parallelization (JK, YP, GK, SJH), pp. 1866–1874.
ICMLICML-2017-ReedOKCWCBF #estimation
Parallel Multiscale Autoregressive Density Estimation (SER, AvdO, NK, SGC, ZW0, YC, DB, NdF), pp. 2912–2921.
KDDKDD-2017-Song0H #clustering #named #performance
PAMAE: Parallel k-Medoids Clustering with High Accuracy and Efficiency (HS, JGL0, WSH), pp. 1087–1096.
KDDKDD-2017-YenHDRDX #classification #named
PPDsparse: A Parallel Primal-Dual Sparse Method for Extreme Classification (IEHY, XH, WD0, PR, ISD, EPX), pp. 545–553.
OOPSLAOOPSLA-2017-CogumbreiroSMSV #concurrent #source code #why
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers (TC, RS, FM, VS, VTV, MG), p. 26.
OOPSLAOOPSLA-2017-ScottLDN #composition #monad
Monadic composition for deterministic, parallel batch processing (RGS, OSNL, JD, RRN), p. 26.
LOPSTRLOPSTR-2017-NguyenT #analysis #source code #thread
CARET Analysis of Multithreaded Programs (HVN, TT), pp. 73–90.
PLDIPLDI-2017-FarzanN #divide and conquer #synthesis
Synthesis of divide and conquer parallelism for loops (AF, VN), pp. 540–555.
PLDIPLDI-2017-FedyukovichAB #source code #synthesis
Gradual synthesis for static parallelization of single-pass array-processing programs (GF, MBSA, RB), pp. 572–585.
PLDIPLDI-2017-HenriksenSEHO #array #functional #named
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates (TH, NGWS, ME, FH, CEO), pp. 556–571.
PLDIPLDI-2017-MullerA0 #thread
Responsive parallel computation: bridging competitive and cooperative threading (SKM, UAA, RH0), pp. 677–692.
POPLPOPL-2017-KumarBH #array #functional
Parallel functional arrays (AK, GEB, RH0), pp. 706–718.
POPLPOPL-2017-LagoFVY #geometry #probability #quantum
The geometry of parallelism: classical, probabilistic, and quantum effects (UDL, CF, BV, AY), pp. 833–845.
PPDPPPDP-2017-Huisman #source code #verification
A verification technique for deterministic parallel programs (MH), p. 3.
ASEASE-2017-CandidoMd #case study #open source #testing
Test suite parallelization in open-source projects: a study on its usage and impact (JC, LM, Md), pp. 838–848.
ASEASE-2017-NguyenS0TP #concurrent #source code
Parallel bug-finding in concurrent programs via reduced interleaving instances (TLN, PS, BF0, SLT, GP), pp. 753–764.
ASEASE-2017-PintoCCXL #comprehension
Understanding and overcoming parallelism bottlenecks in ForkJoin applications (GP0, AC, FC, G(X, YDL), pp. 765–775.
ESEC-FSEESEC-FSE-2017-YogaN #performance #profiling #source code
A fast causal profiler for task parallel programs (AY, SN), pp. 15–26.
CASECASE-2017-InuiKU #gpu #performance #using
Fast extraction of cutter engagement features by using the parallel processing function of a GPU (MI, MK, NU), pp. 668–673.
CASECASE-2017-LuQ #algorithm #energy #problem #scheduling #search-based
An improved genetic algorithm for a parallel machine scheduling problem with energy consideration (HL0, FQ), pp. 1487–1492.
CASECASE-2017-WareS #abstraction #synthesis
Time optimal synthesis based upon sequential abstraction and maximizing parallelism (SW, RS), pp. 926–931.
CASECASE-2017-XiangYML #policy #research
Research on release control policies of parallel semiconductor production lines (NX, QY, ZM, LL), pp. 296–301.
CASECASE-2017-ZhangLS
Position-loop based cross-coupled and synchronization control of a parallel kinematics machine (XZ, YL, RS), pp. 112–117.
CASECASE-2017-ZhangXSZGD #3d #slicing
A GPU-based parallel slicer for 3D printing (XZ, GX, ZS, YZ, CG, XD), pp. 55–60.
CCCC-2017-ShirakoHS #gpu #using
Optimized two-level parallelization for GPU accelerators using the polyhedral model (JS, AH, VS), pp. 22–33.
CGOCGO-2017-SurianaAK #reduction
Parallel associative reductions in halide (PS, AA, SK), pp. 281–291.
CAVCAV-2017-BenesBDPS #named #parametricity #synthesis
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems (NB, LB, MD, SP, DS), pp. 591–598.
CAVCAV-2017-Fearnley #game studies #performance
Efficient Parallel Strategy Improvement for Parity Games (JF), pp. 137–154.
CSLCSL-2017-VismeW
Strategies with Parallel Causes (MdV, GW), p. 21.
ICSTICST-2017-ZhangYZLCHL #automation #data flow #source code #testing #thread
Automated Testing of Definition-Use Data Flow for Multithreaded Programs (XZ0, ZY, QZ, PL, JC, YH, TL0), pp. 172–183.
CBSECBSE-2016-WulfWH #architecture #throughput
Increasing the Throughput of Pipe-and-Filter Architectures by Integrating the Task Farm Parallelization Pattern (CW, CCW, WH), pp. 13–22.
ICPCICPC-2016-IslamB #named #slicing
PORBS: A parallel observation-based slicer (SSI, DWB), pp. 1–3.
SCAMSCAM-2016-BlanchardKLL #c #composition #named #plugin #source code #verification
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs (AB, NK, ML, FL), pp. 67–72.
ICFP-2016-AcarCRS #calculus #named
Dag-calculus: a calculus for parallel computation (UAA, AC, MR, FS), pp. 18–32.
ICFP-2016-CastroHS #morphism #pipes and filters #process #reasoning #using
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms (DC, KH, SS), pp. 4–17.
ICFP-2016-RaghunathanMAB #memory management #source code
Hierarchical memory management for parallel programs (RR, SKM, UAA, GEB), pp. 392–406.
ICMLICML-2016-HoangHL #distributed #framework #modelling #process
A Distributed Variational Inference Framework for Unifying Parallel Sparse Gaussian Process Regression Models (TNH, QMH, BKHL), pp. 382–391.
ICMLICML-2016-WangSDNSX #algorithm #coordination #distributed
Parallel and Distributed Block-Coordinate Frank-Wolfe Algorithms (YXW, VS, WD0, WN, SS, EPX), pp. 1548–1557.
ICPRICPR-2016-MurguiaRA #adaptation #architecture #dataset #evaluation #modelling #network
Evaluation of the background modeling method Auto-Adaptive Parallel Neural Network Architecture in the SBMnet dataset (MICM, JARQ, GRA), pp. 137–142.
KDDKDD-2016-ChiangLL #classification #coordination #linear #manycore #scalability
Parallel Dual Coordinate Descent Method for Large-scale Linear Classification in Multi-core Environments (WLC, MCL, CJL), pp. 1485–1494.
KDDKDD-2016-LiLDWWC #algorithm #linear #sequence
A Real Linear and Parallel Multiple Longest Common Subsequences (MLCS) Algorithm (YL, HL, TD, SW, ZW, YC), pp. 1725–1734.
KDDKDD-2016-LiQJTYW #big data #optimisation
Parallel Lasso Screening for Big Data Optimization (QL, SQ, SJ, PMT, JY, JW0), pp. 1705–1714.
KDDKDD-2016-YangFK0 #algorithm #feature model #online
Online Feature Selection: A Limited-Memory Substitution Algorithm and Its Asynchronous Parallel Variation (HY, RF, YK, JL0), pp. 1945–1954.
ECOOPECOOP-2016-SwalensKM #transaction
Transactional Tasks: Parallelism in Software Transactions (JS, JDK, WDM), p. 28.
OOPSLAOOPSLA-2016-BonettaSMB #named #programming
GEMs: shared-memory parallel programming for Node.js (DB, LS, SM, WB), pp. 531–547.
OOPSLAOOPSLA-2016-DoeraeneS #incremental #optimisation #scala
Parallel incremental whole-program optimizations for Scala.js (SD, TS), pp. 59–73.
OOPSLAOOPSLA-2016-SurendranS #automation #synthesis
Automatic parallelization of pure method calls via conditional future synthesis (RS, VS), pp. 20–38.
AdaEuropeAdaEurope-2016-Mazzanti #ada #experience #manycore #model checking #programming
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine (FM), pp. 94–109.
FSEFSE-2016-YogaNG #concurrent #detection #source code
Parallel data race detection for task parallel programs with locks (AY, SN, AG), pp. 833–845.
ASPLOSASPLOS-2016-HanJCH #clustering #distributed
Interference Management for Distributed Parallel Applications in Consolidated Clusters (JH, SJ, YrC, JH), pp. 443–456.
ASPLOSASPLOS-2016-JeonHKERC #interactive #latency #named #predict
TPC: Target-Driven Parallelism Combining Prediction and Correction to Reduce Tail Latency in Interactive Services (MJ, YH, HK, SE, SR, ALC), pp. 129–141.
ASPLOSASPLOS-2016-PrabhakarKBLSKO #configuration management #generative #hardware
Generating Configurable Hardware from Parallel Patterns (RP, DK, KJB, HL, CDS, CK, KO), pp. 651–665.
CASECASE-2016-OltjenBKO #difference #performance
Efficient computation of system-specific motion commands for serial and parallel robots based on differential flatness (, DB, JK, TO), pp. 328–334.
CCCC-2016-ZhangBB #dependence #runtime
Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.
CGOCGO-2016-BrownLRSSAO #abstraction #performance
Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns (KJB, HL, TR, AKS, CDS, CRA, KO), pp. 194–205.
CGOCGO-2016-SuiDX #analysis #pointer #source code #thread
Sparse flow-sensitive pointer analysis for multithreaded programs (YS, PD, JX), pp. 160–170.
CGOCGO-2016-YogaN #source code
Atomicity violation checker for task parallel programs (AY, SN), pp. 239–249.
CGOCGO-2016-ZhouX
Exploiting mixed SIMD parallelism by reducing data reorganization overhead (HZ0, JX), pp. 59–69.
ESOPESOP-2016-PohjolaP #composition #power of
The Expressive Power of Monotonic Parallel Composition (JÅP, JP), pp. 780–803.
CSLCSL-2016-GanardiGL #bisimulation #complexity #finite #on the
On the Parallel Complexity of Bisimulation on Finite Systems (MG, SG, ML), p. 17.
IJCARIJCAR-2016-Boudou #complexity #composition #logic
Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (JB), pp. 373–388.
SIGMODSIGMOD-2015-AlexandrovKKSTK
Implicit Parallelism through Deep Language Embedding (AA, AK, AK, FS, LT, OK, TH, VM), pp. 47–61.
SIGMODSIGMOD-2015-Camacho-Rodriguez #named #xml
PAXQuery: Parallel Analytical XML Processing (JCR, DC, IM, JAMN), pp. 1117–1122.
SIGMODSIGMOD-2015-ChuBS #database #evaluation #performance #query #theory and practice
From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System (SC, MB, DS), pp. 63–78.
SIGMODSIGMOD-2015-SalamaBKZ #cost analysis #fault tolerance
Cost-based Fault-tolerance for Parallel Data Processing (AS, CB, TK, EZ), pp. 285–297.
SIGMODSIGMOD-2015-WongHFXL #approach #as a service #database #named #using
Thrifty: Offering Parallel Database as a Service using the Shared-Process Approach (PW, ZH, ZF, WX, EL), pp. 1063–1068.
SIGMODSIGMOD-2015-ZamanianBS #clustering #database
Locality-aware Partitioning in Parallel Database Systems (EZ, CB, AS), pp. 17–30.
VLDBVLDB-2015-BoghCA #gpu
Work-Efficient Parallel Skyline Computation for the GPU (KSB, SC, IA), pp. 962–973.
VLDBVLDB-2015-ChoBBFKP #algorithm #named #performance
PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort (MC, DB, RB, UF, VK, RP), pp. 1518–1529.
VLDBVLDB-2015-HanD #execution #graph
Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDBVLDB-2015-Liroz-GistauAV #execution #named #performance
FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
LATALATA-2015-DaiW #algorithm #random #sequence
A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk (HKD, ZW), pp. 133–144.
SFMSFM-2015-BrandauerCCFJPT
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore (SB, EC, DC, KFR, EBJ, KIP, SLTT, TW, AMY), pp. 1–56.
HaskellHaskell-2015-TrillaR
Improving implicit parallelism (JMCT, CR), pp. 153–164.
GCMGCM-2015-MackieS #evaluation #interactive
Parallel Evaluation of Interaction Nets: Some Observations and Examples (IM, SS), pp. 50–65.
CIKMCIKM-2015-HuangLY #approach #clustering #data type #performance
A Parallel GPU-Based Approach to Clustering Very Fast Data Streams (PH, XL, BY0), pp. 23–32.
CIKMCIKM-2015-MadsenZ #resource management
Dynamic Resource Management In a Massively Parallel Stream Processing Engine (KGSM, YZ), pp. 13–22.
CIKMCIKM-2015-ViegasGMR #classification #documentation #effectiveness #lazy evaluation #naive bayes #performance
Parallel Lazy Semi-Naive Bayes Strategies for Effective and Efficient Document Classification (FV, MAG, WM, LCdR), pp. 1071–1080.
ICMLICML-2015-HsiehYD #named #probability
PASSCoDe: Parallel ASynchronous Stochastic dual Co-ordinate Descent (CJH, HFY, ISD), pp. 2370–2379.
KDDKDD-2015-OhHYJ #matrix #performance #robust
Fast and Robust Parallel SGD Matrix Factorization (JO, WSH, HY, XJ), pp. 865–874.
KDDKDD-2015-Shun #algorithm #estimation #evaluation #graph
An Evaluation of Parallel Eccentricity Estimation Algorithms on Undirected Real-World Graphs (JS), pp. 1095–1104.
SIGIRSIGIR-2015-CanutoGSRM #approach #classification #documentation #performance #scalability
An Efficient and Scalable MetaFeature-based Document Classification Approach based on Massively Parallel Computing (SDC, MAG, WS, TR, WM), pp. 333–342.
ECOOPECOOP-2015-ImamS #programming
The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.
OOPSLAOOPSLA-2015-LopezMMNSVY #message passing #source code #verification
Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
AdaEuropeAdaEurope-2015-PinhoMMT #ada #execution #fine-grained
An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
PLDIPLDI-2015-PrountzosMP #automation #graph #source code
Synthesizing parallel graph programs via automated planning (DP, RM, KP), pp. 533–544.
POPLPOPL-2015-Chlipala15a #case study #composition #interface #network #thread #verification #web
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (AC), pp. 609–622.
POPLPOPL-2015-FarzanKP #bound #proving
Proof Spaces for Unbounded Parallelism (AF, ZK, AP), pp. 407–420.
SASSAS-2015-AlbertCJR #cost analysis #distributed
Parallel Cost Analysis of Distributed Systems (EA, JC, EBJ, GRD), pp. 275–292.
ASEASE-2015-MercerAVS #model checking #source code #using
Model Checking Task Parallel Programs Using Gradual Permissions (N) (EGM, PA, NV, VS), pp. 535–540.
ASEASE-2015-TzannesHEVAH
Region and Effect Inference for Safe Parallelism (T) (AT, STH, LE, MV, VSA, MH), pp. 512–523.
ASEASE-2015-ZhengRLDS #named #source code #verification
CIVL: Formal Verification of Parallel Programs (MZ, MSR, ZL, MBD, SFS), pp. 830–835.
ESEC-FSEESEC-FSE-2015-GuoKWYG #execution #source code #symbolic computation #thread
Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ICSEICSE-v1-2015-KusanoCW #generative #invariant #source code #thread
Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSEICSE-v1-2015-WinterSNSC #fault #injection
No PAIN, No Gain? The Utility of PArallel Fault INjections (SW, OS, RN, NS, DC), pp. 494–505.
SACSAC-2015-FerrucciSKS #algorithm #framework #pipes and filters #search-based
A parallel genetic algorithms framework based on Hadoop MapReduce (FF, PS, MTK, FS), pp. 1664–1667.
SACSAC-2015-FonsecaNRP #execution #realtime
A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SACSAC-2015-IglesiaJGP
Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.
SACSAC-2015-InacioDBNM #file system #operating system #parametricity #performance
Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
SACSAC-2015-LiuI #clustering #framework #optimisation #using
An ETL optimization framework using partitioning and parallelization (XL, NI), pp. 1015–1022.
SACSAC-2015-RafailidisM #image #similarity
Parallel similarity search based on the dimensions value cardinalities of image descriptor vectors (DR, YM), pp. 1023–1030.
SACSAC-2015-RighiVRRCFA #source code
Rescheduling and checkpointing as strategies to run synchronous parallel programs on P2P desktop grids (RdRR, AV, VFR, GR, CAdC, KF, AMA), pp. 501–504.
ASPLOSASPLOS-2015-Bhatotia0ABR #incremental #library #named #thread
iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
ASPLOSASPLOS-2015-HaqueEHEBM #incremental #interactive #latency #named
Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services (MEH, YHE, YH, SE, RB, KSM), pp. 161–175.
ASPLOSASPLOS-2015-HeckeyPJHKBFCM #communication #compilation #quantum
Compiler Management of Communication and Parallelism for Quantum Computation (JH, SP, AJ, AH, DK, KRB, DF, FTC, MM), pp. 445–456.
ASPLOSASPLOS-2015-YetimMM #communication #execution #fault #named
CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
ASPLOSASPLOS-2015-ZhaoS #automaton #on the fly
On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.
CASECASE-2015-GagliardiniCG
Dimensioning of cable-driven parallel robot actuators, gearboxes and winches according to the twist feasible workspace (LG, SC, MG), pp. 99–105.
CASECASE-2015-LiS
A parallel computing model for container terminal logistics (BL, WS), pp. 267–273.
CASECASE-2015-MonchY #constraints #scheduling
Scheduling jobs on parallel machines with qualification constraints (LM, CY), pp. 657–658.
CGOCGO-2015-CampanoniHWB #named #semantics
HELIX-UP: relaxing program semantics to unleash parallelization (SC, GHH, GYW, DMB), pp. 235–245.
CGOCGO-2015-DeweyKH #interpreter #javascript
A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
DACDAC-2015-HelalBH #simulation #using
Parallel circuit simulation using the direct method on a heterogeneous cloud (AEH, AMB, YYH), p. 6.
DACDAC-2015-KehrQBS #communication #execution #legacy #manycore
Parallel execution of AUTOSAR legacy applications on multicore ECUs with timed implicit communication (SK, EQ, BB, GS), p. 6.
DACDAC-2015-MengYOLW #array #clustering #data access #memory management #performance
Efficient memory partitioning for parallel data access in multidimensional arrays (CM, SY, PO, LL, SW), p. 6.
DACDAC-2015-RoloffSHT #architecture #simulation
Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures (SR, DS, FH, JT), p. 6.
DACDAC-2015-YunPB #adaptation #named #runtime #self #thread
HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.
DATEDATE-2015-ChenWY #performance
A fast parallel sparse solver for SPICE-based circuit simulators (XC, YW, HY), pp. 205–210.
DATEDATE-2015-GorevUD #fault #simulation
Fault simulation with parallel exact critical path tracing in multiple core environment (MG, RU, SD), pp. 1180–1185.
DATEDATE-2015-KapadiaP #adaptation #named #scheduling
VARSHA: variation and reliability-aware application scheduling with adaptive parallelism in the dark-silicon era (NAK, SP), pp. 1060–1065.
DATEDATE-2015-ReehmanCCS #approach #architecture #hardware #memory management
In-place memory mapping approach for optimized parallel hardware interleaver architectures (SUR, CC, PC, AS), pp. 896–899.
HPDCHPDC-2015-HaleD #kernel #operating system
A Case for Transforming Parallel Runtimes Into Operating System Kernels (KCH, PAD), pp. 27–32.
HPDCHPDC-2015-LiTKC #named #thread #visual notation
Transit: A Visual Analytical Model for Multithreaded Machines (AL, YCT, AK, HC), pp. 101–106.
HPDCHPDC-2015-RothMV #automation #communication
Automated Characterization of Parallel Application Communication Patterns (PCR, JSM, JSV), pp. 73–84.
HPDCHPDC-2015-ZhouLLPZ #abstraction #graph #performance
Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.
ISMMISMM-2015-Kuszmaul #named #performance #thread
SuperMalloc: a super fast multithreaded malloc for 64-bit machines (BCK), pp. 41–55.
PDPPDP-2015-AcostaA #algorithm #android #implementation #mobile
Parallel Implementations of the Particle Filter Algorithm for Android Mobile Devices (AA, FA), pp. 244–247.
PDPPDP-2015-BlaskiewiczZBD #gpu #network
An Application of GPU Parallel Computing to Power Flow Calculation in HVDC Networks (PB, MZ, PB, PD), pp. 635–641.
PDPPDP-2015-ConinckKVSBMF #algebra #matrix #predict #scalability #towards
Towards Parallel Large-Scale Genomic Prediction by Coupling Sparse and Dense Matrix Algebra (ADC, DK, FV, OS, BDB, SM, JF), pp. 747–750.
PDPPDP-2015-DaneluttoST #adaptation #energy
Energy Driven Adaptivity in Stream Parallel Computations (MD, DDS, MT), pp. 103–110.
PDPPDP-2015-DaneluttoTK #programming
A Green Perspective on Structured Parallel Programming (MD, MT, PK), pp. 430–437.
PDPPDP-2015-Denis #communication #named #thread
pioman: A Pthread-Based Multithreaded Communication Engine (AD), pp. 155–162.
PDPPDP-2015-DroccoMPTA
Memory-Optimised Parallel Processing of Hi-C Data (MD, CM, GPP, FT, MA), pp. 741–746.
PDPPDP-2015-Eisserer #embedded #framework #image #performance #platform #realtime
Portable Framework for Real-Time Parallel Image Processing on High Performance Embedded Platforms (CE), pp. 721–724.
PDPPDP-2015-GeorgakarakosTL #evaluation #performance
Performance Evaluation of Parallel HEVC Strategies (GG, LT, JL, JH, UF), pp. 137–144.
PDPPDP-2015-GlantzMN #algorithm #architecture #grid #process
Algorithms for Mapping Parallel Processes onto Grid and Torus Architectures (RG, HM, AN), pp. 236–243.
PDPPDP-2015-Inostrosa-Psijas #approximate #distributed #simulation
Load Balance Strategies for DEVS Approximated Parallel and Distributed Discrete-Event Simulations (AIP, VGC, RS, MM), pp. 337–340.
PDPPDP-2015-KamalBBM #algorithm #estimation
Cost Estimation of Parallel Constrained Producer-Consumer Algorithms (TK, KRB, ARB, MVM), pp. 86–93.
PDPPDP-2015-LingCYCWL #communication #framework #manycore #named #platform
MACRON: The NoC-Based Many-Core Parallel Processing Platform and Its Applications in 4G Communication Systems (XL, YC, ZY, SC, XW, GL), pp. 396–403.
PDPPDP-2015-LosadaMRG #optimisation
I/O Optimization in the Checkpointing of OpenMP Parallel Applications (NL, MJM, GR, PG), pp. 222–229.
PDPPDP-2015-NakanoI #algorithm #gpu #implementation #memory management
Optimality of Fundamental Parallel Algorithms on the Hierarchical Memory Machine, with GPU Implementation (KN, YI), pp. 626–634.
PDPPDP-2015-OstroumovBW #modelling #source code
Derivation of Parallel and Resilient Programs from Simulink Models (SO, PB, MAW), pp. 416–420.
PDPPDP-2015-RipepiCD #hybrid #implementation
A Hybrid Parallel Implementation of Model Selection for Support Vector Machines (GR, AC, DD), pp. 145–149.
PDPPDP-2015-SoroushniaDPP #algorithm #gpu #implementation #pattern matching
Parallel Implementation of Fuzzified Pattern Matching Algorithm on GPU (SS, MD, TP, JP), pp. 341–344.
PDPPDP-2015-SousaMP #algorithm #performance
A Generic and Highly Efficient Parallel Variant of Boruvka’s Algorithm (CdSS, AM, AP), pp. 610–617.
PDPPDP-2015-TordiniDMMLMA
Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II (FT, MD, CM, LM, PL, IM, MA), pp. 725–732.
PPoPPPPoPP-2015-AcharyaB #locality #modelling
PLUTO+: near-complete modeling of affine transformations for parallelism and locality (AA, UB), pp. 54–64.
PPoPPPPoPP-2015-BensonB #framework #matrix #performance
A framework for practical parallel fast matrix multiplication (ARB, GB), pp. 42–53.
PPoPPPPoPP-2015-ChabbiLJSMI #source code
Barrier elision for production parallel programs (MC, WL, WdJ, KS, JMMC, CI), pp. 109–119.
PPoPPPPoPP-2015-ChangG #algorithm #concurrent
A parallel algorithm for global states enumeration in concurrent systems (YJC, VKG), pp. 140–149.
PPoPPPPoPP-2015-ChenCM #named
Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
PPoPPPPoPP-2015-HarshvardhanAR #algorithm #approach #communication #graph
A hierarchical approach to reducing communication in parallel graph algorithms (H, NMA, LR), pp. 285–286.
PPoPPPPoPP-2015-JinLMLLPCK #automation #benchmark #generative #identification #metric #modelling #statistics
Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.
PPoPPPPoPP-2015-RadoiHSD #question #web
Are web applications ready for parallelism? (CR, SH, JS, DD), pp. 289–290.
PPoPPPPoPP-2015-TangYKTGC #algorithm #programming #recursion
Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency (YT, RY, HK, JJT, PG, RAC), pp. 205–214.
ESOPESOP-2015-0002S #automation #cost analysis #source code
Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.
STOCSTOC-2015-AlwenS #complexity #graph
High Parallel Complexity Graphs and Memory-Hard Functions (JA, VS), pp. 595–603.
STOCSTOC-2015-BravermanG #game studies
Small Value Parallel Repetition for General Games (MB, AG), pp. 335–340.
TACASTACAS-2015-ChakrabortyFMSV #generative #on the #satisfiability #scalability
On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
TACASTACAS-2015-RenaultDKP #automaton #model checking
Parallel Explicit Model Checking for Generalized Büchi Automata (ER, ADL, FK, DP), pp. 613–627.
CADECADE-2015-BalbianiB #composition #logic
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.
CAVCAV-2015-JeonQSF #adaptation #synthesis
Adaptive Concretization for Parallel Program Synthesis (JJ, XQ, ASL, JSF), pp. 377–394.
ICLPICLP-2015-CruzRG #data-driven #logic programming #source code #thread
Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG), pp. 191–203.
ICLPICLP-2015-DovierFPV #execution
Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV), pp. 46–59.
ICLPICLP-2015-YangSZ #bottom-up #evaluation #logic programming #manycore #source code
Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines (MY, AS, CZ), pp. 6–17.
ICTSSICTSS-2015-AzizS #generative #realtime #testing
Test-Data Generation for Testing Parallel Real-Time Systems (MWA, SABS), pp. 211–223.
ISSTAISSTA-2015-DhokMR #automation #named #thread
Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
LICSLICS-2015-CastellanCW #game studies
The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
LICSLICS-2015-LagoFVY
Parallelism and Synchronization in an Infinitary Context (UDL, CF, BV, AY), pp. 559–572.
ICSTSAT-2015-BalyoSS #named #satisfiability
HordeSat: A Massively Parallel Portfolio SAT Solver (TB, PS, CS), pp. 156–172.
ICSTSAT-2015-BurchardSB #satisfiability
Laissez-Faire Caching for Parallel #SAT Solving (JB, TS, BB), pp. 46–61.
ICSTSAT-2015-CorziliusKJSA #c++ #named #open source #smt
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (FC, GK, SJ, SS, ), pp. 360–368.
CBSECBSE-2014-MateescuSY #model checking #process #using
Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.
PODSPODS-2014-BeameKS #query
Skew in parallel query processing (PB, PK, DS), pp. 212–223.
SIGMODSIGMOD-2014-BlanasWBDS #data analysis
Parallel data analysis directly on scientific file formats (SB, KW, SB, BD, AS), pp. 385–396.
SIGMODSIGMOD-2014-ChangWMJMGLCWSB #named #sql
HAWQ: a massively parallel processing SQL engine in hadoop (LC, ZW, TM, LJ, LM, AG, LL, JC, CW, GS, MB), pp. 1223–1234.
SIGMODSIGMOD-2014-ChengR
Parallel in-situ data processing with speculative loading (YC, FR), pp. 1287–1298.
SIGMODSIGMOD-2014-GhodsniaBN #optimisation #query
Parallel I/O aware query optimization (PG, ITB, AN), pp. 349–360.
SIGMODSIGMOD-2014-KimHLPY #framework #graph #named #scalability
OPT: a new framework for overlapped and parallel triangulation in large-scale graphs (JK, WSH, SL, KP, HY), pp. 637–648.
SIGMODSIGMOD-2014-LeisBK0 #evaluation #framework #manycore #query
Morsel-driven parallelism: a NUMA-aware query evaluation framework for the many-core age (VL, PAB, AK, TN), pp. 743–754.
SIGMODSIGMOD-2014-ShaoCC #detection #performance
Efficient cohesive subgraphs detection in parallel (YS, LC, BC), pp. 613–624.
SIGMODSIGMOD-2014-ShaoCCMYX #graph #scalability
Parallel subgraph listing in a large-scale graph (YS, BC, LC, LM, JY, NX), pp. 625–636.
VLDBVLDB-2014-BoehmTRSTBV #hybrid #machine learning #scalability
Hybrid Parallelization Strategies for Large-Scale Machine Learning in SystemML (MB, ST, BR, PS, YT, DB, SV), pp. 553–564.
VLDBVLDB-2015-LiNN14 #database
Resource Bricolage for Parallel Database Systems (JL, JFN, RVN), pp. 25–36.
EDMEDM-2014-SchultzA14a
Tracing Knowledge and Engagement in Parallel in an Intelligent Tutoring System (SES, IA), pp. 312–315.
ICPCICPC-2014-TianZLFZY #detection #thread
Plagiarism detection for multithreaded software based on thread-aware software birthmarks (ZT, QZ, TL, MF, XZ, ZY), pp. 304–313.
ICSMEICSME-2014-ZhangHD #automation #scalability #simulation #tool support #validation
Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
SCAMSCAM-2014-AbadiF #algorithm #interprocedural #on-demand
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
AFLAFL-2014-BordihnKM #automaton #communication #finite
Measuring Communication in Parallel Communicating Finite Automata (HB, MK, AM), pp. 124–138.
ICALPICALP-v1-2014-ChaillouxS #exponential #game studies
Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost (AC, GS), pp. 296–307.
ICALPICALP-v1-2014-TulsianiWZ #game studies #graph #rank
Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs (MT, JW, YZ), pp. 1003–1014.
FMFM-2014-DuggiralaWMVM #modelling #precedence #protocol
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol (PSD, LW, SM, MV, CAM), pp. 215–229.
IFLIFL-2014-LeF #functional
Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
CoGCIG-2014-BarrigaSB
Parallel UCT search on GPUs (NAB, MS, MB), pp. 1–7.
GRAPHITEGRAPHITE-2014-ManskyGG #optimisation #source code #specification
Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
CHICHI-2014-AtachiantsGJD #design #performance #tool support
Design considerations for parallel performance tools (RA, DG, KJ, GD), pp. 2501–2510.
HCIHIMI-AS-2014-KeckHBHG #coordination #similarity
Exploring Similarity — Improving Product Search with Parallel Coordinates (MK, MH, AB, DH, RG), pp. 160–171.
ICEISICEIS-v1-2014-HaddadCSM #algorithm #heuristic #named #problem #scheduling
AIV: A Heuristic Algorithm based on Iterated Local Search and Variable Neighborhood Descent for Solving the Unrelated Parallel Machine Scheduling Problem with Setup Times (MNH, LPC, MJFS, NM), pp. 376–383.
ICEISICEIS-v1-2014-PenaAMFF #algorithm #gpu #using
An Improved Parallel Algorithm Using GPU for Siting Observers on Terrain (GCP, MVAA, SVGM, WRF, CRF), pp. 367–375.
CIKMCIKM-2014-ChengKWT #robust
Robust and Skew-resistant Parallel Joins in Shared-Nothing Systems (LC, SK, TEW, GT), pp. 1399–1408.
ICMLICML-c2-2014-GalG #process #using
Pitfalls in the use of Parallel Inference for the Dirichlet Process (YG, ZG), pp. 208–216.
ICMLICML-c2-2014-LiuWRBS #algorithm #coordination #probability
An Asynchronous Parallel Stochastic Coordinate Descent Algorithm (JL, SW, CR, VB, SS), pp. 469–477.
ICMLICML-c2-2014-MizrahiDF #learning #linear #markov #random
Linear and Parallel Learning of Markov Random Fields (YDM, MD, NdF), pp. 199–207.
ICMLICML-c2-2014-SchwingHPU #algorithm #convergence #using
Globally Convergent Parallel MAP LP Relaxation Solver using the Frank-Wolfe Algorithm (AGS, TH, MP, RU), pp. 487–495.
ICMLICML-c2-2014-WangLYFWY #algorithm #modelling #scalability
A Highly Scalable Parallel Algorithm for Isotropic Total Variation Models (JW, QL, SY, WF, PW, JY), pp. 235–243.
KDDKDD-2014-ChengL #equivalence #process
Parallel gibbs sampling for hierarchical dirichlet processes via gamma processes equivalence (DC, YL), pp. 562–571.
SEKESEKE-2014-GrieblerAF #architecture #evaluation #interface #manycore #performance #programming #usability
Performance and Usability Evaluation of a Pattern-Oriented Parallel Programming Interface for Multi-Core Architectures (DG, DA, LGF), pp. 25–30.
SIGIRSIGIR-2014-JeonKHHECR #predict #web
Predictive parallelization: taming tail latencies in web search (MJ, SK, SwH, YH, SE, ALC, SR), pp. 253–262.
ECOOPECOOP-2014-ImamS #scheduling
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns (SMI, VS), pp. 618–643.
ECOOPECOOP-2014-OkurED #abstraction #low level
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions (SO, CE, DD), pp. 515–540.
OOPSLAOOPSLA-2014-BerganGC #execution #source code #symbolic computation #thread
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
OOPSLAOOPSLA-2014-SamakR #concurrent #detection #synthesis #thread
Multithreaded test synthesis for deadlock detection (MS, MKR), pp. 473–489.
OOPSLAOOPSLA-2014-VoraKG #algorithm #consistency #named #using
ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM (KV, SCK, RG), pp. 861–878.
AdaEuropeAdaEurope-2014-PinhoMM #ada
Parallelism in Ada: Status and Prospects (LMP, BM, SM), pp. 91–106.
HILTHILT-2014-TaftMPM #ada #programming
Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
PLDIPLDI-2014-GuptaSS #execution #source code
Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.
PLDIPLDI-2014-KuperTTN
Taming the parallel effect zoo: extensible deterministic parallelism with LVish (LK, AT, STH, RRN), p. 2.
PLDIPLDI-2014-LuJS #scripting language
Dynamic enforcement of determinism in a parallel scripting language (LL, WJ, MLS), p. 53.
PLDIPLDI-2014-MitraLABSG #analysis #debugging #scalability
Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.
PLDIPLDI-2014-SridharanGS #adaptation #execution #performance #source code
Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
PLDIPLDI-2014-SurendranRCMS #source code #testing
Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
POPLPOPL-2014-ChongDK #abstraction #reasoning
A sound and complete abstraction for reasoning about parallel prefix sums (NC, AFD, JK), pp. 397–410.
POPLPOPL-2014-KuperTKN #programming
Freeze after writing: quasi-deterministic parallel programming with LVars (LK, AT, NRK, RRN), pp. 257–270.
PPDPPPDP-2014-CruzRG #design #implementation #linear #logic programming #source code #thread #virtual machine
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
ASEASE-2014-GuoZORCAA #combinator #optimisation #scalability
Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.
ASEASE-2014-TarvoR #analysis #automation #modelling #performance #source code #thread
Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
FSEFSE-2014-SamakR #concurrent #detection #java #library #precise #thread
Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
ICSEICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #source code #thread
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
SACSAC-2014-LoulergueRTLH #problem
Formal derivation and extraction of a parallel program for the all nearest smaller values problem (FL, SR, JT, JL, ZH), pp. 1577–1584.
SACSAC-2014-MuneraDAC #flexibility
Flexible cooperation in parallel local search (DM, DD, SA, PC), pp. 1360–1361.
ASPLOSASPLOS-2014-AgrawalPPTTL #hardware #named
Rhythm: harnessing data parallel hardware for server workloads (SRA, VP, JP, JT, DT, ARL), pp. 19–34.
ASPLOSASPLOS-2014-EyermanE #concurrent #flexibility #manycore #smt #thread #towards
The benefit of SMT in the multi-core era: flexibility towards degrees of thread-level parallelism (SE, LE), pp. 591–606.
ASPLOSASPLOS-2014-SamadiJLM #approximate #named
Paraprox: pattern-based approximation for data parallel applications (MS, DAJ, JL, SAM), pp. 35–50.
CCCC-2014-WangPFO #legacy
Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code (ZW, DCP, BF, MFPO), pp. 154–173.
DACDAC-2014-ChenPCWMYZC #manycore #named #simulation #thread
DAPs: Dynamic Adjustment and Partial Sampling for Multithreaded/Multicore Simulation (CCC, YCP, CFC, WSW, QM, PCY, WZ, TFC), p. 6.
DACDAC-2014-ElbayoumiCKSHE #algorithm #named #synthesis
TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis (ME, MC, VNK, AS, MSH, MYE), p. 6.
DACDAC-2014-KozhikkottuPPDR #clustering #source code #thread
Variation Aware Cache Partitioning for Multithreaded Programs (VJK, AP, VSP, SD, AR), p. 6.
DACDAC-2014-LinL #analysis #reachability #verification
Parallel Hierarchical Reachability Analysis for Analog Verification (HL, PL), p. 6.
DACDAC-2014-MoctarB
Parallel FPGA Routing based on the Operator Formulation (YOMM, PB), p. 6.
DATEDATE-2014-AlhammadP #execution #manycore #predict #thread
Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATEDATE-2014-BurgioTCMB #clustering #embedded #hardware #memory management
Tightly-coupled hardware support to dynamic parallelism acceleration in embedded shared memory clusters (PB, GT, FC, AM, LB), pp. 1–6.
DATEDATE-2014-DimitrakopoulosSPTMC #hardware #synthesis #thread
Hardware primitives for the synthesis of multithreaded elastic systems (GD, IS, AP, KT, PMM, JC), pp. 1–4.
DATEDATE-2014-DinechinAPL
Time-critical computing on a single-chip massively parallel processor (BDdD, DvA, MP, GL), pp. 1–6.
DATEDATE-2014-Fu0PJZ #data flow #detection #fault #thread
A fault detection mechanism in a Data-flow scheduled Multithreaded processor (JF, QY, RP, CRJ, CZ), pp. 1–4.
DATEDATE-2014-GuerreAL #architecture #benchmark #metric #performance
A unified methodology for a fast benchmarking of parallel architecture (AG, JTA, YL), pp. 1–4.
DATEDATE-2014-KimH #automation #generative
Automatic generation of custom SIMD instructions for Superword Level Parallelism (TK, YH), pp. 1–6.
DATEDATE-2014-LiuJL
Parallel probe based dynamic connection setup in TDM NoCs (SL, AJ, ZL), pp. 1–6.
DATEDATE-2014-Matsunaga #algorithm #generative #synthesis
Synthesis algorithm of parallel index generation units (YM), pp. 1–6.
DATEDATE-2014-WangLS #named #semantics
p-OFTL: An object-based semantic-aware parallel flash translation layer (WW, YL, JS), pp. 1–6.
DATEDATE-2014-WeinstockSLAT #simulation
Time-decoupled parallel SystemC simulation (JHW, CS, RL, GA, LT), pp. 1–4.
DATEDATE-2014-YangHKKCPK #predict #simulation
Predictive parallel event-driven HDL simulation with a new powerful prediction strategy (SY, JH, DK, NK, DC, JP, JK), pp. 1–3.
HPCAHPCA-2014-JiaSM #memory management #named
MRPB: Memory request prioritization for massively parallel processors (WJ, KAS, MM), pp. 272–283.
HPDCHPDC-2014-BehzadBWPS #modelling #performance
Improving parallel I/O autotuning with performance modeling (BB, SB, SMW, P, MS), pp. 253–256.
HPDCHPDC-2014-FaltBKYZ #named #streaming
Bobolang: a language for parallel streaming applications (ZF, DB, MK, JY, FZ), pp. 311–314.
HPDCHPDC-2014-SuAWBS #analysis #correlation #dataset #distributed
Supporting correlation analysis on scientific datasets in parallel and distributed settings (YS, GA, JW, AB, HWS), pp. 191–202.
ISMMISMM-2014-BaconCS #configuration management #garbage collection #hardware #realtime
Parallel real-time garbage collection of multiple heaps in reconfigurable hardware (DFB, PC, SS), pp. 117–127.
ISMMISMM-2014-BrandtKSB #concurrent #garbage collection #linear
Concurrent, parallel garbage collection in linear time (SRB, HK, GS, CB), pp. 47–58.
ISMMISMM-2014-EgielskiHZ
Massive atomics for massive parallelism on GPUs (IJE, JH, EZZ), pp. 93–103.
OSDIOSDI-2014-MullerAAC #automation #manycore #named
Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud (SCM, GA, AA, AC), pp. 645–659.
OSDIOSDI-2014-ZhengTKL #database #manycore #performance
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism (WZ, ST, EK, BL), pp. 465–477.
PDPPDP-2014-Al-KhalissiSB #implementation #performance
An Efficient Barrier Implementation for OpenMP-Like Parallelism on the Intel SCC (HAK, SAAS, MB), pp. 76–83.
PDPPDP-2014-ArbelaezC #constraints #gpu #implementation
A GPU Implementation of Parallel Constraint-Based Local Search (AA, PC), pp. 648–655.
PDPPDP-2014-BarnatBH #model checking #source code
Model Checking Parallel Programs with Inputs (JB, PB, VH), pp. 756–759.
PDPPDP-2014-BoobGP #automation #cpu #gpu #performance
Automated Instantiation of Heterogeneous Fast Flow CPU/GPU Parallel Pattern Applications in Clouds (SB, HGV, AMP), pp. 162–169.
PDPPDP-2014-BrownJHSIG #performance #refactoring #tool support #using
Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools (CB, VJ, KH, HS, KI, CWG), pp. 36–43.
PDPPDP-2014-BuiFVHHLPH #scalability #using
Scalable Parallel I/O on a Blue Gene/Q Supercomputer Using Compression, Topology-Aware Data Aggregation, and Subfiling (HB, HF, VV, SH, KH, JL, MEP, KH), pp. 107–111.
PDPPDP-2014-DAmbrosioSPRFSIM #modelling
Lava Flow Modeling by the Sciara-Fv3 Parallel Numerical Code (DD, WS, RP, RR, GF, DS, GI, DM), pp. 330–338.
PDPPDP-2014-DaneluttoT
Loop Parallelism: A New Skeleton Perspective on Data Parallel Patterns (MD, MT), pp. 52–59.
PDPPDP-2014-FabbroTP #algorithm #problem
A Parallel Algorithm for the Best k-Mismatches Alignment Problem (CDF, FT, AP), pp. 586–589.
PDPPDP-2014-GrandjeanU #2d #clustering #difference #distributed #finite #memory management #on the
On Partitioning Two Dimensional Finite Difference Meshes for Distributed Memory Parallel Computers (AG, BU), pp. 9–16.
PDPPDP-2014-Kwedlo #algorithm #modelling #using
A Parallel EM Algorithm for Gaussian Mixture Models Implemented on a NUMA System Using OpenMP (WK), pp. 292–298.
PDPPDP-2014-LakhlefMB #algorithm #configuration management #performance #self
Efficient Parallel Self-Reconfiguration Algorithm for MEMS Microrobots (HL, HM, JB), pp. 154–161.
PDPPDP-2014-MalonyH #hybrid #profiling
General Hybrid Parallel Profiling (ADM, KAH), pp. 204–212.
PDPPDP-2014-NgY #named #programming
Pabble: Parameterised Scribble for Parallel Programming (NN, NY), pp. 707–714.
PDPPDP-2014-RossRPSH #approach #hybrid
A Class-Structured Approach to Couple Application and Hybrid Core Parallelism (JAR, DAR, SJP, DRS, BJH), pp. 681–687.
PDPPDP-2014-Schick #linear #nondeterminism #parametricity
A Parallel Multilevel Spectral Galerkin Solver for Linear Systems with Uncertain Parameters (MS), pp. 352–359.
PDPPDP-2014-SeccoUPT #message passing #runtime
Message Passing on InfiniBand RDMA for Parallel Run-Time Supports (AS, IU, GPP, MT), pp. 130–137.
PDPPDP-2014-TsujitaYHSNI #file system #performance #thread
Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System (YT, KY, AH, MS, MN, YI), pp. 232–235.
PDPPDP-2014-VinckeWLSB #effectiveness #embedded
Writing Parallel Embedded Software Effectively (RV, NDW, SVL, ES, JB), pp. 474–477.
PPoPPPPoPP-2014-AgrawalFSSU #data type #scheduling #source code
Provably good scheduling for parallel programs that use data structures through implicit batching (KA, JTF, BS, JS, RU), pp. 389–390.
PPoPPPPoPP-2014-AgustonBH
Parallelization hints via code skeletonization (CA, YBA, GH), pp. 373–374.
PPoPPPPoPP-2014-IsaacsGBBSH #execution #identification #logic
Extracting logical structure and identifying stragglers in parallel execution traces (KEI, TG, AB, PTB, MS, BH), pp. 397–398.
PPoPPPPoPP-2014-LiuM #architecture #performance #source code #thread
A tool to analyze the performance of multithreaded programs on NUMA architectures (XL, JMMC), pp. 259–272.
PPoPPPPoPP-2014-Olukotun #domain-specific language #programming
Beyond parallel programming with domain specific languages (KO), pp. 179–180.
PPoPPPPoPP-2014-SandesMMMA #comparison #sequence
Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs (EFdOS, GM, ACMAdM, XM, EA), pp. 383–384.
PPoPPPPoPP-2014-SongH #3d #design
Designing and auto-tuning parallel 3-D FFT for computation-communication overlap (SS, JKH), pp. 181–192.
PPoPPPPoPP-2014-TomkinsSAR #algorithm #component #named
SCCMulti: an improved parallel strongly connected components algorithm (DT, TGS, NMA, LR), pp. 393–394.
PPoPPPPoPP-2014-YangZ #concurrent #named #thread
CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.
ESOPESOP-2014-KothaACESB #bound #runtime
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.
FASEFASE-2014-KrauseTG #graph transformation #implementation
Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
FoSSaCSFoSSaCS-2014-BonnetKL #analysis #probability #process
Analysis of Probabilistic Basic Parallel Processes (RB, SK, AWL), pp. 43–57.
STOCSTOC-2014-AndoniNOY #algorithm #geometry #graph #problem
Parallel algorithms for geometric graph problems (AA, AN, KO, GY), pp. 574–583.
STOCSTOC-2014-DinurS #approach
Analytical approach to parallel repetition (ID, DS), pp. 624–633.
STOCSTOC-2014-PengS #linear #performance
An efficient parallel solver for SDD linear systems (RP, DAS), pp. 333–342.
ISSTAISSTA-2014-ZhangW #concurrent #runtime #thread
Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.
ICSTSAT-2014-AudemardS #lazy evaluation #policy #satisfiability
Lazy Clause Exchange Policy for Parallel SAT Solvers (GA, LS), pp. 197–205.
ICSTSAT-2014-JordanKLS #named #towards
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (CJ, LK, FL, MS), pp. 430–437.
ICSTSAT-2014-SonobeKI #branch #community #satisfiability
Community Branching for Parallel Portfolio SAT Solvers (TS, SK, MI), pp. 188–196.
TAPTAP-2014-JannesariKSW #classification #generative #testing
Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
TAPTAP-2014-KahkonenH #automation #lightweight #source code #testing #thread
Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
VMCAIVMCAI-2014-GustavssonGL #analysis #execution #using
Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
PODSPODS-2013-BeameKS #communication #query
Communication steps for parallel query processing (PB, PK, DS), pp. 273–284.
SIGMODSIGMOD-2013-EwenSTWM
Iterative parallel data processing with stratosphere: an inside look (SE, SS, KT, DW, VM), pp. 1053–1056.
SIGMODSIGMOD-2013-WhangYYSKK #approach #named #using
ODYS: an approach to building a massively-parallel search engine using a DB-IR tightly-integrated parallel DBMS for higher-level functionality (KYW, TSY, YMY, IYS, HYK, IJK), pp. 313–324.
SIGMODSIGMOD-2013-WongHL #as a service
Parallel analytics as a service (PW, ZH, EL), pp. 25–36.
VLDBVLDB-2013-BellamkondaLJZLC #adaptation #big data #execution
Adaptive and Big Data Scale Parallel Execution in Oracle (SB, HGL, UJ, YZ, VL, TC), pp. 1102–1113.
VLDBVLDB-2013-HeimelSPMM #in memory
Hardware-Oblivious Parallelism for In-Memory Column-Stores (MH, MS, HP, SM, VM), pp. 709–720.
VLDBVLDB-2013-MansourEKAA #named #scalability #sequence
RACE: A Scalable and Elastic Parallel System for Discovering Repeats in Very Long Sequences (EM, AER, PK, AA, AA), pp. 865–876.
VLDBVLDB-2013-MoyersSWKVBC #analysis #array #image
A Demonstration of Iterative Parallel Array Processing in Support of Telescope Image Analysis (MM, ES, SW, KSK, JV, MB, AJC), pp. 1322–1325.
VLDBVLDB-2013-OgdenTP #automaton #query #scalability #transducer #using #xml
Scalable XML Query Processing using Parallel Pushdown Transducers (PO, DBT, PP), pp. 1738–1749.
VLDBVLDB-2013-ParkMS #pipes and filters #query #using
Parallel Computation of Skyline and Reverse Skyline Queries Using MapReduce (YP, JKM, KS), pp. 2002–2013.
VLDBVLDB-2013-SundaramTSMIMD #similarity #streaming #twitter #using
Streaming Similarity Search over one Billion Tweets using Parallel Locality-Sensitive Hashing (NS, AT, NS, TM, PI, SM, PD), pp. 1930–1941.
VLDBVLDB-2013-ZhangHHL #architecture #cpu #gpu #named #performance #query #towards
OmniDB: Towards Portable and Efficient Query Processing on Parallel CPU/GPU Architectures (SZ, JH, BH, ML), pp. 1374–1377.
VLDBVLDB-2013-ZhongH #graph
Parallel Graph Processing on Graphics Processors Made Easy (JZ, BH), pp. 1270–1273.
CIAACIAA-2013-Crespi-ReghizziP
Deterministic Counter Machines and Parallel Matching Computations (SCR, PSP), pp. 280–291.
CEFPCEFP-2013-DaneluttoT #programming
Structured Parallel Programming with “core” FastFlow (MD, MT), pp. 29–75.
ICFPICFP-2013-Morihata #theorem
A short cut to parallelization theorems (AM), pp. 245–256.
IFLIFL-2013-AljabriLT #design #haskell #implementation
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation (MA, HWL, PWT), p. 37.
GCMGCM-J-2012-SmolenovaKC #graph grammar #performance
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
CHICHI-2013-XuYZLS #perspective #web
Facilitating parallel web browsing through multiple-page view (WX, CY, SZ, JL, YS), pp. 2167–2170.
HCIDUXU-PMT-2013-FrancaSM
Is Reality Real? Thoughts and Conjectures about Culture, Self, Intersubjectivity and Parallel Worlds in Digital Technologies (ACPdF, MMS, LRdLM), pp. 68–73.
HCIHCI-AMTE-2013-HermannCW #human-computer #industrial #interactive #manycore #platform
Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi-/Many-Core Platforms (SH, AC, L(W), pp. 350–360.
CIKMCIKM-2013-ArifuzzamanKM #algorithm #named #network
PATRIC: a parallel algorithm for counting triangles in massive networks (SA, MK, MVM), pp. 529–538.
CIKMCIKM-2013-SahliMK #sequence
Parallel motif extraction from very long sequences (MS, EM, PK), pp. 549–558.
CIKMCIKM-2013-TangwongsanPT #graph #streaming
Parallel triangle counting in massive streaming graphs (KT, AP, ST), pp. 781–786.
ICMLICML-c1-2013-WilliamsonDX #markov #modelling #monte carlo #parametricity
Parallel Markov Chain Monte Carlo for Nonparametric Mixture Models (SW, AD, EPX), pp. 98–106.
ICMLICML-c3-2013-Izbicki #algebra #approach #classification #online #performance
Algebraic classifiers: a generic approach to fast cross-validation, online training, and parallel training (MI), pp. 648–656.
KDDKDD-2013-AltinigneliPB #using
Massively parallel expectation maximization using graphics processing units (MCA, CP, CB), pp. 838–846.
KDDKDD-2013-HanLPL0KY #graph #named #performance
TurboGraph: a fast parallel graph engine handling billion-scale graphs in a single PC (WSH, SL, KP, JHL, MSK, JK, HY), pp. 77–85.
KDDKDD-2013-ZhengM #optimisation
Optimizing parallel belief propagation in junction treesusing regression (LZ, OJM), pp. 757–765.
RecSysRecSys-2013-ZhuangCJL #matrix #memory management #performance
A fast parallel SGD for matrix factorization in shared memory systems (YZ, WSC, YCJ, CJL), pp. 249–256.
MODELSMoDELS-2013-ArkinTI #algorithm #approach #modelling #platform
Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms (EA, BT, KMI), pp. 757–773.
MODELSMoDELS-2013-TisiPC #atl #execution
Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
OOPSLAOOPSLA-2013-BerganCG #source code #thread
Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
OOPSLAOOPSLA-2013-HerhutHSS #javascript
River trail: a path to parallelism in JavaScript (SH, RLH, TS, JS), pp. 729–744.
OOPSLAOOPSLA-2013-NollG #java #online #optimisation
Online feedback-directed optimizations for parallel Java code (AN, TRG), pp. 713–728.
OOPSLAOOPSLA-2013-TrippKS #nondeterminism
Turning nondeterminism into parallelism (OT, EK, MS), pp. 589–604.
OOPSLAOOPSLA-2013-ZhaoLBCS
Isolation for nested task parallelism (JZ, RL, ZB, SC, VS), pp. 571–588.
AdaEuropeAdaEurope-2013-MichellMP #ada #fine-grained #named
Tasklettes — A Fine Grained Parallelism for Ada on Multicores (SM, BM, LMP), pp. 17–34.
HILTHILT-2013-Taft #concurrent #named #proving #safety #source code #thread #tutorial
Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
HILTHILT-2013-Taft13a #ada #programming #set
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
PADLPADL-2013-MachadoAD #declarative #performance #programming #using
Parallel Performance of Declarative Programming Using a PGAS Model (RM, SA, DD), pp. 244–260.
PLDIPLDI-2013-Ragan-KelleyBAPDA #compilation #image #locality #named #optimisation #pipes and filters
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines (JRK, CB, AA, SP, FD, SPA), pp. 519–530.
PPDPPPDP-2013-Corte-RealDR #programming #prolog
Prolog programming with a map-reduce parallel construct (JCR, IdCD, RR), pp. 285–296.
PPDPPPDP-2013-ODonnell #array #functional
Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.
ASEASE-2013-ChenJ #named #refactoring
JFlow: Practical refactorings for flow-based parallelism (NC, REJ), pp. 202–212.
ASEASE-2013-KusanoW #c #c++ #concurrent #generative #named #thread
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
ASEASE-2013-RosnerSAKF #alloy #analysis #clustering #modelling #named
Ranger: Parallel analysis of alloy models by range partitioning (NR, JHS, NA, SK, MFF), pp. 147–157.
ESEC-FSEESEC-FSE-2013-TrippR #adaptation #named
Tightfit: adaptive parallelization with foresight (OT, NR), pp. 169–179.
ICSEICSE-2013-LiuYCY #monitoring #novel #process
Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (XL, YY, DC, DY), pp. 1281–1284.
SACSAC-2013-HuangXCL #adaptation #algorithm #analysis #detection #implementation #random testing #testing
Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms (RH, XX, JC, YL), pp. 1049–1054.
SACSAC-2013-TeixeiraRG #detection #locality #using
Indoor localization using SLAM in parallel with a natural marker detector (LT, ABR, MG), pp. 27–33.
ASPLOSASPLOS-2013-HonarmandDTKPP #named
Cyrus: unintrusive application-level record-replay for replay parallelism (NH, ND, JT, STK, GP, CP), pp. 193–206.
ASPLOSASPLOS-2013-LuciaC #empirical #source code #thread
Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.
CASECASE-2013-SoviziK #matrix #nondeterminism #random #using
Uncertainty characterization in serial and parallel manipulators using random matrix theory (JS, VNK), pp. 312–317.
CASECASE-2013-ZhangH #algorithm #analysis #convergence #coordination #implementation #optimisation
Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.
CCCC-2013-KempfVP #identification
Compiler-Guided Identification of Critical Sections in Parallel Code (SK, RV, MP), pp. 204–223.
CGOCGO-2013-EmaniWO #adaptation
Smart, adaptive mapping of parallelism in the presence of external workload (MKE, ZW, MFPO), p. 10.
CGOCGO-2013-GreweWO #source code
Portable mapping of data parallel programs to OpenCL for heterogeneous systems (DG, ZW, MFPO), p. 10.
CGOCGO-2013-HuangJBJA #automation #runtime #using
Automatically exploiting cross-invocation parallelism using runtime information (JH, TBJ, SRB, NPJ, DIA), p. 11.
CGOCGO-2013-RenALMPS #data type
SIMD parallelization of applications that traverse irregular data structures (BR, GA, JRL, TM, TP, WS), p. 10.
CGOCGO-2013-YanTZYS #algorithm #fine-grained #graph #named #traversal
Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithms (JY, GT, XZ, EY, NS), p. 10.
CGOCGO-2013-ZhangM #named
Hidp: A hierarchical data parallel language (YZ, FM), p. 11.
DACDAC-2013-HanZF #gpu #named #simulation
TinySPICE: a parallel SPICE simulator on GPU for massively repeated small circuit simulations (LH, XZ, ZF), p. 8.
DACDAC-2013-RoyCPP #synthesis #towards #trade-off
Towards optimal performance-area trade-off in adders by synthesis of parallel prefix structures (SR, MRC, RP, DZP), p. 8.
DACDAC-2013-YeWHL #segmentation #simulation
Time-domain segmentation based massively parallel simulation for ADCs (ZY, BW, SH, YL), p. 6.
DACDAC-2013-ZhaiBS #realtime #streaming
Exploiting just-enough parallelism when mapping streaming applications in hard real-time systems (JTZ, MB, TS), p. 8.
DATEDATE-2013-ChenD #predict #simulation #using
Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.
DATEDATE-2013-DaloukasMETS #approach #delivery #network #performance #power management
A parallel fast transform-based preconditioning approach for electrical-thermal co-simulation of power delivery networks (KD, AM, NEE, PT, GIS), pp. 1689–1694.
DATEDATE-2013-Moy #approach #modelling #programming
Parallel programming with SystemC for loosely timed models: a non-intrusive approach (MM), pp. 9–14.
DATEDATE-2013-NiakiS #automation #embedded #simulation
An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
DATEDATE-2013-PanCL #agile #design #named #performance #search-based #towards
PAGE: parallel agile genetic exploration towards utmost performance for analog circuit design (PCP, HMC, CCL), pp. 1849–1854.
DATEDATE-2013-ShengWLY #named
SPaC: a segment-based parallel compression for backup acceleration in nonvolatile processors (XS, YW, YL, HY), pp. 865–868.
HPCAHPCA-2013-CragoALP #energy #hybrid #latency #robust
Hybrid latency tolerance for robust energy-efficiency on 1000-core data parallel processors (NCC, OA, SSL, SJP), pp. 294–305.
HPCAHPCA-2013-QianHSQ #dependence #memory management #named #performance
Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model (XQ, HH, BS, DQ), pp. 554–565.
HPCAHPCA-2013-SampsonYWCW #3d
Sonic Millip3De: A massively parallel 3D-stacked accelerator for 3D ultrasound (RS, MY, SW, CC, TFW), pp. 318–329.
HPCAHPCA-2013-WangCWMZLN #architecture #execution
A multiple SIMD, multiple data (MSMD) architecture: Parallel execution of dynamic and static SIMD fragments (YW, SC, JW, JM, KZ, WL, XN), pp. 603–614.
HPDCHPDC-2013-LiuJZZSMC #automation #named
ACIC: automatic cloud I/O configurator for parallel applications (ML, YJ, JZ, YZ, QS, XM, WC), pp. 111–112.
HPDCHPDC-2013-ZhangKWWF #scalability
MTC envelope: defining the capability of large scale computers in the context of parallel scripting applications (ZZ, DSK, MW, JMW, ITF), pp. 37–48.
HPDCHPDC-2013-ZhouWSJS #realtime
Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.
LCTESLCTES-2013-JangKL #algorithm
Practical speculative parallelization of variable-length decompression algorithms (HJ, CK, JWL), pp. 55–64.
PDPPDP-2013-AldinucciDTCT #biology #evolution #probability
Parallel Stochastic Simulators in System Biology: The Evolution of the Species (MA, MD, FT, MC, MT), pp. 410–419.
PDPPDP-2013-BuonoDLT #manycore
Parallel Patterns for General Purpose Many-Core (DB, MD, SL, MT), pp. 131–139.
PDPPDP-2013-DaneluttoT #programming #set
A RISC Building Block Set for Structured Parallel Programming (MD, MT), pp. 46–50.
PDPPDP-2013-McCoolSMK #analysis #named
Paralysis: An Extensible Multi-tiered Guidance Environment for Program Parallelization and Analysis (SM, RS, PM, FK), pp. 400–404.
PDPPDP-2013-MichailidisM #estimation #kernel #manycore #modelling #programming
Parallel Computing of Kernel Density Estimation with Different Multi-core Programming Models (PDM, KGM), pp. 77–85.
PDPPDP-2013-MoscaMMCD #biology #implementation #modelling #probability
A Parallel Implementation of the Stau-DPP Stochastic Simulator for the Modelling of Biological Systems (EM, IM, LM, AC, DD), pp. 427–431.
PDPPDP-2013-YoshinagaTHSNI #hybrid #manycore #scalability
A Delegation Mechanism on Many-Core Oriented Hybrid Parallel Computers for Scalability of Communicators and Communications in MPI (KY, YT, AH, MS, MN, YI), pp. 249–253.
PPoPPPPoPP-2013-AcarCR #scheduling #source code
Scheduling parallel programs by work stealing with private deques (UAA, AC, MR), pp. 219–228.
PPoPPPPoPP-2013-BergstromFRRRS
Data-only flattening for nested data parallelism (LB, MF, MR, JHR, SR, AS), pp. 81–92.
PPoPPPPoPP-2013-BonettaBP #javascript #named
TigerQuoll: parallel event-based JavaScript (DB, WB, CP), pp. 251–260.
PPoPPPPoPP-2013-CaiZWC #detection #named #source code #thread
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs (YC, KZ, SW, WKC), pp. 311–312.
PPoPPPPoPP-2013-CascavalFMPRRWB #manycore #mobile #named #web
ZOOMM: a parallel web browser engine for multicore mobile devices (CC, SF, PMO, WP, MR, BR, MW, VB), pp. 271–280.
PPoPPPPoPP-2013-ChenC #scalability
Scalable deterministic replay in a parallel full-system emulator (YC, HC), pp. 207–218.
PPoPPPPoPP-2013-DeoK #array #gpu
Parallel suffix array and least common prefix for the GPU (MD, SK), pp. 197–206.
PPoPPPPoPP-2013-GrassoKCF #automation #clustering #problem
Automatic problem size sensitive task partitioning on heterogeneous parallel systems (IG, KK, BC, TF), pp. 281–282.
PPoPPPPoPP-2013-LuM #migration
Multi-level parallel computing of reverse time migration for seismic imaging on blue Gene/Q (LL, KAM), pp. 291–292.
PPoPPPPoPP-2013-MeyerovichTAB #attribute grammar #synthesis
Parallel schedule synthesis for attribute grammars (LAM, MET, EA, RB), pp. 187–196.
PPoPPPPoPP-2013-ParkST #programming
Parallel programming with big operators (CP, GLSJ, JBT), pp. 293–294.
SOSPSOSP-2013-WeissHAA #game studies #named #thread
ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.
FASEFASE-2013-TrikiCBS #implementation #modelling #realtime
Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.
CAVCAV-2013-BarnatBHHKLRSW #c #c++ #model checking #source code #thread
DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
CAVCAV-2013-FarzanK #bound #named #static analysis
Duet: Static Analysis for Unbounded Parallelism (AF, ZK), pp. 191–196.
CSLCSL-2013-Nishimura #game studies #semantics
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
ICLPICLP-J-2013-ArbelaezTC #predict #runtime #satisfiability #using
Using sequential runtime distributions for the parallel speedup prediction of SAT local search (AA, CT, PC), pp. 625–639.
ICTSSICTSS-2013-Ibing #eclipse #execution #symbolic computation
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.
ISSTAISSTA-2013-BindalBL #bound #concurrent #source code #testing #thread
Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
ISSTAISSTA-2013-LuoR #named #runtime #source code #thread
EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.
ISSTAISSTA-2013-RadoiD #concurrent #detection #java
Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.
ISSTAISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #refinement
Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.
ICSTSAT-2013-BelovMM
Parallel MUS Extraction (AB, NM, JMS), pp. 133–149.
SIGMODSIGMOD-2012-PavloCZ #automation #clustering #database
Skew-aware automatic database partitioning in shared-nothing, parallel OLTP systems (AP, CC, SBZ), pp. 61–72.
SIGMODSIGMOD-2012-SidlauskasSJ #in memory #query
Parallel main-memory indexing for moving-object query and update workloads (DS, SS, CSJ), pp. 37–48.
VLDBVLDB-2012-AlbutiuKN #database #in memory #manycore #memory management
Massively Parallel Sort-Merge Joins in Main Memory Multi-Core Database Systems (MCA, AK, TN), pp. 1064–1075.
VLDBVLDB-2012-JiangBCL #named #scalability
MOIST: A Scalable and Parallel Moving Object Indexer with School Tracking (JJ, HB, EYC, YL), pp. 1838–1849.
CSMRCSMR-2012-JuniorPCM #architecture #version control
A GPU-based Architecture for Parallel Image-aware Version Control (JRdSJ, TP, EWGC, LGPM), pp. 191–200.
ICPCICPC-2012-SajnaniOL #clone detection #detection #pipes and filters #using
Parallel code clone detection using MapReduce (HS, JO, CVL), pp. 261–262.
SCAMSCAM-2012-LazarescuL #analysis #c #dependence #source code
Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.
ICALPICALP-v1-2012-Marchetti-SpaccamelaRSW
Assigning Sporadic Tasks to Unrelated Parallel Machines (AMS, CR, SvdS, AW), pp. 665–676.
ICALPICALP-v2-2012-GoodrichM
Anonymous Card Shuffling and Its Applications to Parallel Mixnets (MTG, MM), pp. 549–560.
FLOPSFLOPS-2012-Lobachev #termination
Parallel Computation Skeletons with Premature Termination Property (OL), pp. 197–212.
FLOPSFLOPS-2012-Morihata #algorithm #problem
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.
HaskellHaskell-2012-LippmeierCKJ #array
Guiding parallel array fusion with indexed types (BL, MMTC, GK, SLPJ), pp. 25–36.
IFLIFL-2012-DieterleHBL #composition
Iterating Skeletons — Structured Parallelism by Composition (MD, TH, JB, RL), pp. 18–36.
ICGTICGT-2012-HeckelEGH #concurrent #graph transformation #probability
Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
CSCWCSCW-2012-PhillipsRS #development #integration #process #scalability
Information needs for integration decisions in the release process of large-scale parallel development (SP, GR, JS), pp. 1371–1380.
CIKMCIKM-2012-ChoiLKLM #named #query #xml
HadoopXML: a suite for parallel processing of massive XML data with multiple twig pattern queries (HC, KHL, SHK, YJL, BM), pp. 2737–2739.
CIKMCIKM-2012-LiLJWZH #corpus
Joint bilingual name tagging for parallel corpora (QL, HL, HJ, WW, JZ, FH), pp. 1727–1731.
CIKMCIKM-2012-RiondatoDFU #algorithm #approximate #mining #named #pipes and filters #random
PARMA: a parallel randomized algorithm for approximate association rules mining in MapReduce (MR, JAD, RF, EU), pp. 85–94.
CIKMCIKM-2012-ZhuZYGX #classification
Parallel proximal support vector machine for high-dimensional pattern classification (ZZ, XZ, YY, YFG, XX), pp. 2351–2354.
KDDKDD-2012-JiLHCH #ranking
Parallel field ranking (MJ, BL, XH, DC, JH), pp. 723–731.
KDIRKDIR-2012-Inselberg #coordination #geometry #visual notation
Parallel Coordinates: Visual Multidimensional Geometry and Its Applications (AI).
KRKR-2012-TachmazidisAFK #reasoning #towards
Towards Parallel Nonmonotonic Reasoning with Billions of Facts (IT, GA, GF, SK).
SEKESEKE-2012-LiuLLGCYL #automation #execution #testing
Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.
SEKESEKE-2012-MeloSS #effectiveness #evaluation #source code #testing #thread
Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
ECOOPECOOP-2012-ReichenbachSI #java #named #programming
PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.
ECOOPECOOP-2012-WestbrookZBS
Practical Permissions for Race-Free Parallelism (EMW, JZ, ZB, VS), pp. 614–639.
OOPSLAOOPSLA-2012-Anderson #fine-grained #policy #resource management #using
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies (ZRA), pp. 717–736.
OOPSLAOOPSLA-2012-GordonPPBD
Uniqueness and reference immutability for safe parallelism (CSG, MJP, JP, AB, JD), pp. 21–40.
OOPSLAOOPSLA-2012-ImamS
Integrating task parallelism with actors (SMI, VS), pp. 753–772.
OOPSLAOOPSLA-2012-YuNPP #named #source code #testing #thread
Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
TOOLSTOOLS-EUROPE-2012-NgYH #optimisation #programming
Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
PLDIPLDI-2012-ChiwKRSS #analysis #domain-specific language #image #named #visualisation
Diderot: a parallel DSL for image analysis and visualization (CC, GK, JR, LS, NS), pp. 111–120.
PLDIPLDI-2012-FengGN #effectiveness
Effective parallelization of loops in the presence of I/O operations (MF, RG, IN), pp. 487–498.
PLDIPLDI-2012-KawaguchiRBJ
Deterministic parallelism via liquid effects (MK, PMR, AB, RJ), pp. 45–54.
PLDIPLDI-2012-LiuZJDK #compilation #framework
A compiler framework for extracting superword level parallelism (JL, YZ, OJ, WD, MTK), pp. 347–358.
PLDIPLDI-2012-OanceaR #logic
Logical inference techniques for loop parallelization (CEO, LR), pp. 509–520.
PLDIPLDI-2012-RamanZLA #execution #flexibility #named
Parcae: a system for flexible parallel execution (AR, AZ, JWL, DIA), pp. 133–144.
PLDIPLDI-2012-RamanZSVY #concurrent #detection #precise #scalability
Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
PLDIPLDI-2012-TrippMFS #named
JANUS: exploiting parallelism via hindsight (OT, RM, JF, MS), pp. 145–156.
PLDIPLDI-2012-WuTHCY #analysis #precise #source code
Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.
POPLPOPL-2012-BouajjaniE #analysis #recursion #source code
Analysis of recursively parallel programs (AB, ME), pp. 203–214.
PPDPPPDP-2012-TriossiORF #compilation #hardware
Compiling CHR to parallel hardware (AT, SO, AR, TWF), pp. 173–184.
SASSAS-2012-LeePMH #analysis #performance
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism (JKL, JP, RM, HH), pp. 5–23.
ASEASE-2012-KahkonenSH #automation #source code #testing #thread #using
Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
FSEFSE-2012-OkurD #developer #how #library #question
How do developers use parallel libraries? (SO, DD), p. 54.
ICSEICSE-2012-Monteiro #algorithm #effectiveness #named
HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors (PM), pp. 1559–1562.
ICSEICSE-2012-NistorLPGM #automation #clustering #generative #named #performance #random #testing #thread
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
SACSAC-2012-ZaraketNSJ #architecture #library #source code #using
Portable Parallel Programs using architecture-aware libraries (FAZ, MN, MS, AJ), pp. 1922–1924.
SLESLE-2012-BarenghiVCMP #generative #named #parsing #precedence
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (AB, EV, SCR, DM, MP), pp. 264–274.
ASPLOSASPLOS-2012-JoaoSMP #identification #scheduling #thread
Bottleneck identification and scheduling in multithreaded applications (JAJ, MAS, OM, YNP), pp. 223–234.
ASPLOSASPLOS-2012-RadojkovicCMVPCNV #approach #statistics #thread
Optimal task assignment in multithreaded processors: a statistical approach (PR, VC, MM, JV, AP, FJC, MN, MV), pp. 235–248.
CASECASE-2012-BilykM #heuristic #problem #search-based
Variable neighborhood search-based subproblem solution procedures for a parallel shifting bottleneck heuristic for complex job shops (AB, LM), pp. 419–424.
CASECASE-2012-ObeidDY #constraints #health #scheduling
Scheduling on parallel machines with time constraints and Equipment Health Factors (AO, SDP, CY), pp. 401–406.
CCCC-2012-PuttaN #analysis #points-to
Parallel Replication-Based Points-To Analysis (SP, RN), pp. 61–80.
CCCC-2012-StreitHZH #adaptation #named #online #runtime
Sambamba: A Runtime System for Online Adaptive Parallelization (KS, CH, AZ, SH), pp. 240–243.
CGOCGO-2012-CampanoniJHRWB #automation #named #source code
HELIX: automatic parallelization of irregular programs for chip multiprocessing (SC, TMJ, GHH, VJR, GYW, DMB), pp. 84–93.
CGOCGO-2012-ZouR #detection #source code
Scan detection and parallelization in “inherently sequential” nested loop programs (YZ, SVR), pp. 74–83.
DACDAC-2012-LoS #analysis #execution #monitoring #runtime #worst-case
Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DACDAC-2012-RenCWZY #gpu #simulation
Sparse LU factorization for parallel circuit simulation on GPU (LR, XC, YW, CZ, HY), pp. 1125–1130.
DATEDATE-2012-CanedoF #cyber-physical #execution #industrial #towards
Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
DATEDATE-2012-ChatziparaskevasBP #difference #finite #using
An FPGA-based parallel processor for Black-Scholes option pricing using finite differences schemes (GC, AB, IP), pp. 709–714.
DATEDATE-2012-ChenHD #design #simulation
Out-of-order parallel simulation for ESL design (WC, XH, RD), pp. 141–146.
DATEDATE-2012-CordesM #algorithm #search-based #using
Multi-objective aware extraction of task-level parallelism using genetic algorithms (DC, PM), pp. 394–399.
DATEDATE-2012-HankendiC #energy #performance
Reducing the energy cost of computing through efficient co-scheduling of parallel workloads (CH, AKC), pp. 994–999.
DATEDATE-2012-LiuJL #constant
Parallel probing: Dynamic and constant time setup procedure in circuit switching NoC (SL, AJ, ZL), pp. 1289–1294.
DATEDATE-2012-LiuTW #analysis #approach #graph #statistics
Parallel statistical analysis of analog circuits by GPU-accelerated graph-based approach (XL, SXDT, HW), pp. 852–857.
DATEDATE-2012-MarongiuBB #clustering #embedded #lightweight #performance
Fast and lightweight support for nested parallelism on cluster-based embedded many-cores (AM, PB, LB), pp. 105–110.
DATEDATE-2012-OzTKT #analysis #thread #trade-off
Performance-reliability tradeoff analysis for multithreaded applications (IO, HRT, MTK, OT), pp. 893–898.
HPCAHPCA-2012-JeongYSSLE #locality #memory management
Balancing DRAM locality and parallelism in shared memory CMP systems (MKJ, DHY, DS, MS, IL, ME), pp. 53–64.
HPCAHPCA-2012-SeguljaA #architecture #programming
Architectural support for synchronization-free deterministic parallel programming (CS, TSA), pp. 337–348.
HPDCHPDC-2012-KutluAK #algorithm #data-driven #fault tolerance
Fault tolerant parallel data-intensive algorithms (MK, GA, OK), pp. 133–134.
HPDCHPDC-2012-PasettoMFPX #architecture #communication #evaluation #manycore #performance #thread
Performance evaluation of interthread communication mechanisms on multicore/multithreaded architectures (DP, MM, HF, FP, JX), pp. 131–132.
HPDCHPDC-2012-SchendelPJBBGLLKCKRS #hybrid #optimisation #scalability
ISOBAR hybrid compression-I/O interleaving for large-scale parallel I/O optimization (ERS, SVP, JJ, DABI, ZG, SL, QL, HK, JC, SK, RBR, NFS), pp. 61–72.
ISMMISMM-2012-IyengarGWM #concurrent #scalability
Scalable concurrent and parallel mark (BI, EFG, MW, KM), pp. 61–72.
LCTESLCTES-2012-YuYWCC #consistency #source code
Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.
PDPPDP-2012-AldinucciADTK #data flow #manycore #metaprogramming
Parallel Patterns + Macro Data Flow for Multi-core Programming (MA, LA, MD, MT, PK), pp. 27–36.
PDPPDP-2012-BoukedjarLB #bound #branch #cpu #gpu
Parallel Branch and Bound on a CPU-GPU System (AB, MEL, DEB), pp. 392–398.
PDPPDP-2012-CuencaGG #algebra #linear #platform
Improving Linear Algebra Computation on NUMA Platforms through Auto-tuned Nested Parallelism (JC, LPG, DG), pp. 66–73.
PDPPDP-2012-DaniASB #concurrent #named #predict #source code #thread
TCP: Thread Contention Predictor for Parallel Programs (AMD, BA, YNS, CB), pp. 19–26.
PDPPDP-2012-DemirozTKT #thread
Locality-Aware Dynamic Mapping for Multithreaded Applications (BD, HRT, MTK, OT), pp. 185–189.
PDPPDP-2012-GrutzLFVHDK #using
Enabling Parallel Computing of a Brain Connectivity Map Using the MediGRID-Infrastructure and FSL (RG, BL, NKF, FV, AH, FD, DK), pp. 596–602.
PDPPDP-2012-GuerreroSCG #architecture
Parallelization of Virtual Screening in Drug Discovery on Massively Parallel Architectures (GDG, HEPS, JMC, JMG), pp. 588–595.
PDPPDP-2012-HadjidoukasLD #independence #library #platform #runtime
A Runtime Library for Platform-Independent Task Parallelism (PEH, EL, VVD), pp. 229–236.
PDPPDP-2012-HakkarinenCCH #communication
Reduced Data Communication for Parallel CMA-ES for REACTS (DH, TC, ZC, AH), pp. 97–101.
PDPPDP-2012-Kunkel0 #architecture #file system #functional #hardware #modelling #named #representation
IOPm — Modeling the I/O Path with a Functional Representation of Parallel File System and Hardware Architecture (JMK, TL), pp. 554–561.
PDPPDP-2012-MakassikisVW #approach #fault tolerance #named #towards
FT-GReLoSSS: A Skeletal-Based Approach towards Application Parallelization and Low-Overhead Fault Tolerance (CM, SV, XW), pp. 237–244.
PDPPDP-2012-RungerS #interactive #manycore #scalability #simulation
Interaction List Compression in Large Parallel Particle Simulations on Multicore Systems (GR, MS), pp. 190–197.
PDPPDP-2012-SeguraSL #adaptation #benchmark #metric #problem
Analysing the Adaptation Level of Parallel Hyperheuristics Applied to Multiobjectivised Benchmark Problems (CS, ES, CL), pp. 138–145.
PPoPPPPoPP-2012-AnderschCJ #embedded #programming
Programming parallel embedded and consumer applications in OpenMP superscalar (MA, CCC, BHHJ), pp. 281–282.
PPoPPPPoPP-2012-BaghsorkhiGDH #evaluation #memory management #performance #thread
Efficient performance evaluation of memory hierarchy for highly multithreaded graphics processors (SSB, IG, MD, WmWH), pp. 23–34.
PPoPPPPoPP-2012-BlellochFGS #algorithm #performance
Internally deterministic parallel algorithms can be fast (GEB, JTF, PBG, JS), pp. 181–192.
PPoPPPPoPP-2012-BurnimENS #correctness #named #nondeterminism #specification
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
PPoPPPPoPP-2012-CaniouDRCA #analysis #constraints #performance
Performance analysis of parallel constraint-based local search (YC, DD, FR, PC, SA), pp. 337–338.
PPoPPPPoPP-2012-ChenCM #array #named #representation
PARRAY: a unifying array representation for heterogeneous parallelism (YC, XC, HM), pp. 171–180.
PPoPPPPoPP-2012-DinhAJGMR #debugging #scalability #statistics
Scalable parallel debugging with statistical assertions (MND, DA, CJ, AG, BM, LDR), pp. 311–312.
PPoPPPPoPP-2012-FengGB
Speculative parallelization on GPGPUs (MF, RG, LNB), pp. 293–294.
PPoPPPPoPP-2012-JiangPOJ #manycore
OpenMP-style parallelism in data-centered multicore computing with R (LJ, PBP, GO, FJ), pp. 335–336.
PPoPPPPoPP-2012-JimboreanCPML #adaptation #framework #performance
Adapting the polyhedral model as a framework for efficient speculative parallelization (AJ, PC, BP, LM, VL), pp. 295–296.
PPoPPPPoPP-2012-KamilCBCGHMF #domain-specific language #effectiveness #embedded #performance
Portable parallel performance from sequential, productive, embedded domain-specific languages (SK, DC, SB, HC, EG, JH, JM, AF), pp. 303–304.
PPoPPPPoPP-2012-LeisersonSS #generative #platform #thread
Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
PPoPPPPoPP-2012-NobariCKB #scalability
Scalable parallel minimum spanning forest computation (SN, TTC, PK, SB), pp. 205–214.
PPoPPPPoPP-2012-NollG #framework #optimisation #source code
An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.
PPoPPPPoPP-2012-NugterenC #adaptation #performance #predict
The boat hull model: adapting the roofline model to enable performance prediction for parallel computing (CN, HC), pp. 291–292.
PPoPPPPoPP-2012-TardieuWL
A work-stealing scheduler for X10’s task parallelism with suspension (OT, HW, HL), pp. 267–276.
PPoPPPPoPP-2012-TzenakisPKPVN #analysis #dependence #named
BDDT: : block-level dynamic dependence analysis for deterministic task-based parallelism (GT, AP, JK, PP, HV, DSN), pp. 301–302.
ESOPESOP-2012-EmotoFH #framework #pipes and filters #programming
Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
ESOPESOP-2012-LuPZX #source code #thread
A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
FoSSaCSFoSSaCS-2012-CrafaVY #semantics #π-calculus
Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
CAVCAV-2012-AtigBEL #detection #source code #thread
Detecting Fair Non-termination in Multithreaded Programs (MFA, AB, ME, AL), pp. 210–226.
CAVCAV-2012-ConchonGKMZ #model checking #named #smt
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems — Tool Paper (SC, AG, SK, AM, FZ), pp. 718–724.
CAVCAV-2012-HagueL #analysis #bound #source code #thread
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.
CAVCAV-2012-Schwartz-NarbonneLAM #debugging #named #source code
passert: A Tool for Debugging Parallel Programs (DSN, FL, DIA, SM), pp. 751–757.
ICSTICST-2012-GeronimoFMS #algorithm #automation #generative #pipes and filters #search-based #testing
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
ISSTAISSTA-2012-YuL #approach #data flow #dependence #named #profiling
Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.
ISSTAISSTA-2012-ZhaiXCT #approach #named #thread
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications (KZ, BX, WKC, THT), pp. 221–231.
ISSTAISSTA-2012-ZhangLE #fault #thread #user interface
Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.
ICSTSAT-2012-AudemardHJLP #satisfiability
Revisiting Clause Exchange in Parallel SAT Solving (GA, BH, SJ, JML, CP), pp. 200–213.
ICSTSAT-2012-BloomGHSSS #framework #game studies #named #satisfiability #scalability
SatX10: A Scalable Plug&Play Parallel SAT Framework — (BB, DG, BH, AS, HS, VAS), pp. 463–468.
ICSTSAT-2012-HyvarinenM #design #satisfiability #scalability
Designing Scalable Parallel SAT Solvers (AEJH, NM), pp. 214–227.
VMCAIVMCAI-2012-SiegelZ #execution #invariant #source code #symbolic computation
Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
PODSPODS-2011-KoutrisS #evaluation #query
Parallel evaluation of conjunctive queries (PK, DS), pp. 223–234.
SIGMODSIGMOD-2011-KohlerYZ #performance #using
Efficient parallel skyline processing using hyperplane projections (HK, JY, XZ), pp. 85–96.
SIGMODSIGMOD-2011-NehmeB #automation #clustering #database #design
Automated partitioning design in parallel database systems (RVN, NB), pp. 1137–1148.
SIGMODSIGMOD-2011-SoroushBW #array #named
ArrayStore: a storage manager for complex parallel array processing (ES, MB, DLW), pp. 253–264.
SIGMODSIGMOD-2011-UpadhyayaKB #fault tolerance #latency #online #query
A latency and fault-tolerance optimizer for online parallel query plans (PU, YK, MB), pp. 241–252.
SIGMODSIGMOD-2011-XuKQWZ #approach #distributed
A Hadoop based distributed loading approach to parallel data warehouses (YX, PK, YQ, JW, KKZ), pp. 1091–1100.
VLDBVLDB-2011-AoZWSWLLL #algorithm #performance #using
Efficient Parallel Lists Intersection and Index Compression Algorithms using Graphics Processing Units (NA, FZ, DW, DSS, GW, XL, JL, SL), pp. 470–481.
VLDBVLDB-2011-SewallCKSD #architecture #manycore #named
PALM: Parallel Architecture-Friendly Latch-Free Modifications to B+ Trees on Many-Core Processors (JS, JC, CK, NS, PD), pp. 795–806.
VLDBVLDB-2012-MansourASK11 #named #performance #string
ERA: Efficient Serial and Parallel Suffix Tree Construction for Very Long Strings (EM, AA, SS, PK), pp. 49–60.
VLDBVLDB-2012-PavloJZ11 #execution #modelling #on the #optimisation #predict #transaction
On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.
VLDBVLDB-2012-RohPKSL11 #optimisation
B+-tree Index Optimization by Exploiting Internal Parallelism of Flash-based Solid State Drives (HR, SP, SK, MS, SWL), pp. 286–297.
SCAMSCAM-2011-NicolayRMJ #automation #higher-order #source code
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs (JN, CDR, WDM, VJ), pp. 185–194.
DLTDLT-J-2010-BordihnKM11 #automaton #communication #finite
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 1577–1592.
DLTDLT-J-2010-Head11 #algebra #towards
Computing with Light: toward Parallel Boolean Algebra (TH), pp. 1625–1637.
DLTDLT-J-2010-KariS11 #revisited
Schema for Parallel Insertion and Deletion: Revisited (LK, SS), pp. 1655–1668.
CEFPCEFP-2011-Loogen #functional #haskell #named #programming
Eden — Parallel Functional Programming with Haskell (RL), pp. 142–206.
CEFPCEFP-2011-Marlow #concurrent #haskell #programming
Parallel and Concurrent Programming in Haskell (SM), pp. 339–401.
HaskellHaskell-2011-LippmeierK #haskell #performance
Efficient parallel stencil convolution in Haskell (BL, GK), pp. 59–70.
HaskellHaskell-2011-MarlowNJ #monad
A monad for deterministic parallelism (SM, RN, SLPJ), pp. 71–82.
ICFPICFP-2011-MorihataM #functional #programming
Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.
IFLIFL-2011-MaierT #haskell #implementation
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell (PM, PWT), pp. 35–50.
HCIHCI-DDA-2011-LuoY #algorithm #clustering #framework #network #novel #using
A Novel Parallel Clustering Algorithm Based on Artificial Immune Network Using nVidia CUDA Framework (RL, QY), pp. 598–607.
ICEISICEIS-v2-2011-ShahK #architecture #simulation
System Architecture of the Decision Support System Employing Microscopic Simulation and Expert System in Parallel for the Post Incident Traffic Management (SAAS, HK), pp. 113–117.
CIKMCIKM-2011-HanusseM #algorithm
A parallel algorithm for computing borders (NH, SM), pp. 1639–1648.
CIKMCIKM-2011-TeodoroVMTM #adaptation #approximate #retrieval #similarity
Adaptive parallel approximate similarity search for responsive multimedia retrieval (GT, EV, NM, RdST, WMJ), pp. 495–504.
ICMLICML-2011-BradleyKBG #coordination
Parallel Coordinate Descent for L1-Regularized Loss Minimization (JKB, AK, DB, CG), pp. 321–328.
ICMLICML-2011-SujeethLBRCWAOO #domain-specific language #machine learning #named
OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning (AKS, HL, KJB, TR, HC, MW, ARA, MO, KO), pp. 609–616.
KDDKDD-2011-GhotingKPK #algorithm #data mining #implementation #machine learning #mining #named #pipes and filters #tool support
NIMBLE: a toolkit for the implementation of parallel data mining and machine learning algorithms on mapreduce (AG, PK, EPDP, RK), pp. 334–342.
MLDMMLDM-2011-Kessl #mining #using
Static Load Balancing of Parallel Mining of Frequent Itemsets Using Reservoir Sampling (RK), pp. 553–567.
SEKESEKE-2011-LiuL #analysis #petri net #pointer #thread
Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.
SIGIRSIGIR-2011-WangGWL #information retrieval #learning #rank
Parallel learning to rank for information retrieval (SW, BJG, KW, HWL), pp. 1083–1084.
ECOOPECOOP-2011-BocchinoA #framework #object-oriented #programming
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks (RLBJ, VSA), pp. 306–332.
OOPSLAOOPSLA-2011-AcarCR #scheduling
Oracle scheduling: controlling granularity in implicitly parallel languages (UAA, AC, MR), pp. 499–518.
OOPSLAOOPSLA-2011-BurckhardtLSYB #incremental
Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
OOPSLAOOPSLA-2011-JeonGLT #named #source code
Kismet: parallel speedup estimates for serial programs (DJ, SG, CML, MBT), pp. 519–536.
OOPSLAOOPSLA-2011-KeLZBJD #dependence #programming #using
Safe parallel programming using dynamic dependence hints (CK, LL, CZ, TB, BJ, CD), pp. 243–258.
OOPSLAOOPSLA-2011-PylaRV
Exploiting coarse-grain speculative parallelism (HKP, CJR, SV), pp. 555–574.
OOPSLAOOPSLA-2011-TrippYFS #data flow #effectiveness #named
HAWKEYE: effective discovery of dataflow impediments to parallelization (OT, GY, JF, MS), pp. 207–224.
PLATEAUPLATEAU-2011-SadowskiK #case study #evaluation #heuristic #programming language
Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
AdaEuropeAdaEurope-2011-Burns #hardware #programming language #realtime
Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEuropeAdaEurope-2011-RazaFP #detection #fault #source code
Detecting High-Level Synchronization Errors in Parallel Programs (SAR, SF, EP), pp. 17–30.
AdaEuropeAdaEurope-2011-Taft #implementation #manycore #programming #specification
Multicore Programming in ParaSail — Parallel Specification and Implementation Language (STT), pp. 196–200.
PADLPADL-2011-PetricekS #concurrent #control flow #named #programming
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.
PLDIPLDI-2011-BohmKKFT #compilation #using
Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (IB, TJKEvK, SCK, BF, NPT), pp. 74–85.
PLDIPLDI-2011-BurnimENS #correctness #named #nondeterminism #runtime #specification
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
PLDIPLDI-2011-PingaliNKBHKLLMMPS #algorithm
The tao of parallelism in algorithms (KP, DN, MK, MB, MAH, RK, THL, AL, RM, MML, DP, XS), pp. 12–25.
PLDIPLDI-2011-PrabhuGZJA #commutative #programming #set
Commutative set: a language extension for implicit parallel programming (PP, SG, YZ, NPJ, DIA), pp. 1–11.
PLDIPLDI-2011-RamanKOLA #distributed #using
Parallelism orchestration using DoPE: the degree of parallelism executive (AR, HK, TO, JWL, DIA), pp. 26–37.
PLDIPLDI-2011-SatoI #automation #matrix
Automatic parallelization via matrix multiplication (SS, HI), pp. 470–479.
PLDIPLDI-2011-UdupaRT #dependence #named
ALTER: exploiting breakable dependences for parallelization (AU, KR, WT), pp. 480–491.
POPLPOPL-2011-BocchinoHHAAWS #nondeterminism
Safe nondeterminism in a deterministic-by-default parallel language (RLBJ, SH, NH, SVA, VSA, AW, TS), pp. 535–548.
POPLPOPL-2011-DoddsJP #composition #reasoning
Modular reasoning for deterministic parallelism (MD, SJ, MJP), pp. 259–270.
POPLPOPL-2011-EsparzaG #complexity #source code #thread #verification
Complexity of pattern-based verification for multithreaded programs (JE, PG), pp. 499–510.
POPLPOPL-2011-JoishaSBBC #automation #compilation #effectiveness #optimisation #reuse #thread #using
A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code (PGJ, RSS, PB, HJB, DRC), pp. 623–636.
POPLPOPL-2011-PrountzosMPM #analysis #graph #optimisation #source code
A shape analysis for optimizing parallel graph programs (DP, RM, KP, KSM), pp. 159–172.
AdaSIGAda-2011-AliP #ada #programming
A parallel programming model for ada (HIA, LMP), pp. 19–26.
AdaSIGAda-2011-Moore #recursion #stack
Stack safe parallel recursion with paraffin (BJM), pp. 27–34.
AdaSIGAda-2011-Taft #implementation #specification
Experimenting with parasail: parallel specification and implementation language (STT), pp. 11–12.
ESEC-FSEESEC-FSE-2011-JagannathGJLRM #testing #thread
Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
ICSEICSE-2011-Pankratius #automation #evaluation #programming #usability
Automated usability evaluation of parallel programming constructs (VP), pp. 936–939.
ICSEICSE-2011-Sadowski #maintenance #modelling
Mental models and parallel program maintenance (CS), pp. 1102–1105.
SACSAC-2011-BiancoGH #approach #manycore #performance
A fast approach for parallel deduplication on multicore processors (GDB, RdMG, CAH), pp. 1027–1032.
SACSAC-2011-CaniouCDA #constraints
Parallel constraint-based local search on the HA8000 supercomputer (YC, PC, DD, SA), pp. 920–921.
SACSAC-2011-DingSW #algorithm #transitive
FPGA based parallel transitive closure algorithm (ZD, WS, MYW), pp. 393–394.
SACSAC-2011-KongGDY #energy #realtime #scheduling
Energy-efficient scheduling for parallel real-time tasks based on level-packing (FK, NG, QD, WY), pp. 635–640.
SACSAC-2011-RangasamyS #effectiveness #modelling #performance #petri net #source code #thread
Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.
ASPLOSASPLOS-2011-BurnimNS #semantics #source code #specification #thread
Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.
CCCC-2011-JenistaED #reachability #using
Using Disjoint Reachability for Parallelization (JCJ, YHE, BD), pp. 198–224.
CCCC-2011-Odersky #persistent
Future-Proofing Collections: From Mutable to Persistent to Parallel (MO), p. 1.
CCCC-2011-RodriguezL #analysis #data flow
Actor-Based Parallel Dataflow Analysis (JR, OL), pp. 179–197.
CGOCGO-2011-HertzbergO #automation #runtime
Runtime automatic speculative parallelization (BH, KO), pp. 64–73.
CGOCGO-2011-LeeT #automation #fine-grained
Automatic parallelization of fine-grained meta-functions on a chip multiprocessor (SL, JT), pp. 130–140.
DACDAC-2011-HsiaoD #bound #scalability
A highly scalable parallel boundary element method for capacitance extraction (YCH, LD), pp. 552–557.
DACDAC-2011-KandemirYK #clustering #concurrent #thread
A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
DACDAC-2011-YunKKH #embedded #manycore #simulation
Simulation environment configuration for parallel simulation of multicore embedded systems (DY, JK, SK, SH), pp. 345–350.
DACDAC-2011-ZhaoF #3d #gpu #performance #platform
Fast multipole method on GPU: tackling 3-D capacitance extraction on massively parallel SIMD platforms (XZ, ZF), pp. 558–563.
DATEDATE-2011-AkinBNRSA #algorithm #implementation
A high-performance parallel implementation of the Chambolle algorithm (AA, IB, AAN, VR, MDS, DA), pp. 1436–1441.
DATEDATE-2011-ChrysanthouCSP #algorithm
Parallel accelerators for GlimmerHMM bioinformatics algorithm (NC, GC, ES, IP), pp. 94–99.
DATEDATE-2011-GeunsBBC #source code
Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems (SJG, MJGB, TB, HC), pp. 697–702.
DATEDATE-2011-GobbatoCG #megamodelling #scalability
A parallel Hamiltonian eigensolver for passivity characterization and enforcement of large interconnect macromodels (LG, AC, SGT), pp. 26–31.
DATEDATE-2011-KimCSY #modelling #performance #simulation #using
Temporal parallel simulation: A fast gate-level HDL simulation using higher level models (DK, MJC, KS, SY), pp. 1584–1589.
DATEDATE-2011-WuWWZLXY #architecture #programming
Gemma in April: A matrix-like parallel programming architecture on OpenCL (TW, DW, YW, XZ, HL, NX, HY), pp. 703–708.
DATEDATE-2011-ZattSBH #architecture #estimation #hardware #pipes and filters #throughput #video
Multi-level pipelined parallel hardware architecture for high throughput motion and disparity estimation in Multiview Video Coding (BZ, MS, SB, JH), pp. 1448–1453.
HPCAHPCA-2011-ChenLZ #memory management #performance
Essential roles of exploiting internal parallelism of flash memory based solid state drives in high-speed data processing (FC, RL, XZ), pp. 266–277.
HPCAHPCA-2011-McKinley #how #question
How’s the parallel computing revolution going? (KSM), p. 217.
HPCAHPCA-2011-MehraraHSM #javascript #using
Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.
HPDCHPDC-2011-LeonRFM #injection
Cache injection for parallel applications (EAL, RR, KBF, ABM), pp. 15–26.
HPDCHPDC-2011-MinhW #analysis #performance #towards
Towards a profound analysis of bags-of-tasks in parallel systems and their performance impact (TNM, LW), pp. 111–122.
HPDCHPDC-2011-SongYCS #file system #layout
A cost-intelligent application-specific data layout scheme for parallel file systems (HS, YY, YC, XHS), pp. 37–48.
HPDCHPDC-2011-YooLKK #distributed #named
InContext: simple parallelism for distributed applications (SY, HL, CEK, MK), pp. 97–108.
HPDCHPDC-2011-ZhouKB #debugging #detection #locality #named #scalability #source code #using
Vrisha: using scaling properties of parallel programs for bug detection and localization (BZ, MK, SB), pp. 85–96.
LCTESLCTES-2011-AlbertAGZ #analysis
Task-level analysis for a language with async/finish parallelism (EA, PA, SG, DZ), pp. 21–30.
PDPPDP-2011-BarlasHJ #approach #case study #cpu #design #encryption #gpu
An Analytical Approach to the Design of Parallel Block Cipher Encryption/Decryption: A CPU/GPU Case Study (GDB, AH, YAJ), pp. 247–251.
PDPPDP-2011-CosenzaCCS #distributed #simulation
Distributed Load Balancing for Parallel Agent-Based Simulations (BC, GC, RDC, VS), pp. 62–69.
PDPPDP-2011-DAgostinoMWGMC
Parallelization of the SSAKE Genomics Application (DD, IM, RLW, AG, LM, AC), pp. 326–330.
PDPPDP-2011-EstradaCG #adaptation #algorithm #architecture #manycore #optimisation #performance
Adaptive Parallel Interval Global Optimization Algorithms Based on their Performance for Non-dedicated Multicore Architectures (JFSE, LGC, IG), pp. 252–256.
PDPPDP-2011-JacksonRBHWACS #optimisation
Parallel Optimisation Strategies for Fusion Codes (AJ, FR, SB, JH, JW, MA, MC, AS), pp. 357–364.
PDPPDP-2011-KassickBN #configuration management #file system
Dynamic I/O Reconfiguration for a NFS-Based Parallel File System (RK, FZB, POAN), pp. 11–18.
PDPPDP-2011-LiLTS #adaptation #algorithm #problem
Adaptive and Cost-Optimal Parallel Algorithm for the 0-1 Knapsack Problem (KL, LL, TT, EHMS), pp. 537–544.
PDPPDP-2011-MatsuiUMN #adaptation #refinement #simulation
MPI Parallelization of PIC Simulation with Adaptive Mesh Refinement (TM, HU, TM, MN), pp. 277–281.
PDPPDP-2011-Schuele #execution #manycore #performance #streaming
Efficient Parallel Execution of Streaming Applications on Multi-core Processors (TS), pp. 231–238.
PDPPDP-2011-WathWL #estimation #grid #using
Parallel Hematopoietic Stem Cell Division Rate Estimation Using an Agent-Based Model on the Grid (RCvdW, EvdW, PL), pp. 311–317.
PPoPPPPoPP-2011-BauerCSA #memory management #programming
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia (MB, JC, ES, AA), pp. 13–24.
PPoPPPPoPP-2011-CatanzaroGK #compilation #embedded #named
Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
PPoPPPPoPP-2011-ChafiSBLAO #approach
A domain-specific approach to heterogeneous parallelism (HC, AKS, KJB, HL, ARA, KO), pp. 35–46.
PPoPPPPoPP-2011-Ding #concurrent #programming
Two examples of parallel programming without concurrency constructs (PP-CC) (CD), pp. 299–300.
PPoPPPPoPP-2011-FengGH #commit #named #scalability
SpiceC: scalable parallelism via implicit copying and explicit commit (MF, RG, YH), pp. 69–80.
PPoPPPPoPP-2011-HassaanBP #algorithm #comparison #order
Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms (MAH, MB, KP), pp. 3–12.
PPoPPPPoPP-2011-JeonGLVT #named
Kremlin: like gprof, but for parallelization (DJ, SG, CML, SKV, MBT), pp. 293–294.
PPoPPPPoPP-2011-KarmaniMM #concurrent #contract #thread
Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
PPoPPPPoPP-2011-McKinley #how #question
How’s the parallel computing revolution going? (KSM), pp. 123–124.
PPoPPPPoPP-2011-SiegelZ #automation #source code #verification
Automatic formal verification of MPI-based parallel programs (SFS, TKZ), pp. 309–310.
PPoPPPPoPP-2011-StellwagSKS #constraints #library
A wait-free NCAS library for parallel applications with timing constraints (PS, FS, JK, WSP), pp. 301–302.
PPoPPPPoPP-2011-TanaseBFHPPSTXMVBAR #framework
The STAPL parallel container framework (GT, AAB, AF, H, IP, OP, TGS, NT, XX, NM, JV, MB, NMA, LR), pp. 235–246.
PPoPPPPoPP-2011-TianLFG #incremental
Enhanced speculative parallelization via incremental recovery (CT, CL, MF, RG), pp. 189–200.
PPoPPPPoPP-2011-WangLCWCZZ #named #scalability
COREMU: a scalable and portable parallel full-system emulator (ZW, RL, YC, XW, HC, WZ, BZ), pp. 213–222.
PPoPPPPoPP-2011-WillcockHEL #data-driven #fine-grained #programming
Active pebbles: a programming model for highly parallel fine-grained data-driven computations (JW, TH, NGE, AL), pp. 305–306.
ESOPESOP-2011-Mine #c #embedded #fault #runtime #source code #static analysis
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
STOCSTOC-2011-KempeV #game studies
Parallel repetition of entangled games (JK, TV), pp. 353–362.
STOCSTOC-2011-LenzenW #bound #random
Tight bounds for parallel randomized load balancing: extended abstract (CL, RW), pp. 11–20.
TACASTACAS-2011-KieferW #on the #probability #process #source code
On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
ICLPICLP-2011-Bone #automation
Automatic Parallelism in Mercury (PB), pp. 251–254.
ICLPICLP-J-2011-BoneSS #automation
Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.
ICLPICLP-J-2011-GuzmanCCH #backtracking #independence
Parallel backtracking with answer memoing for independent and-parallelism (PCdG, AC, MC, MVH), pp. 555–574.
HTHT-2010-HuangW #behaviour #web
Parallel browsing behavior on the web (JH, RWW), pp. 13–18.
SIGMODSIGMOD-2010-VernicaCL #performance #pipes and filters #using
Efficient parallel set-similarity joins using MapReduce (RV, MJC, CL), pp. 495–506.
SIGMODSIGMOD-2010-XuKG
Integrating hadoop and parallel DBMs (YX, PK, LG), pp. 969–974.
VLDBVLDB-2010-AlexandrovBEHHKMNW #data analysis
Massively Parallel Data Analysis with PACTs on Nephele (AA, DB, SE, MH, FH, OK, VM, EN, DW), pp. 1625–1628.
VLDBVLDB-2010-QinYC #keyword #query
Ten Thousand SQLs: Parallel Keyword Queries Computing (LQ, JXY, LC), pp. 58–69.
VLDBVLDB-2010-SmolaN #architecture #modelling #topic
An Architecture for Parallel Topic Models (AJS, SMN), pp. 703–710.
ICSMEICSM-2010-Dig #refactoring #tutorial
A practical tutorial on refactoring for parallelism (DD), pp. 1–2.
SCAMSCAM-2010-EdvinssonLL #analysis #reachability
Parallel Reachability and Escape Analyses (ME, JL, WL), pp. 125–134.
DLTDLT-2010-BordihnKM #automaton #communication #finite
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 88–99.
DLTDLT-2010-Head #algebra #using
Using Light to Implement Parallel Boolean Algebra (TH), pp. 231–242.
DLTDLT-2010-KariS
Schema for Parallel Insertion and Deletion (LK, SS), pp. 267–278.
SEFMSEFM-2010-BarnatBR #partial order #reduction
Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.
FLOPSFLOPS-2010-MorihataM #automation #quantifier #recursion #using
Automatic Parallelization of Recursive Functions Using Quantifier Elimination (AM, KM), pp. 321–336.
HaskellHaskell-2010-MarlowMLAT #haskell
Seq no more: better strategies for parallel Haskell (SM, PM0, HWL, MA, PWT), pp. 91–102.
ICFPICFP-2010-Blelloch #algorithm #functional
Functional parallel algorithms (GEB), pp. 247–248.
ICFPICFP-2010-KellerCLJL #array #haskell
Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.
SOFTVISSOFTVIS-2010-TrumperBD #comprehension #thread #using #visualisation
Understanding complex multithreaded software systems by using trace visualization (JT, JB, JD), pp. 133–142.
ICEISICEIS-AIDSS-2010-AdamLDB #clustering #performance #using
Performance Gain for Clustering with Growing Neural Gas using Parallelization Methods (AA, SL, SD, WB), pp. 264–269.
ICEISICEIS-DISI-2010-LimaH #approach #named
p-MDAG — A Parallel MDAG Approach (JdCL, CMH), pp. 322–331.
ICEISICEIS-ISAS-2010-RauberR #adaptation #architecture #execution #manycore
Adaptive Execution of Software Systems on Parallel Multicore Architectures (TR, GR), pp. 191–198.
CIKMCIKM-2010-AjmeraKLMP #corpus #web
Alignment of short length parallel corpora with an application to web search (JA, HSK, KPL, SM, MP), pp. 1477–1480.
CIKMCIKM-2010-CebronB #learning
Active learning in parallel universes (NC, MRB), pp. 1621–1624.
CIKMCIKM-2010-ZhangSZBA #documentation #mining #named #probability #topic
PTM: probabilistic topic mapping model for mining parallel document collections (DZ, JS, CZ, AB, NA), pp. 1653–1656.
ICPRICPR-2010-Chicheva #2d #algorithm #data transformation #representation
Parallel Algorithm of Two-Dimensional Discrete Cosine Transform Based on Special Data Representation (MAC), pp. 2326–2328.
ICPRICPR-2010-ForsbergAK #estimation #image
Parallel Scales for More Accurate Displacement Estimation in Phase-Based Image Registration (DF, MTA, HK), pp. 2329–2332.
ICPRICPR-2010-HabedAB #identification #image
Reconstruction-Free Parallel Planes Identification from Uncalibrated Images (AH, AA, BB), pp. 1828–1831.
ICPRICPR-2010-ZhaoLZZ
Parallel versus Hierarchical Fusion of Extended Fingerprint Features (QZ, FL, LZ, DZ), pp. 1132–1135.
KDDKDD-2010-HeFLC #graph #scalability
Parallel SimRank computation on large graphs with iterative aggregation (GH, HF, CL, HC), pp. 543–552.
KDIRKDIR-2010-BonninBB #detection #modelling #predict #web
Detecting Parallel Browsing to Improve Web Predictive Modeling (GB, AB, AB), pp. 504–509.
KEODKEOD-2010-KamelR #ontology #using
Ontology Building using Parallel Enumerative Structures (MK, BR), pp. 276–281.
MODELSMoDELS-v2-2010-RicheVB
Transformation-Based Parallelization of Request-Processing Applications (TLR, HMV, DSB), pp. 2–16.
OOPSLAOOPSLA-2010-ChafiDMRSHOO
Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
OOPSLAOOPSLA-2010-HerzeelC #control flow #interactive #recursion
Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator (CH, PC), pp. 377–396.
OOPSLAOOPSLA-2010-Mendez-LojoMP #analysis #points-to
Parallel inclusion-based points-to analysis (MML, AM, KP), pp. 428–443.
OOPSLAOOPSLA-2010-SwaineTDFF #incremental #runtime
Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.
PLDIPLDI-2010-PanHA
Composing parallel software efficiently with lithe (HP, BH, KA), pp. 376–387.
PLDIPLDI-2010-PrabhuRV #programmable
Safe programmable speculative parallelism (PP, GR, KV), pp. 50–61.
PLDIPLDI-2010-TianFG #data type
Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.
PLDIPLDI-2010-YangXKZ #compilation #memory management #optimisation
A GPGPU compiler for memory optimization and parallelism management (YY, PX, JK, HZ), pp. 86–97.
QAPLQAPL-2010-StefanekHB #analysis #performance
A new tool for the performance analysis of massively parallel computer systems (AS, RAH, JTB), pp. 159–181.
SASSAS-2010-BellAW #concurrent #logic #pipes and filters
Concurrent Separation Logic for Pipelined Parallelization (CJB, AWA, DW), pp. 151–166.
SASSAS-2010-VechevYRS #automation #source code #verification
Automatic Verification of Determinism for Structured Parallel Programs (MTV, EY, RR, VS), pp. 455–471.
AdaSIGAda-2010-McCormick #ada #embedded #realtime
Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
AdaSIGAda-2010-Moore #ada
Parallelism generics for Ada 2005 and beyond (BJM), pp. 41–52.
ICSEICSE-2010-BurnimS #named #source code #specification #thread
DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
ICSEICSE-2010-LaiCC #detection #random #source code #testing #thread
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.
ICSEICSE-2010-SchaeferPT #architecture
Engineering parallel applications with tunable architectures (CAS, VP, WFT), pp. 405–414.
SACSAC-2010-KrajcaV #functional #memory management #transaction
Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
SACSAC-2010-RodriguesNPM #thread
A new technique for data privatization in user-level threads and its use in parallel applications (ERR, POAN, JP, CLM), pp. 2149–2154.
SACSAC-2010-ToledoOOP #algorithm #problem #scheduling #search-based
Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem (CFMT, LdO, RRRdO, MRP), pp. 1148–1152.
SACSAC-2010-TraulsenH #data flow
Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
SACSAC-2010-Youssef #metric #performance #using
Using surface effect measures to model parallel performance (BBY), pp. 2400–2401.
ASPLOSASPLOS-2010-BerganADCG #compilation #execution #named #runtime #thread
CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
ASPLOSASPLOS-2010-GeladoCNSPH #distributed #memory management #symmetry
An asymmetric distributed shared memory model for heterogeneous parallel systems (IG, JC, NN, JES, SJP, WmWH), pp. 347–358.
ASPLOSASPLOS-2010-GoodsteinVCGKM #adaptation #analysis #data flow #monitoring
Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring (MLG, EV, SC, PBG, MAK, TCM), pp. 257–270.
ASPLOSASPLOS-2010-RamanKMJA #concurrent #thread #transaction #using
Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.
ASPLOSASPLOS-2010-VlachosGKCFGM #monitoring #named #online #thread
ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications (EV, MLG, MAK, SC, BF, PBG, TCM), pp. 271–284.
CASECASE-2010-DriesselHMS #architecture #assessment #heuristic #performance #scheduling
A parallel shifting bottleneck heuristic for scheduling complex job shops: Architecture and performance assessment (RD, UH, LM, WS), pp. 81–86.
CASECASE-2010-ShahNK #case study #optimisation
CAD-enhanced workspace optimization for parallel manipulators: A case study (HS, MSN, VNK), pp. 816–821.
CASECASE-2010-YangO #design
Singularity-free workspace design for the translational 3-UPU parallel robot (YY, JFO), pp. 222–227.
CCCC-2010-CraikK #object-oriented #source code #using
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs (AC, WK), pp. 145–164.
CGOCGO-2010-CanedoYK #automation
Automatic parallelization of simulink applications (AC, TY, HK), pp. 151–159.
CGOCGO-2010-HanLT #reduction
Speculative parallelization of partial reduction variables (LH, WL, JT), pp. 141–150.
CGOCGO-2010-HuangRJZHA #pipes and filters
Decoupled software pipelining creates parallelization opportunities (JH, AR, TBJ, YZ, THH, DIA), pp. 121–130.
CGOCGO-2010-PatilPSLC #analysis #framework #named #source code
PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs (HP, CP, MS, GL, JC), pp. 2–11.
CGOCGO-2010-SusskrautKWSMF #compilation #framework #named
Prospect: a compiler framework for speculative parallelization (MS, TK, SW, US, MM, CF), pp. 131–140.
DACDAC-2010-ChakradharR #hardware
Best-effort computing: re-thinking parallel software and hardware (STC, AR), pp. 865–870.
DACDAC-2010-FengZ #analysis #grid #power management #robust
Parallel multigrid preconditioning on graphics processing units (GPUs) for robust power grid analysis (ZF, ZZ), pp. 661–666.
DACDAC-2010-IosifidisMMGBSC #automation #framework #memory management #optimisation #platform
A framework for automatic parallelization, static and dynamic memory optimization in MPSoC platforms (YI, AM, SM, EdG, AB, DS, FC), pp. 549–554.
DACDAC-2010-NurvitadhiHLK #automation #pipes and filters #specification #synthesis #thread #transaction
Automatic multithreaded pipeline synthesis from transactional datapath specifications (EN, JCH, SLL, TK), pp. 314–319.
DACDAC-2010-WangZD #distributed #logic #simulation
Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.
DACDAC-2010-WuDL #approach #integer #programming
A parallel integer programming approach to global routing (THW, AD, JTL), pp. 194–199.
DACDAC-2010-YeL #modelling #optimisation #performance #runtime #simulation
Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation (XY, PL), pp. 561–566.
DACDAC-2010-ZhaoGFH #optimisation
Parallel hierarchical cross entropy optimization for on-chip decap budgeting (XZ, YG, ZF, SH), pp. 843–848.
DATEDATE-2010-BaudischBS #independence #source code #thread
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP (DB, JB, KS), pp. 949–952.
DATEDATE-2010-CanedoYK #pipes and filters #simulation
Skewed pipelining for parallel simulink simulations (AC, TY, HK), pp. 891–896.
DATEDATE-2010-ChenS #implementation #manycore #named #scalability
pSHS: A scalable parallel software implementation of Montgomery multiplication for multicore systems (ZC, PS), pp. 843–848.
DATEDATE-2010-CollinsVC #code generation #manycore #recursion
Recursion-driven parallel code generation for multi-core platforms (RLC, BV, LPC), pp. 190–195.
DATEDATE-2010-GrottesiMRB #animation
Parallel subdivision surface rendering and animation on the Cell BE processor (RG, SM, MR, LB), pp. 178–183.
DATEDATE-2010-KhalighR #adaptation #kernel #modelling #simulation
Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs (RSK, MR), pp. 1183–1188.
DATEDATE-2010-MelloMGP #simulation
Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations (AM, IM, AG, FP), pp. 606–609.
DATEDATE-2010-UbarDRJ #simulation
Parallel X-fault simulation with critical path tracing technique (RU, SD, JR, AJ), pp. 879–884.
DATEDATE-2010-WenCCL #debugging #named #runtime #source code
RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.
HPCAHPCA-2010-MillerKKGBCEA #distributed #named
Graphite: A distributed parallel simulator for multicores (JEM, HK, GK, CGI, NB, CC, JE, AA), pp. 1–12.
HPDCHPDC-2010-AbramsonDKMD #debugging
Data centric highly parallel debugging (DA, MND, DK, BM, LDR), pp. 119–129.
HPDCHPDC-2010-AgrawalMHC #estimation #named #sequence #statistics
MPIPairwiseStatSig: parallel pairwise statistical significance estimation of local sequence alignment (AA, SM, DH, ANC), pp. 470–476.
HPDCHPDC-2010-CoutinhoOOBLDM #using #workflow
Data parallelism in bioinformatics workflows using Hydra (FC, ESO, DdO, VPB, AABL, AMRD, MM), pp. 507–515.
HPDCHPDC-2010-GunarathneWQF #in the cloud #paradigm
Cloud computing paradigms for pleasingly parallel biomedical applications (TG, TLW, JQ, GF), pp. 460–469.
HPDCHPDC-2010-JardakROM #network #scalability
Parallel processing of data from very large-scale wireless sensor networks (CJ, JR, FO, PM), pp. 787–794.
HPDCHPDC-2010-KrampeLS #hybrid #markov
A hybrid Markov chain model for workload on parallel computers (AK, JL, WS), pp. 589–596.
HPDCHPDC-2010-LiewAHH #data type #distributed #graph #optimisation #streaming #towards #using
Towards optimising distributed data streaming graphs using parallel streams (CSL, MPA, JIvH, LH), pp. 725–736.
HPDCHPDC-2010-LiuS
GPU-based parallel householder bidiagonalization (FL, FJS), pp. 288–291.
HPDCHPDC-2010-PetrouSMFPD #mutation testing #optimisation #permutation #testing
Optimization of a parallel permutation testing function for the SPRINT R package (SP, TMS, MM, TF, MP, BD), pp. 516–521.
HPDCHPDC-2010-TanakaT #data-driven #distributed #flexibility #named #workflow
Pwrake: a parallel and distributed flexible workflow management tool for wide-area data intensive computing (MT, OT), pp. 356–359.
HPDCHPDC-2010-YuanYWZ #named #predict #scheduling #strict
PV-EASY: a strict fairness guaranteed and prediction enabled scheduler in parallel job scheduling (YY, GY, YW, WZ), pp. 240–251.
ISMMISMM-2010-BarabashP #garbage collection #platform
Tracing garbage collection on highly parallel platforms (KB, EP), pp. 1–10.
ISMMISMM-2010-Siebert #concurrent #garbage collection #realtime
Concurrent, parallel, real-time garbage-collection (FS), pp. 11–20.
ISMMISMM-2010-TianFG #predict #using
Speculative parallelization using state separation and multiple value prediction (CT, MF, RG), pp. 63–72.
ISMMISMM-2010-VechevYY #named
PHALANX: parallel checking of expressive heap assertions (MTV, EY, GY), pp. 41–50.
OSDIOSDI-2010-AviramWHF #performance
Efficient System-Enforced Deterministic Parallelism (AA, SCW, SH, BF), pp. 193–206.
PDPPDP-2010-AlonsoRL #case study #clustering #implementation #manycore #matrix
Experimental Study of Six Different Implementations of Parallel Matrix Multiplication on Heterogeneous Computational Clusters of Multicore Processors (PA, RR, ALL), pp. 263–270.
PDPPDP-2010-AmentKWS #framework #platform #problem
A Parallel Preconditioned Conjugate Gradient Solver for the Poisson Problem on a Multi-GPU Platform (MA, GK, DW, WS), pp. 583–592.
PDPPDP-2010-ArmasLM #2d #algorithm #problem
Fine and Coarse-grained Parallel Algorithms for the 2D Cutting Stock Problem (JdA, CL, GM), pp. 255–262.
PDPPDP-2010-DAgostinoCMCM #algorithm #image #representation
A Parallel Algorithm for Molecular Surface Matching Through Image Representation (DD, AC, IM, PC, LM), pp. 387–394.
PDPPDP-2010-FreitasSAN #architecture #design
Impact of Parallel Workloads on NoC Architecture Design (HCdF, LMS, MAZA, POAN), pp. 551–555.
PDPPDP-2010-GaikwadT #gpu #linear
Parallel Iterative Linear Solvers on GPU: A Financial Engineering Case (AG, IMT), pp. 607–614.
PDPPDP-2010-GaliziaVCM #approach #image
A Dynamic Parallel Approach to Recognize Tubular Breast Cancer for TMA Image Building (AG, FV, AC, LM), pp. 403–410.
PDPPDP-2010-GrossBS #concept #persistent
The PPPSpace: Innovative Concepts for Permanent Capturing, Persistent Storing, and Parallel Processing and Distributing Events (TG, CB, MS), pp. 359–366.
PDPPDP-2010-GuevaraCSMML #performance
A Performance Tuning Strategy for Complex Parallel Application (JAG, EC, JS, AM, TM, EL), pp. 103–110.
PDPPDP-2010-JacksonCHWARS #community
EUFORIA HPC: Massive Parallelisation for Fusion Community (AJ, AC, JH, JW, MA, MR, AS), pp. 489–497.
PDPPDP-2010-LorenzoPLRS #lessons learnt #migration
Lessons Learnt Porting Parallelisation Techniques for Irregular Codes to NUMA Systems (JAL, JCP, DLL, FFR, DES), pp. 213–217.
PDPPDP-2010-MadrugaFN #architecture #manycore #performance #symmetry
Parallel Shared-Memory Workloads Performance on Asymmetric Multi-core Architectures (FLM, HCdF, POAN), pp. 163–169.
PDPPDP-2010-MasonGC #architecture #evaluation #network #security
Evaluation of a Massively Parallel Architecture for Network Security Applications (BCM, DG, CLC), pp. 85–91.
PDPPDP-2010-MinhW #predict #using
Using Historical Data to Predict Application Runtimes on Backfilling Parallel Systems (TNM, LW), pp. 246–252.
PDPPDP-2010-PinhoRS #algorithm #biology #optimisation #process
Pluggable Parallelization of Evolutionary Algorithms Applied to the Optimization of Biological Processes (JHMdP, MFdAPdR, JLFS), pp. 395–402.
PDPPDP-2010-RayoBMPD #embedded #manycore #power management #requirements #thread
Balancing Task Resource Requirements in Embedded Multithreaded Multicore Processors to Reduce Power Consumption (DBR, JSB, HHM, SP, JD), pp. 200–204.
PDPPDP-2010-SantoRSZ #clustering #distributed #memory management #transaction
Software Distributed Shared Memory with Transactional Coherence — A Software Engine to Run Transactional Shared-memory Parallel Applications on Clusters (MDS, NR, CS, EZ), pp. 175–179.
PDPPDP-2010-SerafinoR #algorithm #on the #search-based
On the Application of Multiple-Deme Parallel Genetic Algorithms in Astrophysics (DdS, FR), pp. 231–237.
PDPPDP-2010-WangBBW #approach #modelling #search-based #source code
Model Driven Iterative Multi-dimensional Parallelization of Multi-task Programs for the Cell BE: A Genetic Algorithm-Based Approach (MW, NB, FB, ZW), pp. 218–222.
PPoPPPPoPP-2010-AgrawalLS #programming
Helper locks for fork-join parallel programming (KA, CEL, JS), pp. 245–256.
PPoPPPPoPP-2010-BarretoDFGK #memory management #transaction
Leveraging parallel nesting in transactional memory (JB, AD, PF, RG, MK), pp. 91–100.
PPoPPPPoPP-2010-CastaldoW #scalability #using
Scaling LAPACK panel operations using parallel cache assignment (AMC, RCW), pp. 223–232.
PPoPPPPoPP-2010-ChandramowlishwaranKV #algebra #concurrent #linear #programming
Applying the concurrent collections programming model to asynchronous parallel dense linear algebra (AC, KK, RWV), pp. 345–346.
PPoPPPPoPP-2010-JangMSDK #architecture #data transformation #thread
Data transformations enabling loop vectorization on multithreaded data parallel architectures (BJ, PM, DS, RD, DRK), pp. 353–354.
PPoPPPPoPP-2010-LeeP #calculus
Featherweight X10: a core calculus for async-finish parallelism (JKL, JP), pp. 25–36.
PPoPPPPoPP-2010-LiuL #algorithm #locality
Improving parallelism and locality with asynchronous algorithms (LL, ZL), pp. 213–222.
PPoPPPPoPP-2010-LupeiSPMBKA #game studies #memory management #scalability #towards #transaction #using
Towards scalable and transparent parallelization of multiplayer games using transactional memory support (DL, BS, DP, MM, MB, WK, CA), pp. 325–326.
PPoPPPPoPP-2010-MuralidharaKR #clustering #thread
Intra-application shared cache partitioning for multithreaded applications (SPM, MTK, PR), pp. 329–330.
PPoPPPPoPP-2010-RadojkovicCVPCNV #concurrent #network #thread
Thread to strand binding of parallel network applications in massive multi-threaded systems (PR, VC, JV, AP, FJC, MN, MV), pp. 191–202.
PPoPPPPoPP-2010-TallentMP #thread
Analyzing lock contention in multithreaded applications (NRT, JMMC, AP), pp. 269–280.
PPoPPPPoPP-2010-ZhaiCZ #named #performance #predict #scalability #using
PHANTOM: predicting performance of parallel applications on large-scale parallel machines using a single node (JZ, WC, WZ), pp. 305–314.
PPoPPPPoPP-2010-ZhangDGKBF
Continuous speculative program parallelization in software (CZ, CD, XG, KK, TB, XF), pp. 335–336.
PPoPPPPoPP-2010-ZhangJS #matter #performance #question #source code #thread
Does cache sharing on modern CMP matter to the performance of contemporary multithreaded programs? (EZZ, YJ, XS), pp. 203–212.
ICLPICLP-2010-Alqaddoumi10 #functional #logic programming #towards #virtual machine
Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.
ICSTICST-2010-GligoricJM #mutation testing #named #performance #testing #thread
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.
ISSTAISSTA-2010-StaatsP #execution #generative #symbolic computation #testing
Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
SIGMODSIGMOD-2009-GhotingM #performance
Serial and parallel methods for i/o efficient suffix tree construction (AG, KM), pp. 827–840.
VLDBVLDB-2009-PandaHBB #learning #named #pipes and filters
PLANET: Massively Parallel Learning of Tree Ensembles with MapReduce (BP, JH, SB, RJB), pp. 1426–1437.
VLDBVLDB-2009-XuK #performance
Efficient Outer Join Data Skew Handling in Parallel DBMS (YX, PK), pp. 1390–1396.
ITiCSEITiCSE-2009-CasselLMW #concurrent #ontology
Concurrency and parallelism in the computing ontology (LNC, RJL, ADM, MW), p. 402.
CIAACIAA-2009-AtigT #communication #source code #verification
Verifying Parallel Programs with Dynamic Communication Structures (MFA, TT), pp. 145–154.
CIAACIAA-2009-HolubS #automaton #finite #implementation #on the
On Parallel Implementations of Deterministic Finite Automata (JH, SS), pp. 54–64.
ICALPICALP-v1-2009-BorosM #algorithm #performance #problem
A Fast and Simple Parallel Algorithm for the Monotone Duality Problem (EB, KM), pp. 183–194.
LATALATA-2009-PardubskaPO #automaton #communication #correctness #on the
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata (DP, MP, FO), pp. 660–671.
IFMIFM-2009-StockerLG #process #realtime
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.
RTARTA-2009-Schubert
The Existential Fragment of the One-Step Parallel Rewriting Theory (AS), pp. 78–92.
SEFMSEFM-2009-Ferrara #java #named #source code #thread
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.
CEFPCEFP-2009-FluetBFRRSX #functional #programming
Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.
HaskellHaskell-2009-JonesMS #haskell #performance
Parallel performance tuning for Haskell (DJJ, SM, SS), pp. 81–92.
ICFPICFP-2009-NewtonK #case study #domain-specific language #embedded #experience #functional
Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.
ICFPICFP-2009-ReppyRX #concurrent #ml
Parallel concurrent ML (JHR, CVR, YX), pp. 257–268.
ICFPICFP-2009-Steele #execution #functional
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.
GT-VMTGT-VMT-2009-BergmannRV #graph transformation #incremental #pattern matching
Parallelization of Graph Transformation Based on Incremental Pattern Matching (GB, IR, DV), pp. 100–114.
ICEISICEIS-DISI-2009-Perez-CebrerosMC #algorithm #query #scheduling
PSO-based Resource Scheduling Algorithm for Parallel Query Processing on Grids (APC, GML, NCC), pp. 131–137.
CIKMCIKM-2009-ChoiSCSC #distributed #evaluation #named #rdf #scalability
SPIDER: a system for scalable, parallel / distributed evaluation of large-scale RDF data (HC, JS, YC, MKS, YDC), pp. 2087–2088.
KDDKDD-2009-DaruruMWG #clustering #data flow #data mining #mining #pervasive #scalability
Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data (SD, NMM, MW, JG), pp. 1115–1124.
KDDKDD-2009-ZhangWWZ #community #detection #network #scalability
Parallel community detection on large networks with propinquity dynamics (YZ, JW, YW, LZ), pp. 997–1006.
MLDMMLDM-2009-StahlBA #classification #composition #framework #induction #named
PMCRI: A Parallel Modular Classification Rule Induction Framework (FTS, MAB, MA), pp. 148–162.
ICMTICMT-2009-XiongSHT #bidirectional #model transformation
Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.
ECOOPECOOP-2009-DamJLP #java #monitoring #security #thread
Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.
ECOOPECOOP-2009-VolosWASTN #design #implementation #memory management #named #transaction
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems (HV, AW, ARAT, TS, XT, RN), pp. 123–147.
OOPSLAOOPSLA-2009-BergerYLN #c #c++ #named #programming #thread
Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.
OOPSLAOOPSLA-2009-BocchinoADAHKOSSV #java
A type and effect system for deterministic parallel Java (RLBJ, VSA, DD, SVA, SH, RK, JO, PS, HS, MV), pp. 97–116.
OOPSLAOOPSLA-2009-LeijenSB #design #library
The design of a task parallel library (DL, WS, SB), pp. 227–242.
OOPSLAOOPSLA-2009-LublinermanCC #programming
Parallel programming with object assemblies (RL, SC, PC), pp. 61–80.
LOPSTRLOPSTR-2009-ScandoloKH #pipes and filters #using
Program Parallelization Using Synchronized Pipelining (LS, CK, MVH), pp. 173–187.
PADLPADL-2009-SuleimanM #concurrent #implementation #prolog #thread
Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.
PLDIPLDI-2009-PetrankMS #bound #source code
Progress guarantee for parallel programs via bounded lock-freedom (EP, MM, BS), pp. 144–154.
PLDIPLDI-2009-TournavitisWFO #approach #detection #towards
Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping (GT, ZW, BF, MFPO), pp. 177–187.
PPDPPPDP-2009-Vasconcelos #functional #linear #programming #thread
Session types for linear multithreaded functional programming (VTV), pp. 1–6.
SASSAS-2009-Hurlin #automation #optimisation #proving #source code
Automatic Parallelization and Optimization of Programs by Proof Rewriting (CH), pp. 52–68.
AdaSIGAda-2009-McCormick #ada #realtime
Ada for real-time and parallel processing (JWM), pp. 13–14.
ASEASE-2009-WongCVSS #design #development
Design Rule Hierarchies and Parallelism in Software Development Tasks (SW, YC, GV, GS, KS), pp. 197–208.
ESEC-FSEESEC-FSE-2009-BurnimS #source code #thread
Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
ESEC-FSEESEC-FSE-2009-ShaoKP #named #semantics
SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.
SACSAC-2009-BuckerRRW #automation #problem #simulation
Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
SACSAC-2009-Hurlin #protocol #specification #thread
Specifying and checking protocols of multithreaded classes (CH), pp. 587–592.
SACSAC-2009-KrajcaV #formal method #implementation #performance
Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.
SACSAC-2009-LinfordS #effectiveness
Vector stream processing for effective application of heterogeneous parallelism (JCL, AS), pp. 976–980.
SACSAC-2009-NarayananCKS #scalability
Parallel materialization of large ABoxes (SN, ÜVÇ, TMK, JHS), pp. 1257–1261.
SACSAC-2009-RuanMBQZ #energy #named
DARAW: a new write buffer to improve parallel I/O energy-efficiency (XR, AM, KB, XQ, ZZ), pp. 299–304.
SACSAC-2009-WakataniK #algorithm #grid
Reduced parallel PNN algorithm for PC grid systems (AW, TK), pp. 1009–1010.
ASPLOSASPLOS-2009-AleenC #analysis #commutative #program transformation
Commutativity analysis for software parallelization: letting program transformations see the big picture (FA, NC), pp. 241–252.
ASPLOSASPLOS-2009-CameronL #architecture #induction #principle
Architectural support for SWAR text processing with parallel bit streams: the inductive doubling principle (RDC, DL), pp. 337–348.
CASECASE-2009-LiQW #scheduling
ACO-based scheduling of parallel batch processing machines to minimize the total weighted tardiness (LL, FQ, QW), pp. 280–285.
CASECASE-2009-WangLNRKML #concurrent #source code #thread
Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
CCCC-2009-Sarkar #challenge #optimisation #source code
Challenges in Code Optimization of Parallel Programs (VS), p. 1.
CGOCGO-2009-Bronevetsky #data flow #message passing
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
DACDAC-2009-Bailey #performance
Misleading performance claims in parallel computations (DHB), pp. 528–533.
DACDAC-2009-GongYH #incremental #named #probability #process
PiCAP: a parallel and incremental capacitance extraction considering stochastic process variation (FG, HY, LH), pp. 764–769.
DACDAC-2009-LevitanC
Massively parallel processing: it’s déjà vu all over again (SPL, DMC), pp. 534–538.
DACDAC-2009-LiuH #optimisation #performance
GPU-based parallelization for fast circuit optimization (YL, JH), pp. 943–946.
DACDAC-2009-LuZSZ #algorithm #manycore
Multicore parallel min-cost flow algorithm for CAD applications (YL, HZ, LS, XZ), pp. 832–837.
DATEDATE-2009-LiFNBPC #architecture #co-evolution #design #detection #ml #set
Algorithm-architecture co-design of soft-output ML MIMO detector for parallel application specific instruction set processors (ML, RF, DN, BB, LVdP, FC), pp. 1608–1613.
DATEDATE-2009-PengC #simulation
Parallel transistor level full-chip circuit simulation (HP, CKC), pp. 304–307.
DATEDATE-2009-RistauLAF #analysis
Dimensioning heterogeneous MPSoCs via parallelism analysis (BR, TL, OA, GF), pp. 554–557.
DATEDATE-2009-ShafiqueBH #approach #design #hardware #performance #predict #video
A parallel approach for high performance hardware design of intra prediction in H.264/AVC Video Codec (MS, LB, JH), pp. 1434–1439.
DATEDATE-2009-YangH #pipes and filters #scheduling
Pipelined data parallel task mapping/scheduling technique for MPSoC (HY, SH), pp. 69–74.
DATEDATE-2009-ZridaJAA #implementation #video
High level H.264/AVC video encoder parallelization for multiprocessor implementation (HKZ, AJ, ACA, MA), pp. 940–945.
HPCAHPCA-2009-ChenA #fine-grained #first-order #thread #throughput
A first-order fine-grained multithreaded throughput model (XEC, TMA), pp. 329–340.
HPDCHPDC-2009-GoncalvesS
Pluggable parallelisation (RCG, JLS), pp. 11–20.
HPDCHPDC-2009-HeadG #execution #performance #scalability #xml
Performance enhancement with speculative execution based parallelism for processing large-scale xml-based application data (MRH, MG), pp. 21–30.
HPDCHPDC-2009-LiSDZ #performance #predict
Performance prediction based on hierarchy parallel features captured in multi-processing system (JL, FS, ND, QZ), pp. 63–64.
HPDCHPDC-2009-YiMEJT #abstraction #clustering #manycore
Harnessing parallelism in multicore clusters with the all-pairs and wavefront abstractions (LY, CM, SJE, KJ, DT), pp. 1–10.
ISMMISMM-2009-HazelwoodLC #scalability #thread
Scalable support for multithreaded applications on dynamic binary instrumentation systems (KMH, GL, RC), pp. 20–29.
PDPPDP-2009-DAgostinoCMCM #3d #composition #image
Parallel Decomposition of 3D Surfaces in Images of Local Descriptors for Molecular Screening (DD, AC, IM, PC, LM), pp. 261–267.
PDPPDP-2009-FrancoBFA #2d #implementation #using
A Parallel Implementation of the 2D Wavelet Transform Using CUDA (JF, GB, JF, MEA), pp. 111–118.
PDPPDP-2009-KunisR #algorithm #constraints #optimisation #precedence #scheduling #using
Optimization of Layer-based Scheduling Algorithms for Mixed Parallel Applications with Precedence Constraints Using Move-blocks (RK, GR), pp. 70–77.
PDPPDP-2009-LeonMSS #algorithm #library
Parallel Library of Multi-objective Evolutionary Algorithms (CL, GM, ES, CS), pp. 28–35.
PDPPDP-2009-MallonTTD #benchmark #implementation #java #message passing #metric #named
NPB-MPJ: NAS Parallel Benchmarks Implementation for Message-Passing in Java (DAM, GLT, JT, RD), pp. 181–190.
PDPPDP-2009-MortaraG #analysis #named #performance
ProTailor: A Parallel Operator for Extremely Fast Shape Analysis in Bioinformatics Applications (MM, AG), pp. 276–282.
PDPPDP-2009-NavaridasPM #performance
Effects of Job and Task Placement on Parallel Scientific Applications Performance (JN, JAP, JMA), pp. 55–61.
PDPPDP-2009-RabenseifnerHJ #clustering #hybrid #manycore #programming
Hybrid MPI/OpenMP Parallel Programming on Clusters of Multi-Core SMP Nodes (RR, GH, GJ), pp. 427–436.
PDPPDP-2009-TudelaL #optimisation #predict
Parallel Protein Structure Prediction by Multiobjective Optimization (JCCT, JOL), pp. 268–275.
PPoPPPPoPP-2009-AllenSS #dependence #execution #set
Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.
PPoPPPPoPP-2009-BaskaranVBRRS #effectiveness #manycore #scheduling
Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors (MMB, NV, UB, JR, AR, PS), pp. 219–228.
PPoPPPPoPP-2009-Blelloch
Parallel thinking (GEB), pp. 1–2.
PPoPPPPoPP-2009-HaTA #programming
Preliminary results on nb-feb, a synchronization primitive for parallel programming (PHH, PT, OJA), pp. 295–296.
PPoPPPPoPP-2009-KejariwalC #analysis #concurrent #source code #thread
Parallelization spectroscopy: analysis of thread-level parallelism in hpc programs (AK, CC), pp. 293–294.
PPoPPPPoPP-2009-KulkarniBIPC #how #question
How much parallelism is there in irregular applications? (MK, MB, RI, KP, CC), pp. 3–14.
PPoPPPPoPP-2009-TallentM #analysis #effectiveness #metric #performance #thread
Effective performance measurement and analysis of multithreaded applications (NRT, JMMC), pp. 229–240.
PPoPPPPoPP-2009-VolosWASTN #design #implementation #memory management #named #transaction
NePalTM: design and implementation of nested parallelism for transactional memory systems (HV, AW, ARAT, TS, XT, RN), pp. 291–292.
PPoPPPPoPP-2009-WangO #approach #machine learning
Mapping parallelism to multi-cores: a machine learning based approach (ZW, MFPO), pp. 75–84.
PPoPPPPoPP-2009-YangHLSS #recursion
Stack-based parallel recursion on graphics processors (KY, BH, QL, PVS, JS), pp. 299–300.
PPoPPPPoPP-2009-YauKZDP #simulation
Application-aware management of parallel simulation collections (SY, VK, DZ, KD, SGP), pp. 35–44.
SOSPSOSP-2009-DobrescuEACFIKMR #named
RouteBricks: exploiting parallelism to scale software routers (MD, NE, KJA, BGC, KRF, GI, AK, MM, SR), pp. 15–28.
ESOPESOP-2009-RazaCG #automation #logic
Automatic Parallelization with Separation Logic (MR, CC, PG), pp. 348–362.
ESOPESOP-2009-SadowskiFF #named #source code #thread
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
ICSTICST-2009-SiddiquiK #generative #named #testing
PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
ICSTICST-2009-TanNM #automation #black box #library #programming #testing
Automated Black Box Testing Tool for a Parallel Programming Library (RPT, PN, SM), pp. 307–316.
ICSTSAT-2009-OhmuraU #clustering #named #satisfiability
c-sat: A Parallel SAT Solver for Clusters (KO, KU), pp. 524–537.
CBSECBSE-2008-BothZ #automation #component #consistency #protocol #recursion
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems (AB, WZ), pp. 163–179.
DRRDRR-2008-ZantSV #documentation #image #scalability
Large scale parallel document image processing (TvdZ, LS, EV), p. 68150.
SIGMODSIGMOD-2008-VlachouDK #clustering #performance
Angle-based space partitioning for efficient parallel skyline computation (AV, CD, YK), pp. 227–238.
SIGMODSIGMOD-2008-XuKZC
Handling data skew in parallel joins in shared-nothing systems (YX, PK, XZ, LC), pp. 1043–1052.
VLDBVLDB-2008-ChaikenJLRSWZ #named #performance #set
SCOPE: easy and efficient parallel processing of massive data sets (RC, BJ, PÅL, BR, DS, SW, JZ), pp. 1265–1276.
VLDBVLDB-2008-JohnsonRSS #evaluation
Row-wise parallel predicate evaluation (RJ, VR, RS, GS), pp. 622–634.
SIGITESIGITE-2008-HackerS #challenge #development #education
Meeting the data challenge: curriculum development for parallel data systems (TJH, JAS), pp. 153–156.
ICSMEICSM-2008-TallamTG #concurrent #detection #slicing #source code #thread
Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.
PASTEPASTE-2008-PamnanyJ #named
Elyze: enabling safe parallelism in event-driven servers (KP, JJ), pp. 15–21.
DLTDLT-2008-BordihnKM #automaton #capacity #communication #finite #on the
On the Computational Capacity of Parallel Communicating Finite Automata (HB, MK, AM), pp. 146–157.
ICALPICALP-A-2008-JansenT #algorithm #approximate #scheduling
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 (KJ, RT), pp. 234–245.
SEFMSEFM-2008-Ferrara #source code #static analysis #thread
Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.
AFPAFP-2008-JonesS08 #concurrent #haskell #programming #tutorial
A Tutorial on Parallel and Concurrent Programming in Haskell (SLPJ, SS), pp. 267–305.
ICFPICFP-2008-FluetRR #framework #scheduling
A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.
ICFPICFP-2008-FluetRRS #thread
Implicitly-threaded parallelism in Manticore (MF, MR, JHR, AS), pp. 119–130.
ICFPICFP-2008-SpoonhowerBHG #functional #profiling #source code
Space profiling for parallel functional programs (DS, GEB, RH, PBG), pp. 253–264.
IFLIFL-2008-GrelckP #architecture #implementation #runtime #thread
Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.
IFLIFL-2008-SvenssonSC #embedded #named #programming
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.
ICGTICGT-2008-BonchiGH #independence
Parallel and Sequential Independence for Borrowed Contexts (FB, FG, TH), pp. 226–241.
ICGTICGT-2008-KreowskiK #framework #graph
Graph Multiset Transformation as a Framework for Massively Parallel Computation (HJK, SK), pp. 351–365.
ICEISICEIS-ISAS2-2008-RauberR #architecture #manycore #modelling #workflow
Models for Parallel Workflow Processing on Multi-Core Architectures (TR, GR), pp. 220–227.
ICPRICPR-2008-AlpcanB #algorithm #distributed #learning
A discrete-time parallel update algorithm for distributed learning (TA, CB), pp. 1–4.
KDDKDD-2008-LiFGMF #learning #linear #named #performance
Cut-and-stitch: efficient parallel learning of linear dynamical systems on smps (LL, WF, FG, TCM, CF), pp. 471–479.
RecSysRecSys-2008-LiWZZC #named #query #recommendation
Pfp: parallel fp-growth for query recommendation (HL, YW, DZ, MZ, EYC), pp. 107–114.
BXBX-2008-Hu1
Inversion in Parallelization (ZH), p. 38.
OOPSLAOOPSLA-2008-XianSJ #execution #java #source code #thread
Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.
AdaEuropeAdaEurope-2008-RazaV #detection #flexibility #framework #named #source code
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs (AR, GV), pp. 226–239.
PADLPADL-2008-BertholdZL #scheduling
Scheduling Light-Weight Parallelism in ArTCoP (JB, AAZ, HWL), pp. 214–229.
PLDIPLDI-2008-AndersonGEB #c #named #thread
SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.
PLDIPLDI-2008-FlanaganFY #named #source code #thread
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.
POPLPOPL-2008-Voigtlander
Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
PPDPPPDP-2008-SulzmannL #constraints #execution
Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.
AdaSIGAda-2008-McCormick #ada #named #realtime
MA1: Ada for real-time and parallel processing (JWM), pp. 5–6.
ASEASE-2008-JoshiS #java #predict #source code #thread #type system
Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.
SACSAC-2008-YuiMUK #distributed #named #using #xquery
XBird/D: distributed and parallel XQuery processing using remote proxy (MY, JM, SU, HK), pp. 1003–1007.
ASPLOSASPLOS-2008-KulkarniPRWBC #clustering
Optimistic parallelism benefits from data partitioning (MK, KP, GR, BW, KB, LPC), pp. 233–243.
ASPLOSASPLOS-2008-WegielK #concurrent #memory management
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction (MW, CK), pp. 91–102.
CASECASE-2008-ArnaoutMR #algorithm #optimisation #problem #scheduling
Ant colony optimization algorithm to parallel machine scheduling problem with setups (JPA, RM, GR), pp. 578–582.
CASECASE-2008-Monch #heuristic
Heuristics to minimize total weighted tardiness of jobs on unrelated parallel machines (LM), pp. 572–577.
CCCC-2008-BondhugulaBKRRS #automation #locality #optimisation
Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model (UB, MMB, SK, JR, AR, PS), pp. 132–146.
CGOCGO-2008-Griesemer #data analysis #design
Parallelism by design: data analysis with sawzall (RG), p. 3.
CGOCGO-2008-RamanVRA #execution #named
Spice: speculative parallel iteration chunk execution (ER, NV, RR, DIA), pp. 175–184.
CGOCGO-2008-RyooRSBUSH #gpu #optimisation #thread
Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.
CGOCGO-2008-Sarkar #optimisation #source code
Code optimization of parallel programs: evolutionary vs. revolutionary approaches (VS), p. 1.
DACDAC-2008-BalkanQV #hybrid #network
An area-efficient high-throughput hybrid interconnection network for single-chip parallel processing (AOB, GQ, UV), pp. 435–440.
DACDAC-2008-CengCSSLAMIK #framework #named
MAPS: an integrated framework for MPSoC application parallelization (JC, JC, WS, HS, RL, GA, HM, TI, HK), pp. 754–759.
DACDAC-2008-DongLY #manycore #named #simulation
WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines (WD, PL, XY), pp. 238–243.
DACDAC-2008-GinsburgC #energy
The mixed signal optimum energy point: voltage and parallelism (BPG, APC), pp. 244–249.
DACDAC-2008-HsuPB #data flow #graph #simulation #thread
Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DACDAC-2008-KimCK
Analog parallelism in ring-based VCOs (DDK, CC, JK), pp. 341–342.
DACDAC-2008-KwonYHMCE #approach #memory management
A practical approach of memory access parallelization to exploit multiple off-chip DDR memories (WCK, SY, SMH, BM, KMC, SKE), pp. 447–452.
DACDAC-2008-MattsonW #programming #question
Parallel programming: can we PLEASE get it right this time? (TM, MW), pp. 7–11.
DATEDATE-2008-CertnerLPTAD #approach #performance #predict #source code
A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs (OC, ZL, PP, OT, FA, ND), pp. 740–745.
DATEDATE-2008-CosteGHHTZ #architecture #design #embedded #evaluation #thread #validation
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (NC, HG, HH, RH, YT, MZ), pp. 88–89.
DATEDATE-2008-LiBXNPC #architecture #detection #optimisation #programmable
Optimizing Near-ML MIMO Detector for SDR Baseband on Parallel Programmable Architectures (ML, BB, WX, DN, LVdP, FC), pp. 444–449.
DATEDATE-2008-LinF #performance #source code
Harnessing Horizontal Parallelism and Vertical Instruction Packing of Programs to Improve System Overall Efficiency (HL, YF), pp. 758–763.
DATEDATE-2008-MucciVMGDGKSCC #adaptation #array #configuration management #implementation #pipes and filters
Implementation of Parallel LFSR-based Applications on an Adaptive DSP featuring a Pipelined Configurable Gate Array (CM, LV, IM, DG, AD, SG, JK, AS, LC, FC), pp. 1444–1449.
DATEDATE-2008-RaoO #fault tolerance #towards
Towards fault tolerant parallel prefix adders in nanoelectronic systems (WR, AO), pp. 360–365.
DATEDATE-2008-SahaSPBW #framework #implementation #message passing
An Optimized Message Passing Framework for Parallel Implementation of Signal Processing Applications (SS, JS, SP, SSB, WW), pp. 1220–1225.
DATEDATE-2008-SammanHG #architecture #pipes and filters
Multicast Parallel Pipeline Router Architecture for Network-on-Chip (FAS, TH, MG), pp. 1396–1401.
DATEDATE-2008-VitkovskiKG #memory management
Memory Organization with Multi-Pattern Parallel Accesses (AV, GK, GG), pp. 1420–1425.
HPCAHPCA-2008-Allen #compilation
Compilers and parallel computing systems (FEA), p. 429.
HPCAHPCA-2008-MalikASWF #independence #predict
Branch-mispredict level parallelism (BLP) for control independence (KM, MA, SSS, KMW, MIF), pp. 62–73.
HPCAHPCA-2008-RashidH #concurrent #source code #thread
Supporting highly-decoupled thread-level redundancy for parallel programs (MWR, MCH), pp. 393–404.
HPCAHPCA-2008-ZhongMLM
Uncovering hidden loop level parallelism in sequential applications (HZ, MM, SAL, SAM), pp. 290–301.
HPDCHPDC-2008-DrostNMB #distributed
Resource tracking in parallel and distributed applications (ND, RvN, JM, HEB), pp. 221–222.
HPDCHPDC-2008-YanR #automation #clustering #towards
Toward automatic parallelization of spatial computation for computing clusters (BY, PJR), pp. 45–54.
ISMMISMM-2008-MarlowHJJ #garbage collection
Parallel generational-copying garbage collection with a block-structured heap (SM, TH, RPJ, SLPJ), pp. 11–20.
ISMMISMM-2008-Siebert #garbage collection
Limits of parallel marking garbage collection (FS), pp. 21–29.
OSDIOSDI-2008-WangKKLM #concurrent #named #source code #thread
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.
PDPPDP-2008-BeckerFW #evaluation #grid #optimisation #performance
Performance Evaluation and Optimization of Parallel Grid Computing Applications (DB, WF, FW), pp. 193–199.
PDPPDP-2008-BerguaCCSC #data transfer #file system #grid
Comparing Grid Data Transfer Technologies in the Expand Parallel File System (BB, FGC, AC, LMS, JC), pp. 110–114.
PDPPDP-2008-BernardRT
Processor-Oblivious Parallel Stream Computations (JB, JLR, DT), pp. 72–76.
PDPPDP-2008-BorkowskiT #adaptation #integration #performance
Tuning the Efficiency of Parallel Adaptive Integration with Synchronizers (JB, MT), pp. 351–357.
PDPPDP-2008-DAgostinoCMMC #grid #re-engineering
A Grid Service based Parallel Molecular Surface Reconstruction System (DD, AC, IM, LM, MC), pp. 455–462.
PDPPDP-2008-FerrarisOP #scheduling
Just-In-Time Scheduling for Loop-based Speculative Parallelization (DRLF, DO, BP), pp. 334–342.
PDPPDP-2008-HeienFH #clustering #communication
Static Load Distribution for Communication Intensive Parallel Computing in Multiclusters (EMH, NF, KH), pp. 321–328.
PDPPDP-2008-JovenFCMTC #architecture #distributed #named
xENoC — An eXperimental Network-On-Chip Environment for Parallel Distributed Computing on NoC-based MPSoC Architectures (JJ, OFB, DCR, RM, LT, JC), pp. 141–148.
PDPPDP-2008-KadidloS #concurrent #correlation #image #thread
Exploiting Data- and Thread-Level Parallelism for Image Correlation (JK, AS), pp. 407–413.
PDPPDP-2008-KangR #algorithm #energy
Dynamic Algorithms for Energy Minimization on Parallel Machines (JK, SR), pp. 399–406.
PDPPDP-2008-LeonMRS #2d #algorithm #distributed #problem
A Distributed Parallel Algorithm to Solve the 2D Cutting Stock Problem (CL, GM, CR, CS), pp. 429–434.
PDPPDP-2008-LinC #algorithm #clustering #graph #internet #named #simulation
BC-GA: A Graph Partitioning Algorithm for Parallel Simulation of Internet Applications (SL, XC), pp. 358–365.
PDPPDP-2008-RolfK #constraints #programming
State-copying and Recomputation in Parallel Constraint Programming with Global Constraints (CCR, KK), pp. 311–317.
PDPPDP-2008-TonellottoBFRY #heuristic #scheduling
QoS-constrained List Scheduling Heuristics for Parallel Applications on Grids (NT, RB, RF, LR, RY), pp. 379–383.
PPoPPPPoPP-2008-AgrawalFS #memory management #transaction
Nested parallelism in transactional memory (KA, JTF, JS), pp. 163–174.
PPoPPPPoPP-2008-Allen #compilation
Compilers and parallel computing systems (FEA).
PPoPPPPoPP-2008-BaskaranBKRRS #architecture #automation #data flow
Automatic data movement and computation mapping for multi-level parallel architectures with explicitly managed memories (MMB, UB, SK, JR, AR, PS), pp. 1–10.
PPoPPPPoPP-2008-Cameron #case study
A case study in SIMD text processing with parallel bit streams: UTF-8 to UTF-16 transcoding (RDC), pp. 91–98.
PPoPPPPoPP-2008-ChanZBQQG #named #runtime #scheduling #thread
SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks (EC, FGVZ, PB, ESQO, GQO, RAvdG), pp. 123–132.
PPoPPPPoPP-2008-FernandesSS #gpu
Massive parallel LDPC decoding on GPU (GFPF, LS, VMMdS), pp. 83–90.
PPoPPPPoPP-2008-GiacomoniMV #concurrent #performance #pipes and filters #queue
FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue (JG, TM, MV), pp. 43–52.
PPoPPPPoPP-2008-NurmiWB #probability
Probabilistic advanced reservations for batch-scheduled parallel machines (DN, RW, JB), pp. 289–290.
PPoPPPPoPP-2008-RulVB #source code
Extracting coarse-grain parallelism in general-purpose programs (SR, HV, KDB), pp. 281–282.
PPoPPPPoPP-2008-RyooRBSKH #evaluation #gpu #optimisation #performance #thread #using
Optimization principles and application performance evaluation of a multithreaded GPU using CUDA (SR, CIR, SSB, SSS, DBK, WmWH), pp. 73–82.
STOCSTOC-2008-Rao #bound #game studies
Parallel repetition in projection games and a concentration bound (AR), pp. 1–10.
DRRDRR-2007-Fujimoto0TSN #documentation #image
Shape from parallel geodesics for distortion correction of digital camera document images (KF, JS, HT, MS, SN).
ICDARICDAR-2007-FujimotoSTSN #documentation #image #programming #using
Curved paper rectification for digital camera document images by shape from parallel geodesics using continuous dynamic programming (KF, JS, HT, MS, SN), pp. 267–271.
SIGMODSIGMOD-2007-HanNMKK #database #optimisation
Progressive optimization in a shared-nothing parallel database (WSH, JN, VM, HK, MK), pp. 809–820.
SIGMODSIGMOD-2007-LiGLSZ #clustering #database #named
InfiniteDB: a pc-cluster based parallel massive database management system (JL, HG, JL, SS, WZ), pp. 899–909.
ICSMEICSM-2007-ShaoKP #detection #empirical #evaluation #semantics
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment (DS, SK, DEP), pp. 74–83.
CIAACIAA-2007-Yli-JyraK #compilation
A New Method for Compiling Parallel Replacement Rules (AYJ, KK), pp. 320–321.
LATALATA-2007-Bensch #approach #context-sensitive grammar
An Approach to Parallel Mildly Context-Sensitive Grammar Formalisms (SB), pp. 91–102.
ICFPICFP-2007-HarrisS #feedback
Feedback directed implicit parallelism (TH, SS), pp. 251–264.
AGTIVEAGTIVE-2007-KniemeyerBHK #approach #architecture #biology #graph transformation #relational
Relational Growth Grammars — A Parallel Graph Transformation Approach with Applications in Biology and Architecture (OK, GB, RH, WK), pp. 152–167.
HCIHCI-MIE-2007-OguraNS #communication #thread #using
Exploration of Possibility of Multithreaded Conversations Using a Voice Communication System (KO, KN, KS), pp. 186–195.
CIKMCIKM-2007-FuPL #network #optimisation #query
Optimizing parallel itineraries for knn query processing in wireless sensor networks (TYF, WCP, WCL), pp. 391–400.
CIKMCIKM-2007-KimL
Parallel linkage (HsK, DL), pp. 283–292.
MLDMMLDM-2007-PalancarTCL #algorithm #distributed #memory management #mining
Distributed and Shared Memory Algorithm for Parallel Mining of Association Rules (JHP, OFT, JFC, RHL), pp. 349–363.
SIGIRSIGIR-2007-WicksG #performance #rank
More efficient parallel computation of pagerank (JRW, AG), pp. 861–862.
PADLPADL-2007-HuangHP #named #process #using
HPorter: Using Arrows to Compose Parallel Processes (LH, PH, JP), pp. 275–289.
PLDIPLDI-2007-DingSKTHZ #behaviour
Software behavior oriented parallelization (CD, XS, KK, CT, RH, CZ), pp. 223–234.
PLDIPLDI-2007-KrishnamoorthyBBRRS #automation #effectiveness
Effective automatic parallelization of stencil computations (SK, MMB, UB, JR, AR, PS), pp. 235–244.
PLDIPLDI-2007-KulkarniPWRBC #abstraction
Optimistic parallelism requires abstractions (MK, KP, BW, GR, KB, LPC), pp. 211–222.
PLDIPLDI-2007-MoritaMMHT #automation #divide and conquer #source code
Automatic inversion generates divide-and-conquer parallel programs (KM, AM, KM, ZH, MT), pp. 146–155.
PLDIPLDI-2007-MusuvathiQ #bound #source code #testing #thread
Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.
PLDIPLDI-2007-WangCCJTGYLW #architecture #manycore #named #programming #thread
EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system (PHW, JDC, GNC, HJ, XT, MG, NYY, GYL, HW), pp. 156–166.
PPDPPPDP-2007-EncinaLRH #functional #lazy evaluation
Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.
AdaSIGAda-2007-HallmarkR #ada #evaluation #evolution #game studies
Parallel evolution of game evaluation functions in ada (TBH, EKR), pp. 59–62.
AdaSIGAda-2007-McCormick #ada #named #realtime
MA1: real-time and parallel processing in ada (JWM), p. 7.
ESEC-FSEESEC-FSE-2007-MisailovicMPKM #execution #generative #testing
Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.
ICSEICSE-2007-DwyerEPP #random
Parallel Randomized State-Space Search (MBD, SGE, SP, RP), pp. 3–12.
SACSAC-2007-KunXY #algorithm #constraints #geometry #theorem proving
Parallel algorithms on geometric constraint solving (KJ, YG, XL, YZ), pp. 778–779.
SACSAC-2007-YangHK #framework #on the #platform
On construction of a BioGrid platform for parallel bioinformatics applications (CTY, TFH, HCK), pp. 144–145.
CASECASE-2007-RabindranT
Study of the dynamic coupling term (μ) in parallel force/velocity actuated systems (DR, DT), pp. 418–423.
CGOCGO-2007-Buck #gpu #programming
GPU Computing: Programming a Massively Parallel Processor (IB), p. 17.
CGOCGO-2007-Fang #platform #programming
Parallel Programming Environment: A Key to Translating Tera-Scale Platforms into a Big Success (JF), p. 18.
CGOCGO-2007-MoseleySRGP #profiling
Shadow Profiling: Hiding Instrumentation Costs with Parallelism (TM, AS, VJR, DG, RP), pp. 198–208.
CGOCGO-2007-RamanHM #layout #optimisation #source code #thread
Structure Layout Optimization for Multithreaded Programs (ER, RH, SM), pp. 271–282.
DACDAC-2007-ChandraiahD #flexibility #generative #specification
Designer-Controlled Generation of Parallel and Flexible Heterogeneous MPSoC Specification (PC, RD), pp. 787–790.
DACDAC-2007-HwuRUKGSKBMTNLFP #modelling #programming
Implicitly Parallel Programming Models for Thousand-Core Microprocessors (WmWH, SR, SZU, JHK, IG, SSS, REK, SSB, AM, SCT, NN, SSL, MIF, SJP), pp. 754–759.
DACDAC-2007-Tabor #programming
Programming Living Cells to Function as Massively Parallel Computers (JJT), pp. 638–639.
DACDAC-2007-XueOK
A Memory-Conscious Code Parallelization Scheme (LX, ÖÖ, MTK), pp. 230–233.
DATEDATE-2007-DielissenH #implementation
Non-fractional parallelism in LDPC decoder implementations (JD, AH), pp. 337–342.
DATEDATE-2007-KraemerLAM #interactive #program transformation #source code #using
Interactive presentation: SoftSIMD — exploiting subword parallelism using source code transformations (SK, RL, GA, HM), pp. 1349–1354.
HPCAHPCA-2007-AgarwalMWSF
Exploiting Postdominance for Speculative Parallelization (MA, KM, KMW, SSS, MIF), pp. 295–305.
HPCAHPCA-2007-EyermanE #policy #smt
A Memory-Level Parallelism Aware Fetch Policy for SMT Processors (SE, LE), pp. 240–249.
HPCAHPCA-2007-ZhongLM #architecture #hybrid #manycore #thread
Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.
HPDCHPDC-2007-HildebrandH #file system #named #scalability
Direct-pNFS: scalable, transparent, and versatile access to parallel file systems (DH, PH), pp. 199–208.
HPDCHPDC-2007-HuangK #named
Charisma: orchestrating migratable parallel objects (CH, LVK), pp. 75–84.
HPDCHPDC-2007-LiP #framework
A computational infrastructure for grid-based asynchronous parallel applications (ZL, MP), pp. 229–230.
HPDCHPDC-2007-RidruejoMN #component #concept #distributed #memory management #simulation
Concepts and components of full-system simulation of distributed memory parallel computers (FJRP, JMA, JN), pp. 225–226.
HPDCHPDC-2007-ShiraiST #performance
A fast topology inference: a building block for network-aware parallel processing (TS, HS, KT), pp. 11–22.
ISMMISMM-2007-Kirk #architecture #gpu
NVIDIA cuda software and gpu parallel computing architecture (DK), pp. 103–104.
LCTESLCTES-2007-ChuM #clustering
Code and data partitioning for fine-grain parallelism (MLC, SAM), pp. 161–164.
PDPPDP-2007-Baz #algorithm #analysis #architecture #communication #implementation #message passing
Communication Study and Implementation Analysis of Parallel Asynchronous Iterative Algorithms on Message Passing Architectures (DEB), pp. 77–83.
PDPPDP-2007-BorkowskiKT #monitoring
Global predicate monitoring applied for control of parallel irregular computations (JB, DK, MT), pp. 105–112.
PDPPDP-2007-CunhaS #framework
An Annotation-Based Framework for Parallel Computing (CAC, JLS), pp. 113–120.
PDPPDP-2007-GonzalezLMRS #algorithm
A Parallel Skeleton for the Strength Pareto Evolutionary Algorithm 2 (OG, CL, GM, CR, CS), pp. 434–441.
PDPPDP-2007-GonzalezV #fault tolerance #on the #programming #search-based
On the Intrinsic Fault-Tolerance Nature of Parallel Genetic Programming (DLG, FFdV), pp. 450–458.
PDPPDP-2007-HerruzoRBP #algorithm #sorting
A New Parallel Sorting Algorithm based on Odd-Even Mergesort (EH, GR, JIB, OGP), pp. 18–22.
PDPPDP-2007-MezmazMT #approach #bound #branch
A Grid-based Parallel Approach of the Multi-Objective Branch and Bound (MSM, NM, EGT), pp. 23–30.
PDPPDP-2007-PlazaVBP #detection #image #network #using
Parallel Detection of Targets in Hyperspectral Images Using Heterogeneous Networks of Workstations (AP, DV, SB, JP), pp. 333–340.
PDPPDP-2007-SlawinskaKSS #automation #deployment #distributed
Automated Deployment Support for Parallel Distributed Computing (MS, DK, JS, VSS), pp. 139–146.
PDPPDP-2007-TudrujM #clustering #communication #matrix #on the fly
Dynamic SMP Clusters with Communication on the Fly in SoC Technology Applied for Medium-Grain Parallel Matrix Multiplication (MT, LM), pp. 270–277.
PPoPPPPoPP-2007-AgrawalHL #adaptation #feedback
Adaptive work stealing with parallelism feedback (KA, YH, CEL), pp. 112–120.
PPoPPPPoPP-2007-BlagojevicNSA
Dynamic multigrain parallelization on the cell broadband engine (FB, DSN, AS, CDA), pp. 90–100.
PPoPPPPoPP-2007-Chien #architecture #pervasive #programming
Pervasive parallel computing: an historic opportunity for innovation in programming and architecture (AAC), p. 160.
PPoPPPPoPP-2007-Fang #platform #programming
Parallel programming environment: a key to translating tera-scale platforms into a big success (JZF), p. 1.
PPoPPPPoPP-2007-Gonzalez-VelezC #adaptation
Adaptive structured parallelism for computational grids (HGV, MC), pp. 140–141.
PPoPPPPoPP-2007-LeeBSSSM #learning #modelling #performance
Methods of inference and learning for performance modeling of parallel applications (BCL, DMB, BRdS, MS, KS, SAM), pp. 249–258.
PPoPPPPoPP-2007-PraunCC #order #transaction
Implicit parallelism with ordered transactions (CvP, LC, CC), pp. 79–89.
PPoPPPPoPP-2007-SchuffCP #detection #network
Conservative vs. optimistic parallelization of stateful network intrusion detection (DLS, YRC, VSP), pp. 138–139.
PPoPPPPoPP-2007-TapusH #fault tolerance #named #performance
Speculations: providing fault-tolerance and improving performance of parallel applications (CT, JH), pp. 152–153.
STOCSTOC-2007-Holenstein
Parallel repetition: simplifications and the no-signaling case (TH), pp. 411–419.
STOCSTOC-2007-PassV #game studies #performance #theorem
An efficient parallel repetition theorem for Arthur-Merlin games (RP, MV), pp. 420–429.
CAVCAV-2007-BouajjaniFQ #analysis #bound #source code #thread
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures (AB, SF, SQ), pp. 207–220.
CAVCAV-2007-PatinST #named #recursion #source code #thread #verification
Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.
ISSTAISSTA-2007-JonesHB #debugging
Debugging in Parallel (JAJ, MJH, JFB), pp. 16–26.
ISSTAISSTA-2007-TallamTGZ #execution #reduction #source code #thread
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
ICALPICALP-v1-2006-GroheV #game studies #graph #morphism #testing
Testing Graph Isomorphism in Parallel by Playing a Game (MG, OV), pp. 3–14.
FLOPSFLOPS-2006-Steele #abstraction #programming
Parallel Programming and Parallel Abstractions in Fortress (GLSJ), p. 1.
IFLIFL-2006-BertholdL #coordination #functional
Parallel Coordination Made Explicit in a Functional Setting (JB, RL), pp. 73–90.
IFLIFL-2006-Hidalgo-HerreroOR #evaluation #functional
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages (MHH, YOM, FR), pp. 55–72.
CIKMCIKM-2006-ShiN #adaptation #corpus #information retrieval
Filtering or adapting: two strategies to exploit noisy parallel corpora for cross-language information retrieval (LS, JYN), pp. 814–815.
ECIRECIR-2006-KohlschutterCN #performance #rank
Efficient Parallel Computation of PageRank (CK, PAC, WN), pp. 241–252.
ECIRECIR-2006-ZhangWGV #automation #corpus #web
Automatic Acquisition of Chinese-English Parallel Corpus from the Web (YZ, KW, JG, PV), pp. 420–431.
SEKESEKE-2006-HallstromDS #contract #design pattern #monitoring
Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.
SIGIRSIGIR-2006-MoffatWZ #retrieval
Load balancing for term-distributed parallel retrieval (AM, WW, JZ), pp. 348–355.
SIGIRSIGIR-2006-RollekeW #information retrieval #modelling #probability
A parallel derivation of probabilistic information retrieval models (TR, JW), pp. 107–114.
PLDIPLDI-2006-KermanyP #concurrent #incremental
The Compressor: concurrent, incremental, and parallel compaction (HK, EP), pp. 354–363.
ICSEICSE-2006-WoollardM #architecture #symmetry
An architectural style for high-performance asymmetrical parallel computations (DW, NM), pp. 857–860.
SACSAC-2006-DorneichNPT #database #embedded #modelling #predict #relational
Embedded predictive modeling in a parallel relational database (AD, RN, EPDP, FT), pp. 569–574.
ASPLOSASPLOS-2006-GordonTA #pipes and filters #source code
Exploiting coarse-grained task, data, and pipeline parallelism in stream programs (MIG, WT, SPA), pp. 151–162.
ASPLOSASPLOS-2006-TarditiPO #named #using
Accelerator: using data parallelism to program GPUs for general-purpose uses (DT, SP, JO), pp. 325–335.
CASECASE-2006-PonnambalamSSG #algorithm #assembly #search-based
PARALLEL POPULATIONS GENETIC ALGORITHM FOR MINIMIZING ASSEMBLY VARIATION IN SELECTIVE ASSEMBLY (SGP, SSS, SS, MG), pp. 496–500.
CASECASE-2006-RaghavanV #optimisation #product line #scheduling #using
Scheduling Parallel Batch Processors with Incompatible Job Families Using Ant Colony Optimization (NRSR, MV), pp. 507–512.
CASECASE-2006-SunZF #convergence
Convergence of parallel dynamic iteration methods for nonlinear DAEs of index-2 (WS, JHZ, XGF), pp. 129–133.
CASECASE-2006-TangC
A Large-Displacement and Decoupled XYZ Flexure Parallel Mechanism for Micromanipulation (XT, IMC), pp. 75–80.
CASECASE-2006-XuL #3d #architecture #optimisation
Accuracy-Based Architecture Optimization of a 3-DOF Parallel Kinematic Machine (QX, YL), pp. 63–68.
DACDAC-2006-OzturkCK #approach #constraints #network #optimisation
Optimizing code parallelization through a constraint network based approach (ÖÖ, GC, MTK), pp. 863–688.
DACDAC-2006-YangCGJ #algorithm #matrix #rank #scalability
A parallel low-rank multilevel matrix compression algorithm for parasitic extraction of electrically large structures (CY, SC, DG, VJ), pp. 1053–1056.
DATEDATE-2006-KimHG #execution #using
Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
DATEDATE-2006-QuSN #configuration management #runtime
A parallel configuration model for reducing the run-time reconfiguration overhead (YQ, JPS, JN), pp. 965–969.
DATEDATE-2006-ViaudPG #modelling #performance #simulation
An efficient TLM/T modeling and simulation environment based on conservative parallel discrete event principles (EV, FP, AG), pp. 94–99.
HPCAHPCA-2006-ChungCMMCKO #behaviour #source code #thread #transaction
The common case transactional behavior of multithreaded programs (JC, HC, CCM, AM, BDC, CK, KO), pp. 266–277.
HPCAHPCA-2006-JaleelMJ #case study #data mining #mining #performance
Last level cache (LLC) performance of data mining workloads on a CMP — a case study of parallel bioinformatics workloads (AJ, MM, BLJ), pp. 88–98.
HPCAHPCA-2006-LiM #adaptation
Dynamic power-performance adaptation of parallel computation on chip multiprocessors (JL, JFM), pp. 77–87.
HPCAHPCA-2006-PenryFHWSAC #simulation
Exploiting parallelism and structure to accelerate the simulation of chip multi-processors (DAP, DF, DH, RW, GS, DIA, DC), pp. 29–40.
HPDCHPDC-2006-BellenotBGIKPRBLRCF #named #proving
PROOF — The Parallel ROOT Facility (BB, RB, GG, JI, GK, AJP, FR, MB, CL, CR, PC, DF), pp. 379–380.
HPDCHPDC-2006-BuissonAP #adaptation #performance
Performance and Practicability of Dynamic Adaptation for Parallel Computing (JB, FA, JLP), pp. 331–332.
HPDCHPDC-2006-ChingFLMC #tool support
Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim (AC, WcF, HL, XM, ANC), pp. 229–240.
HPDCHPDC-2006-LopesM #clustering #file system
Cooperative Caching in the pCFS parallel Cluster File System (PAL, PDM), pp. 347–348.
ISMMISMM-2006-SchneiderAN #memory management #scalability #thread
Scalable locality-conscious multithreaded memory allocation (SS, CDA, DSN), pp. 84–94.
ISMMISMM-2006-SiegwartH #garbage collection #locality
Improving locality with parallel hierarchical copying GC (DS, MH), pp. 52–63.
PDPPDP-2006-AlbrechtDPSS #design #thread #using
Impact of Coprocessors on a Multithreaded Processor Design Using Prioritized Threads (CA, ACD, FP, TS, HS), pp. 109–115.
PDPPDP-2006-AliagaBBCMQQABRSS #interface #web #web service
Parallelization of GSL: The Web Service Interface (JIA, JMB, SB, MC, RM, ESQO, GQO, FA, VBP, CR, FdS, AS), pp. 301–307.
PDPPDP-2006-Baz #problem #programming
Load Balancing in a Parallel Dynamic Programming Multi-Method Applied to the 0-1 Knapsack Problem (ME, DEB), pp. 127–132.
PDPPDP-2006-BorkowskiKT #grid #source code #using
Application Control on Grid Using Predicates Defined on Global States of Co-Operating Parallel Programs (JB, DK, MT), pp. 248–255.
PDPPDP-2006-BulicGD
Exploiting Multimedia Extensions with a Data Parallel Language (PB, VG, ED), pp. 431–438.
PDPPDP-2006-Chapman #memory management #programming #question #scalability
Scalable Shared Memory Parallel Programming: Will One Size Fit All? (BMC), p. 3.
PDPPDP-2006-CzechW #optimisation #problem
Solving Bicriterion Optimization Problems by Parallel Simulated Annealing (ZJC, BW), pp. 7–14.
PDPPDP-2006-EssadiG #distributed #validation
An Experimental Validation of the PRO Model for Parallel and Distributed Computation (ME, JG), pp. 449–456.
PDPPDP-2006-HeichlerK #distributed #query #random
A Distributed Query Structure to Explore Random Mappings in Parallel (JH, JK), pp. 173–177.
PDPPDP-2006-JollyF #algorithm
Parallel Multi-Sector Algorithm for the General Hough Transform (EKJ, MF), pp. 380–387.
PDPPDP-2006-Kutil #2d #approach
A Single-Loop Approach to SIMD Parallelization of 2-D Wavelet Lifting (RK), pp. 413–420.
PDPPDP-2006-PetroneZ #virtual machine
Enabling PVM to Build Parallel Multidomain Virtual Machines (MP, RZ), pp. 187–194.
PDPPDP-2006-RungsawangM #adaptation #rank
Parallel Adaptive Technique for Computing PageRank (AR, BM), pp. 15–50.
PPoPPPPoPP-2006-AgrawalHHL #adaptation #feedback #scheduling
Adaptive scheduling with parallelism feedback (KA, YH, WJH, CEL), pp. 100–109.
PPoPPPPoPP-2006-BikshandiGHAFGPP #array #locality #programming
Programming for parallelism and locality with hierarchically tiled arrays (GB, JG, DH, GA, BBF, MJG, DAP, CvP), pp. 48–57.
PPoPPPPoPP-2006-BrevikNW #bound #predict
Predicting bounds on queuing delay for batch-scheduled parallel machines (JB, DN, RW), pp. 110–118.
PPoPPPPoPP-2006-HuTH #algorithm #manycore #network #thread
High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor (XH, XT, BH), pp. 168–177.
PPoPPPPoPP-2006-JoinerGMP #education
Teaching parallel computing to science faculty: best practices and common pitfalls (DAJ, PG, TM, CP), pp. 239–246.
PPoPPPPoPP-2006-KahanK #architecture #exclamation #memory management #quote #thread
“MAMA!”: a memory allocator for multithreaded architectures (SK, PK), pp. 178–186.
PPoPPPPoPP-2006-SharapovKDCR #case study #estimation #performance #scalability #top-down
A case study in top-down performance estimation for a large-scale parallel application (IS, RK, GD, RC, MR), pp. 81–89.
PPoPPPPoPP-2006-Stata #programming #web
Parallel programming in modern web search engines (RS), p. 58.
PPoPPPPoPP-2006-Steele #programming
Parallel programming and code selection in fortress (GLSJ), p. 1.
CAVCAV-2006-SenV #model checking #source code #thread
Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.
CSLCSL-2006-GiamberardinoF #proving
Jump from Parallel to Sequential Proofs: Multiplicatives (PDG, CF), pp. 319–333.
ICLPICLP-2006-Soares #database #deduction #implementation
Deductive Databases: Implementation, Parallelism and Applications (TS), pp. 467–468.
ISSTAISSTA-2006-SiegelMAC #execution #model checking #source code #symbolic computation #using #verification
Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.
VMCAIVMCAI-2006-JabbarE #linear #model checking
Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.
VLDBVLDB-2005-ColohanASM #transaction
Optimistic Intra-Transaction Parallelism on Chip Multiprocessors (CBC, AA, JGS, TCM), pp. 73–84.
VLDBVLDB-2005-HaftmannKL #database #execution
Parallel Execution of Test Runs for Database Application Systems (FH, DK, EL), pp. 589–600.
VLDBVLDB-2005-IvanovaR #execution #query
Customizable Parallel Execution of Scientific Stream Queries (MI, TR), pp. 157–168.
VLDBVLDB-2005-LiuR #pipes and filters #query
Revisiting Pipelined Parallelism in Multi-Join Query Processing (BL, EAR), pp. 829–840.
VLDBVLDB-2005-RamanHN #query
Parallel Querying with Non-Dedicated Computers (VR, WH, IN), pp. 61–72.
DLTDLT-J-2004-IbarraYD05 #on the
On various notions of parallelism in P Systems (OHI, HCY, ZD), pp. 683–705.
ICALPICALP-2005-GairingMW #algorithm #approximate #combinator #performance #scheduling
A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines (MG, BM, AW), pp. 828–839.
FMFM-2005-SalverdaRZ #verification
Formally Defining and Verifying Master/Slave Speculative Parallelization (PS, GR, CBZ), pp. 123–138.
IFLIFL-2005-GrelckHS #locality
With-Loop Fusion for Data Locality and Parallelism (CG, KH, SBS), pp. 178–195.
AIIDEAIIDE-2005-ZubekH #interactive #markov #modelling
Hierarchical Parallel Markov Models of Interaction (RZ, IH), pp. 141–146.
SOFTVISSOFTVIS-2005-BlochingerKS #visualisation
Visualizing structural properties of irregular parallel computations (WB, MK, MS), pp. 125–134.
SOFTVISSOFTVIS-2005-CoxGR #data flow #source code #visual notation
Adding parallelism to visual data flow programs (PTC, SG, ARC), pp. 135–144.
ICEISICEIS-v1-2005-SoeANNT #architecture #framework #query
A Framework for Parallel Query Processing on Grid-Based Architecture (KMS, TNA, AAN, TTN, NT), pp. 203–208.
CIKMCIKM-2005-XiongLZ #clustering #network
Supporting ranked search in parallel search cluster networks (FX, QL, DJZ), pp. 263–264.
KDDKDD-2005-CongHP #mining
Parallel mining of closed sequential patterns (SC, JH, DAP), pp. 562–567.
SEKESEKE-2005-Chiang #design #programming
A Design Methodology for Parallel Programming (CCC), pp. 727–730.
SEKESEKE-2005-SouzaVSSGLH #message passing #named #source code #testing
ValiPar: A Testing Tool for Message-Passing Parallel Programs (SdRSdS, SRV, PSLdS, AdSS, TBG, AdML, ACH), pp. 386–391.
OOPSLAOOPSLA-2005-GregorL #algorithm #graph
Lifting sequential graph algorithms for distributed-memory parallel computation (DG, AL), pp. 423–437.
PPDPPPDP-2005-PaluDP #heuristic #optimisation #predict
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) (ADP, AD, EP), pp. 230–241.
SACSAC-2005-CarvalhoL #abstraction #composition #distributed #performance #programming
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming (FHdCJ, RDL), pp. 1357–1364.
SACSAC-2005-WengW #network #profiling
Profiling and mapping of parallel workloads on network processors (NW, TW), pp. 890–896.
CASECASE-2005-KrefftH #optimisation
Elastodynamic optimization of parallel kinematics (MK, JH), pp. 357–362.
CASECASE-2005-LiX #2d #design #novel
Optimal design of a novel 2-DOF compliant parallel micromanipulator for nanomanipulation (YL, QX), pp. 118–123.
CCCC-2005-SadeSS #c #memory management #optimisation #thread #using
Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.
CGOCGO-2005-ShinHC #control flow
Superword-Level Parallelism in the Presence of Control Flow (JS, MWH, JC), pp. 165–175.
DACDAC-2005-AdirADLRVCCD #case study #named #verification
VLIW: a case study of parallelism verification (AA, YA, BD, YL, MR, MV, MAC, AC, GD), pp. 779–782.
DATEDATE-2005-BarrettaFSB #clustering #embedded #thread
Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.
HPCAHPCA-2005-AhnED #architecture
Scatter-Add in Data Parallel Architectures (JHA, ME, WJD), pp. 132–142.
HPCAHPCA-2005-TuckT #predict #thread
Multithreaded Value Prediction (NT, DMT), pp. 5–15.
HPDCHPDC-2005-HackerNA #adaptation #scheduling
Adaptive data block scheduling for parallel TCP streams (TJH, BDN, BDA), pp. 265–275.
PDPPDP-2005-CalderonCCPS #fault tolerance #file system #implementation #using
A Fault Tolerant MPI-IO Implementation using the Expand Parallel File System (AC, FGC, JC, JMP, LMS), pp. 274–281.
PDPPDP-2005-ClematisDGM #framework #using #visualisation
Using a CCA Compliant Framework for Parallel Remote Visualization (AC, DD, AG, MM), pp. 227–234.
PDPPDP-2005-Danelutto #programming
QoS in Parallel Programming through Application Managers (MD), pp. 282–289.
PDPPDP-2005-FaberoBC #clustering #equation #performance #simulation
Efficiency on Clusters of Parallel Simulation of Sine-Gordon Equation over Hexagonal Tessellation (JCF, AB, LC), pp. 68–75.
PDPPDP-2005-GuiradoRRL #data type #trade-off
Exploitation of Parallelism for Applications with an Input Data Stream: Optimal Resource-Throughput Tradeoffs (FG, AR, CR, EL), pp. 170–178.
PDPPDP-2005-SanjurjoBAD #clustering
Parallel Global Illumination Method Based on a Non-Uniform Partitioning of the Scene (JRS, MB, MA, RD), pp. 251–257.
PDPPDP-2005-UhlP #distributed #visual notation
Parallel and Distributed Processing of Visual Content: Traditional View and New Directions (AU, MP), p. 2–?.
PPoPPPPoPP-2005-CoarfaDMCEMYC #c #evaluation #fortran
An evaluation of global address space languages: co-array fortran and unified parallel C (CC, YD, JMMC, FC, TAEG, AM, YY, DGCM), pp. 36–47.
PPoPPPPoPP-2005-CongHHP #data mining #framework #mining
A sampling-based framework for parallel data mining (SC, JH, JH, DAP), pp. 255–265.
PPoPPPPoPP-2005-GaoSLRLBS #modelling #optimisation #performance
Performance modeling and optimization of parallel out-of-core tensor contractions (XG, SKS, CCL, JR, QL, GB, PS), pp. 266–276.
PPoPPPPoPP-2005-LowGZ #algebra #algorithm #linear #specification
Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications (TML, RAvdG, FGVZ), pp. 153–163.
PPoPPPPoPP-2005-PrabhuO #concurrent #specification #thread
Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.
PPoPPPPoPP-2005-SonCKC #compilation #energy #layout
Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems (SWS, GC, MTK, ANC), pp. 174–185.
STOCSTOC-2005-AzarE #programming #scheduling
Convex programming for scheduling unrelated parallel machines (YA, AE), pp. 331–337.
WICSAWICSA-2004-BernardoB #architecture #generative #source code #thread
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions (MB, EB), pp. 167–176.
SIGMODSIGMOD-2004-CruanesDG #execution #sql
Parallel SQL Execution in Oracle 10g (TC, BD, BG), pp. 850–854.
SIGMODSIGMOD-2004-ShahHB #fault tolerance
Highly-Available, Fault-Tolerant, Parallel Dataflows (MAS, JMH, EAB), pp. 827–838.
DLTDLT-2004-IbarraYD #power of
The Power of Maximal Parallelism in P Systems (OHI, HCY, ZD), pp. 212–224.
SEFMSEFM-2004-PangPE #abstraction #process
Abstraction of Parallel Uniform Processes with Data (JP, JvdP, MVE), pp. 14–23.
ICGTICGT-2004-HabelH #graph transformation #independence
Parallel Independence in Hierarchical Graph Transformation (AH, BH), pp. 178–193.
CIKMCIKM-2004-ClarkeT #approximate
Approximating the top-m passages in a parallel question answering system (CLAC, ELT), pp. 454–462.
ICMLICML-2004-WingateS #named
P3VI: a partitioned, prioritized, parallel value iterator (DW, KDS).
ICPRICPR-v1-2004-FerrettiB #implementation #pipes and filters
A Parallel Pipelined Implementation of LOCO-I for JPEG-LS (MF, MB), pp. 769–772.
ICPRICPR-v1-2004-FungM #using
Using Multiple Graphics Cards as a General Purpose Parallel Computer : Applications to Computer Vision (JF, SM), pp. 805–808.
ICPRICPR-v1-2004-IlaGC #algorithm #architecture #detection
Proposal of a Parallel Architecture for a Motion Detection Algorithm (VI, RG, FC), pp. 797–800.
ICPRICPR-v1-2004-KhanM #network #pattern matching #pattern recognition #recognition
Parallel Pattern Recognition Computations within a Wireless Sensor Network (AIK, PM), pp. 777–780.
ICPRICPR-v1-2004-NakamuraHFS #image #using
Fingerprint Image Enhancement using a Parallel Ridge Filter (TN, MH, HF, KS), pp. 536–539.
ICPRICPR-v1-2004-PetrosinoV #algorithm #clustering #fuzzy #named #scalability
P-AFLC: A Parallel Scalable Fuzzy Clustering Algorithm (AP, MV), pp. 809–812.
ICPRICPR-v2-2004-KimuraTYTT #adaptation #grid #segmentation
Parallel Volume Segmentation with Tetrahedral Adaptive Grid (AK, YT, YY, ST, HTT), pp. 281–286.
ICPRICPR-v3-2004-HanJ #fault tolerance #image
From Massively Parallel Image Processors to Fault-Tolerant Nanocomputers (JH, PJ), pp. 2–7.
ICPRICPR-v4-2004-GaoA #using
Single Camera Stereo using Planar Parallel Plate (CG, NA), pp. 108–111.
ICPRICPR-v4-2004-IwaseS #detection #image
Parallel Tracking of All Soccer Players by Integrating Detected Positions in Multiple View Images (SI, HS), pp. 751–754.
ICPRICPR-v4-2004-SamsonB #clustering #learning #robust #video
Learning Classes for Video Interpretation with a Robust Parallel Clustering Method (VS, PB), pp. 569–572.
KDDKDD-2004-ChilsonNWZ #correlation #matrix #robust
Parallel computation of high dimensional robust correlation and covariance matrices (JC, RTN, AW, RHZ), pp. 533–538.
KDDKDD-2004-ZhaoLTS #coordination #design #named #testing #using
V-Miner: using enhanced parallel coordinates to mine product design and test data (KZ, BL, TMT, AS), pp. 494–502.
OOPSLAOOPSLA-2004-AbuaiadhOPS #algorithm #performance
An efficient parallel heap compaction algorithm (DA, YO, EP, US), pp. 224–236.
PLDIPLDI-2004-DuLLYZN #compilation #framework #source code
A cost-driven compilation framework for speculative parallelization of sequential programs (ZHD, CCL, XFL, CY, QZ, TFN), pp. 71–81.
PLDIPLDI-2004-ZhuangP #network #thread
Balancing register allocation across threads for a multithreaded network processor (XZ, SP), pp. 289–300.
POPLPOPL-2004-FlanaganF #named #source code #thread
Atomizer: a dynamic atomicity checker for multithreaded programs (CF, SNF), pp. 256–267.
ICSEICSE-2004-Francois #architecture #data type #distributed #hybrid
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
SACSAC-2004-AlbaC #fault #heuristic #hybrid #problem
Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
SACSAC-2004-BuckerRW
A class of OpenMP applications involving nested parallelism (HMB, AR, AW), pp. 220–224.
SACSAC-2004-CarvalhoOFS #algorithm
A parallel algorithm for the extraction of structured motifs (AMC, ALO, ATF, MFS), pp. 147–153.
SACSAC-2004-GoumasDAK #automation #code generation
Automatic parallel code generation for tiled nested loops (GIG, ND, MA, NK), pp. 1412–1419.
SACSAC-2004-Granmo #analysis #video
Parallel hypothesis driven video content analysis (OCG), pp. 642–648.
SACSAC-2004-UhrigU #fine-grained #power management #thread
Fine-grained power management for multithreaded processor cores (SU, TU), pp. 907–908.
LDTALDTA-2004-GradaraSVV #model checking #modelling #source code #thread
Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.
CGOCGO-2004-SoHZ #layout #memory management
Custom Data Layout for Memory Parallelism (BS, MWH, HEZ), pp. 291–302.
DATEDATE-v2-2004-ReedLBMC #algorithm #simulation
An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation (DKR, SPL, JB, JAM, DMC), pp. 1356–1357.
DATEDATE-v2-2004-ZieglerS #design
A Unified Design Space for Regular Parallel Prefix Adders (MMZ, MRS), pp. 1386–1387.
HPDCHPDC-2004-ZhangKPCNWS #algorithm #using
Strategies for Using Additional Resources in Parallel Hash-Based Join Algorithms (XZ, TMK, TP, ÜVÇ, SN, PW, JHS), pp. 4–13.
PDPPDP-2004-BanosGOM #clustering #graph #heuristic
Parallel Heuristic Search in Multilevel Graph Partitioning (RB, CG, JO, FGM), pp. 88–95.
PDPPDP-2004-Bilbao-CastroCFG #3d #algorithm #comparison #re-engineering
Parallelization and Comparison of 3D Iterative Reconstruction Algorithms (JRBC, JMC, JJF, IG), pp. 96–102.
PDPPDP-2004-GorrizPSM
Parallelization of Time Series Forecasting Model (JMGS, CGP, MS, RMC), p. 103–?.
PDPPDP-2004-GutierrezLCG #grid
Parallelization of a Neural Net Training Program in a Grid Environment (AG, RMdL, FC, JÁG), pp. 258–265.
PDPPDP-2004-SmykT
RDMA Control Support for Fine-Grain Parallel Computations (AS, MT), p. 208–?.
FoSSaCSFoSSaCS-2004-BucciarelliL
Hypergraphs and Degrees of Parallelism: A Completeness Result (AB, BL), pp. 58–71.
STOCSTOC-2004-GairingLMM #nash #scheduling #strict
Computing Nash equilibria for scheduling on restricted parallel links (MG, TL, MM, BM), pp. 613–622.
TACASTACAS-2004-SenRA #analysis #online #performance #predict #safety #source code #thread
Online Efficient Predictive Safety Analysis of Multithreaded Programs (KS, GR, GA), pp. 123–138.
CAVCAV-2004-GaoH #algorithm #reduction
A Formal Reduction for Lock-Free Parallel Algorithms (HG, WHH), pp. 44–56.
CAVCAV-2004-SchroterK #model checking #petri net
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings (CS, VK), pp. 109–121.
ICDARICDAR-2003-BrittoSSSB #algorithm #clustering #low cost #using
A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing (AdSBJ, PSLdS, RS, SdRSdS, DLB), pp. 839–843.
ICDARICDAR-2003-HuangWL #algorithm
An Improved Parallel Thinning Algorithm (LH, GW, CL), pp. 780–783.
ICDARICDAR-2003-ZouariHLA #classification
A New Classifier Simulator for Evaluating Parallel Combination Methods (HZ, LH, YL, AMA), pp. 26–30.
CIAACIAA-2003-KuskeM #automaton #branch
Branching Automata with Costs — A Way of Reflecting Parallelism in Costs (DK, IM), pp. 150–162.
CIKMCIKM-2003-ChenC #replication #retrieval
Replication and retrieval strategies of multidimensional data on parallel disks (CMC, CTC), pp. 32–39.
ECIRECIR-2003-MacFarlaneRM
Parallel Computing for Term Selection in Routing/Filtering (AM, SER, JAM), pp. 537–545.
MLDMMLDM-2003-DongKS #optimisation #performance
A Fast Parallel Optimization for Training Support Vector Machine (JxD, AK, CYS), pp. 96–105.
ASEASE-2003-BarnatBC #ltl #model checking
Parallel Breadth-First Search LTL Model-Checking (JB, LB, JC), pp. 106–115.
ESEC-FSEESEC-FSE-2003-SenRA #analysis #runtime #safety #source code #thread
Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
SACSAC-2003-BuckerLRB #automation #difference #fourier
Automatic Parallelism in Differentiation of Fourier Transforms (HMB, BL, AR, CHB), pp. 148–152.
SACSAC-2003-GondraS #algorithm #search-based
A Coarse-Grain Parallel Genetic Algorithm for Finding Ramsey Numbers (IG, MHS), pp. 2–8.
SACSAC-2003-NandaR #analysis #java #pointer #source code #thread
Pointer Analysis of Multithreaded Java Programs (MGN, SR), pp. 1068–1075.
SACSAC-2003-PannalaDSO #hybrid #modelling
Hybrid (OpenMP and MPI) Parallelization of MFIX: A Multiphase CFD Code for Modeling Fluidized Beds (SP, EFD, MS, TO), pp. 199–206.
SACSAC-2003-TakeuchiIH
An Improvement on Binary-Swap Compositing for Sort-Last Parallel Rendering (AT, FI, KH), pp. 996–1002.
DATEDATE-2003-KandemirZK #runtime
Runtime Code Parallelization for On-Chip Multiprocessors (MTK, WZ, MK), pp. 10510–10515.
DATEDATE-2003-KinP #data flow #simulation #thread
Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
DATEDATE-2003-MeiVVML #architecture #configuration management #scheduling #using
Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo Scheduling (BM, SV, DV, HDM, RL), pp. 10296–10301.
DATEDATE-2003-OmanaRM
High Speed and Highly Testable Parallel Two-Rail Code Checker (MO, DR, CM), pp. 10608–10615.
DATEDATE-2003-Vissers #architecture #configuration management
Parallel Processing Architectures for Reconfigurable Systems (KAV), pp. 10396–10397.
LCTESLCTES-2003-KimVKI #adaptation #architecture #optimisation
Adapting instruction level parallelism for optimizing leakage in VLIW architectures (HSK, NV, MTK, MJI), pp. 275–283.
PDPPDP-2003-BanosGMO #algorithm #clustering
A Parallel Evolutionary Algorithm for Circuit Partitioning (RB, CG, MDGM, JO), pp. 365–371.
PDPPDP-2003-BaragliaDLOPPPV #grid #named #programming
AssistConf: a Grid configuration tool for the ASSIST parallel programming environment (RB, MD, DL, SO, PP, PP, RP, MV), pp. 193–200.
PDPPDP-2003-BeaumontLR #clustering #scheduling
Scheduling strategies for mixed data and task parallelism on heterogeneous clusters and grids (OB, AL, YR), p. 209–?.
PDPPDP-2003-BelokosztolszkiS #framework #self #xml
An XML based framework for self-describing parallel I/O data (AB, ES), pp. 324–331.
PDPPDP-2003-BorkowskiKT #implementation #source code
Implementing Control in Parallel Programs by Synchronization-Driven Activation and Cancellation (JB, DK, MT), pp. 316–323.
PDPPDP-2003-CuencaGGDR #algebra #automation #linear #optimisation
Automatic Optimisation of Parallel Linear Algebra Routines in Systems with Variable Load (JC, DG, JG, JD, KR), pp. 409–416.
PDPPDP-2003-DAmbraDSL
Integrating MPI-based numerical software into an advanced parallel computing environment (PD, MD, DdS, ML), pp. 283–291.
PDPPDP-2003-DAmoreGL #on the
On the Parallelization of a Commercial PSE for Scientific Computing (LD, MRG, GL), pp. 441–448.
PDPPDP-2003-DortaLRR #bound #divide and conquer
Parallel Skeletons for Divide-and-Conquer and Branch-and-Bound techniques (ID, CL, CR, AR), pp. 292–298.
PDPPDP-2003-FanHS #component #database #pattern matching #pattern recognition #recognition
Developing a Web-Based Pattern Recognition System for the Pattern Search of Components Database by a Parallel Computing (KCF, SJH, WTS), p. 456–?.
PDPPDP-2003-GaoSGL #clustering #simulation
Load Balancing for Spatial-grid-based Parallel Numeric Simulations on Clusters of SMPs (HG, AS, AG, PL), pp. 75–82.
PDPPDP-2003-GarciaCCPF #fault tolerance #file system
A Parallel and Fault Tolerant File System Based on NFS Servers (FG, AC, JC, JMP, JF), p. 83–?.
PDPPDP-2003-Garstecki #api #consistency #distributed #generative #testing
Generation of conformance test suites for parallel and distributed languages and APIs (LG), pp. 308–315.
PDPPDP-2003-HidalgoPLBTG #algorithm #hybrid #search-based
Hybrid Parallelization of a Compact Genetic Algorithm (JIH, MP, JL, RB, FT, OG), pp. 449–455.
PDPPDP-2003-LeemanLFD #flexibility #library #source code
A Flexible Library for Dependable Master-Worker Parallel Programs (ML, ML, VDF, GD), pp. 299–307.
PDPPDP-2003-SeragiottoFGMM #automation #distributed #on the #performance #problem #source code #using
On Using Aksum for Semi-Automatically Searching of Performance Problems in Parallel and Distributed Programs (CSJ, TF, MG, GM, HM), pp. 385–392.
PDPPDP-2003-SpiteriGBM #linear #problem
Parallelization of Subdomain Methods with Overlapping for Linear and Nonlinear Convection-Diffusion Problems. (PS, RG, DEB, MC), pp. 341–348.
PDPPDP-2003-TsigasZ #enterprise #evaluation #implementation #performance
A Simple, Fast Parallel Implementation of Quicksort and its Performance Evaluation on SUN Enterprise 10000 (PT, YZ), p. 372–?.
PPoPPPPoPP-2003-CintraF #performance #robust #towards
Toward efficient and robust software speculative parallelization on multiprocessors (MHC, DRLF), pp. 13–24.
PPoPPPPoPP-2003-DeitzCCS #array #design #implementation
The design and implementation of a parallel array operator for the arbitrary remapping of data (SJD, BLC, SEC, LS), pp. 155–166.
PPoPPPPoPP-2003-FraguelaRFPT #memory management #programming
Programming the FlexRAM parallel intelligent memory system (BBF, JR, PF, DAP, JT), pp. 49–60.
PPoPPPPoPP-2003-FrensW #matrix #memory management
Factorization with morton-ordered quadtree matrices for memory re-use and parallelism (JDF, DSW), pp. 144–154.
PPoPPPPoPP-2003-GoelRM #representation
Compactly representing parallel program executions (AG, AR, TM), pp. 191–202.
PPoPPPPoPP-2003-LiuM #middleware #named
Impala: a middleware system for managing autonomic, parallel sensor systems (TL, MM), pp. 107–118.
PPoPPPPoPP-2003-McDowellEG #thread
Improving server software support for simultaneous multithreaded processors (LM, SJE, SDG), pp. 37–48.
PPoPPPPoPP-2003-PrabhuO #concurrent #thread #using
Using thread-level speculation to simplify manual parallelization (MKP, KO), pp. 1–12.
PPoPPPPoPP-2003-TanSSAM #design pattern #distributed #generative #memory management #using
Using generative design patterns to generate parallel code for a distributed memory environment (KT, DS, JS, JA, SM), pp. 203–215.
PPoPPPPoPP-2003-TauraKEY #named #programming
Phoenix: a parallel programming model for accommodating dynamically joining/leaving resources (KT, KK, TE, AY), pp. 216–229.
FoSSaCSFoSSaCS-2003-BournezCNM #polynomial
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time (OB, FC, PJdN, JYM), pp. 185–199.
LICSLICS-2003-Jancar #process #similarity
Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete (PJ), p. 218–?.
SIGMODSIGMOD-2002-RaoZML #automation #database #design #physics
Automating physical database design in a parallel database (JR, CZ, NM, GML), pp. 558–569.
SCAMSCAM-2002-Baxter #analysis #source code
Parallel Support for Source Code Analysis and Modification (IDB), p. 3–?.
WCREWCRE-2002-JrW #algorithm #image
Exposing Data-Level Parallelism in Sequential Image Processing Algorithms (LBBJ, LMW), pp. 245–254.
WCREWCRE-2002-WillsTJW #framework #platform
Estimating Potential Parallelism for Platform Retargeting (LMW, TMT, LBBJ, DSW), pp. 55–64.
ICALPICALP-2002-BermanKN #approximate
Approximating Huffman Codes in Parallel (PB, MK, YN), pp. 845–855.
ICALPICALP-2002-FantozziPP #integration #memory management
Seamless Integration of Parallelism and Memory Hierarchy (CF, AP, GP), pp. 856–867.
IFLIFL-2002-BoisLT #concurrent #graph #migration #reduction #thread
Thread Migration in a Parallel Graph Reducer (ARDB, HWL, PWT), pp. 199–214.
IFLIFL-2002-EllmenreichL #named #programming #refinement
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.
CAiSECAiSE-2002-SunL #algorithm #query
Parallel Query Processing Algorithms for Semi-structured Data (WS, KL), pp. 770–773.
EDOCEDOC-2002-SatoSM #optimisation #web #web service
Optimizing Composite Web Services through Parallelization of Service Invocations (NS, SS, KM), p. 305–?.
ICEISICEIS-2002-TanTS #data mining #mining #performance #taxonomy
A Taxonomy for Inter-Model Parallelism in High Performance Data Mining (LT, DT, KAS), pp. 534–539.
ECIRECIR-2002-McEwanOR #documentation #web
Building Bilingual Dictionaries from Parallel Web Documents (CJAM, IO, IR), pp. 303–323.
KDDKDD-2002-KruengkraiJ #algorithm #classification #learning
A parallel learning algorithm for text classification (CK, CJ), pp. 201–206.
PLDIPLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #performance #precise #source code #thread
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.
PLDIPLDI-2002-OssiaBGKLO #concurrent #garbage collection #incremental
A Parallel, Incremental and Concurrent GC for Servers (YO, OBY, IG, EKK, VL, AO), pp. 129–140.
AdaSIGAda-2002-KorochkinK #ada #analysis #java #performance
Experimental performance analysis of the Ada95 and Java parallel program on SMP systems (DK, SK), pp. 53–56.
ICSEICSE-2002-RoychoudhuryM #java #semantics #specification #thread #verification
Specifying multithreaded Java semantics for program verification (AR, TM), pp. 489–499.
SACSAC-2002-CooperSS #semistructured data
A parallel index for semistructured data (BFC, NS, MS), pp. 890–896.
SACSAC-2002-GoumasAK #architecture #automation #code generation
Automatic code generation for executing tiled nested loops onto parallel architectures (GIG, MA, NK), pp. 876–881.
SACSAC-2002-Huang #divide and conquer #theory and practice
Grid-enabled parallel divide-and-conquer: theory and practice (CHH), pp. 865–869.
SACSAC-2002-KornissNKG #simulation #statistics
Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations (GK, MAN, AKK, HG), pp. 132–137.
SACSAC-2002-MorvanH #execution #memory management #query
Dynamic memory allocation strategies for parallel query execution (FM, AH), pp. 897–901.
ASPLOSASPLOS-2002-MartinezT #concurrent #thread
Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.
DACDAC-2002-HuangM #configuration management
Exploiting operation level parallelism through dynamically reconfigurable datapaths (ZH, SM), pp. 337–342.
DACDAC-2002-KadayifKK #adaptation #energy
An energy saving strategy based on adaptive loop parallelization (IK, MTK, MK), pp. 195–200.
DATEDATE-2002-Hering #simulation
A Parallel LCC Simulation System (KH), p. 1134.
DATEDATE-2002-WilliamsHA #communication
Communication Mechanisms for Parallel DSP Systems on a Chip (JW, NH, BDA), pp. 420–422.
HPCAHPCA-2002-CascavalCCDGLMSW #architecture #evaluation #thread
Evaluation of a Multithreaded Architecture for Cellular Computing (CC, JGC, LC, MD, MG, DL, JEM, KS, HSWJ), pp. 311–322.
HPCAHPCA-2002-CintraT #learning #thread
Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors (MHC, JT), pp. 43–54.
HPDCHPDC-2002-McCombsS #clustering #network
Multigrain Parallelism for Eigenvalue Computations on Networks of Clusters (JRM, AS), pp. 143–149.
HPDCHPDC-2002-Schulz #clustering #performance #semantics #using
Using Semantic Information to Guide Efficient Parallel I/O on Clusters (MS), pp. 135–142.
HPDCHPDC-2002-TaylorWGS #kernel #performance #predict #using
Using Kernel Couplings to Predict Parallel Application Performance (VET, XW, JG, RLS), pp. 125–134.
ISMMISMM-2002-Ben-YitzhakGKKL #algorithm #incremental
An algorithm for parallel incremental compaction (OBY, IG, EKK, KK, VL), pp. 207–212.
PDPPDP-2002-CzechC #problem
Parallel Simulated Annealing for the Vehicle Routing Problem with Time Windows (ZJC, PC), p. 376–?.
PDPPDP-2002-FolinoPS #induction #programming #search-based
Improving Induction Decision Trees with Parallel Genetic Programming (GF, CP, GS), pp. 181–18.
PDPPDP-2002-GonzalezLRRRSP #profiling #source code
Model Oriented Profiling of Parallel Programs (JAG, CL, JLR, CR, JMR, FdS, MP), p. 39–?.
PDPPDP-2002-GutierrezPZ #clustering #on the #performance #reduction
On Improving the Performance of Data Partitioning Oriented Parallel Irregular Reductions (EG, OGP, ELZ), p. 445–?.
PDPPDP-2002-Jimenez-GonzalezNL #algorithm #sorting
The Effect of Local Sort on Parallel Sorting Algorithms (DJG, JJN, JLLP), pp. 360–367.
PDPPDP-2002-JuhaszC #execution #predict
Execution Time Prediction for Parallel Data Processing Tasks (SJ, HC), pp. 31–38.
PDPPDP-2002-KacsukSKV #distributed #programming #tool support
Parallel and Distributed Programming Tools for Grids (PK, WS, DK, JV), pp. 137–138.
PDPPDP-2002-KlauerEMW #architecture #automation #data type #thread
The CDAG: A Data Structure for Automatic Parallelization for a Multithreaded Architecture (BK, FE, RM, KW), pp. 219–226.
PDPPDP-2002-PetitSP #memory management
Characterizing Parallel Workloads to Reduce Multiple Writer Overhead in Shared Virtual Memory Systems (SP, JS, AP), pp. 261–268.
PDPPDP-2002-Rodriguez #algorithm #analysis #design
The Design and Analysis of Parallel Algorithms (CR), p. 1.
PDPPDP-2002-RuizOP #problem
Exploiting the Multilevel Parallelism and the Problem Structure in the Numerical Solution of Stiff ODEs (JMMR, JO, JACdlP), pp. 173–180.
PDPPDP-2002-ToroOFD #algorithm #named #optimisation #search-based
PSFGA: A Parallel Genetic Algorithm for Multiobjective Optimization (FdT, JO, JF, AFD).
ESOPESOP-2002-HuIT #cumulative
An Accumulative Parallel Skeleton for All (ZH, HI, MT), pp. 83–97.
TACASTACAS-2002-DelzannoRB #automation #java #source code #thread #towards #verification
Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.
TACASTACAS-2002-HeljankoKK #algorithm #petri net
Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.
CAVCAV-2002-FlanaganQS #composition #source code #thread
A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.
CSLCSL-2002-Chen #fixpoint
A Fixpoint Theory for Non-monotonic Parallelism (YC), pp. 120–134.
SATSAT-2002-FormanS #named #random #satisfiability
NAGSAT: A randomized, complete, parallel solver for 3-SAT (SF, AMS), p. 45.
SATSAT-2002-Roli #satisfiability
Impact of structure on parallel local search for SAT (AR), p. 24.
ICDARICDAR-2001-WantabeO #generative #paradigm #recognition #verification
Parallel Recognition of Roads from Urban Maps on Generation/Verification Paradigm of Hypotheses (TW, TO), pp. 1225–1234.
VLDBVLDB-2001-CatozziR #operating system
Operating System Extensions for the Teradata Parallel VLDB (JC, SR), pp. 679–682.
VLDBVLDB-2001-StohrR #named
WARLOCK: A Data Allocation Tool for Parallel Warehouses (TS, ER), pp. 721–722.
IWPCIWPC-J-1999-MartinoMMV01 #communication #detection #interactive #program analysis
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs (BDM, AM, NM, UV), pp. 235–263.
CIAACIAA-2001-Holub #automaton #nondeterminism #simulation
Bit Parallelism — NFA Simulation (JH), pp. 149–160.
DLTDLT-2001-Csuhaj-VarjuV #communication
Parallel Communicating Grammar Systems with Incomplete Information Communication (ECV, GV), pp. 359–368.
DLTDLT-2001-RovanS #communication
Eliminating Communication by Parallel Rewriting (BR, MS), pp. 369–278.
FMFME-2001-SilvaSJ #clustering #hardware #process
Serialising Parallel Processes in a Hardware/Software Partitioning Context (LS, AS, GJ), pp. 344–363.
RTARTA-2001-Lohrey #automaton #complexity #on the
On the Parallel Complexity of Tree Automata (ML), pp. 201–215.
RTARTA-2001-Pinto #evaluation #interactive
Parallel Evaluation of Interaction Nets with MPINE (JSP), pp. 353–356.
TLCATLCA-2001-Pinto #geometry #implementation #interactive #modelling #using #λ-calculus
Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (JSP), pp. 385–399.
SIGIRSIGIR-2001-FranzMWZ01a #corpus
Quantifying the Utility of Parallel Corpora (MF, JSM, TW, WJZ), pp. 398–399.
TOOLSTOOLS-USA-2001-LiKLCL #algorithm #automation #data mining #mining
Automatic Data Mining by Asynchronous Parallel Evolutionary Algorithms (JL, ZK, YL, HC, PL), pp. 99–107.
PADLPADL-2001-PontelliE #optimisation #programming #set
Construction and Optimization of a Parallel Engine for Answer Set Programming (EP, OEK), pp. 288–303.
PLDIPLDI-2001-ChengB #garbage collection #realtime
A Parallel, Real-Time Garbage Collector (PC, GEB), pp. 125–136.
PPDPPPDP-2001-PenaR #abstraction #functional #programming
Parallel Functional Programming at Two Levels of Abstraction (RP, FR), pp. 187–198.
SASSAS-2001-BertranBCN #communication #concurrent #imperative #source code
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs (MB, FXB, AC, MN), pp. 20–39.
SASSAS-2001-Rinard #analysis #source code #thread
Analysis of Multithreaded Programs (MCR), pp. 1–19.
SACSAC-2001-DiazRST #approach #integration #named
DIP: a pattern-based approach for task and data parallelism integration (MD, BR, ES, JMT), pp. 148–150.
DATEDATE-2001-HeringLM #functional #logic #named
dibSIM: a parallel functional logic simulator allowing dynamic load balancing (KH, JL, JM), pp. 472–478.
HPDCHPDC-2001-KuntrarukP #data mining #distributed #feature model #mining #using
Massively Parallel Distributed Feature Extraction in Textual Data Mining Using HDDI(tm) (JK, WMP), pp. 363–370.
HPDCHPDC-2001-ToonenALFGGBK #process
Interfacing Parallel Jobs to Process Managers (BRT, DA, ELL, ITF, WG, EG, RB, NTK), pp. 431–432.
HPDCHPDC-2001-WuB #analysis #architecture
Parallel Retrograde Analysis on Different Architecture (RW, DFB), pp. 356–362.
PDPPDP-2001-ArtiagaG #kernel #migration #thread
Running Multithreaded Applications in Exokernel-based Systems: Porting CThreads to Xok (EA, MG), pp. 77–83.
PDPPDP-2001-BaragliaPHLT #algorithm #clustering #search-based
A Parallel Compact Genetic Algorithm for Multi-FPGA Partitioning (RB, RP, JIH, JL, FT), pp. 113–120.
PDPPDP-2001-Czech #delivery #problem
Parallel Simulated Annealing for the Delivery Problem (ZJC), pp. 219–226.
PDPPDP-2001-DaneseLLQRT #algorithm #case study #implementation #network
A Parallel Neurochip for Neural Networks Implementing the Reactive Tabu Search Algorithm: Application Case Studies (GD, IDL, FL, AQ, SR, GT), p. 273.
PDPPDP-2001-GennaroPO
Integrating HPF in a Skeleton Based Parallel Language (CG, RP, SO), pp. 195–202.
PDPPDP-2001-MarescaZ #image #source code #video
Restructuring the Flow of Image and Video Processing Programs to Increase Instruction Level Parallelism (MM, NZ), p. 386–?.
PDPPDP-2001-MedeirosC #using
Using Groups to Support the Interconnection of Parallel Applications (PDM, JCC), pp. 89–96.
PDPPDP-2001-MehoferS #communication #optimisation #probability
Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems (EM, BS), p. 186–?.
PDPPDP-2001-OksaV #algorithm
Multi-Level Parallelism in the Block-Jacobi SVD Algorithm (GO, MV), p. 306–?.
PDPPDP-2001-SemeM #algorithm #geometry #performance #problem
Efficient BSR-Based Parallel Algorithms for Geometrical Problems (DS, JFM), pp. 265–272.
PDPPDP-2001-Talia #automaton #implementation #standard
Implementing Standard and Nonstandard Parallel Cellular Automata in CARPET (DT), pp. 243–249.
PPoPPPPoPP-2001-Chien #challenge #programming
Parallel programming challenges for Internet-scale computing (entropia) (AAC), p. 82.
PPoPPPPoPP-2001-Foster #challenge
Parallel computing in 2010: opportunities and challenges in a networked world (ITF), p. 1.
PPoPPPPoPP-2001-InoFH #analysis #named
LogGPS: a parallel computational model for synchronization analysis (FI, NF, KH), pp. 133–142.
PPoPPPPoPP-2001-RencuzogullariD #adaptation #network
Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations (UR, SD), pp. 72–81.
PPoPPPPoPP-2001-SalcianuR #analysis #pointer #source code #thread
Pointer and escape analysis for multithreaded programs (AS, MCR), pp. 12–23.
FoSSaCSFoSSaCS-2001-Stirling #decidability #process #set #similarity
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes (CS), pp. 379–393.
STOCSTOC-2001-BecchettiL #scheduling
Non-clairvoyant scheduling to minimize the average flow time on single and parallel machines (LB, SL), pp. 94–103.
STOCSTOC-2001-Kosaraju #graph
Euler paths in series parallel graphs (SRK), pp. 237–240.
STOCSTOC-2001-Muller-OlmS #on the #slicing #source code
On optimal slicing of parallel programs (MMO, HS), pp. 647–656.
TACASTACAS-2001-BallCR #library #thread #verification
Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.
TACASTACAS-2001-BolligLW #calculus #model checking #μ-calculus
Parallel Model Checking for the Alternation Free μ-Calculus (BB, ML, MW), pp. 543–558.
CAVCAV-2001-LeuckerN #concurrent #framework #named #platform #verification
Truth/SLC — A Parallel Verification Platform for Concurrent Systems (ML, TN), pp. 255–259.
ICSTSAT-2001-Roll
Criticality and Parallelism in GSAT (AR), pp. 150–161.
ICSTSAT-2001-SinzBK #implementation #named
PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications (CS, WB, WK), pp. 205–216.
TPDLECDL-2000-WeberBS #image #scalability #similarity #using
Interactive-Time Similarity Search for Large Image Collections Using Parallel VA-Files (RW, KB, HJS), pp. 83–92.
PODSPODS-2000-AtallahP #data access #query
(Almost) Optimal Parallel Block Access for Range Queries (MJA, SP), pp. 205–215.
SIGMODSIGMOD-2000-LeeKOTM #database #self #towards
Towards Self-Tuning Data Placement in Parallel Database Systems (MLL, MK, BCO, KLT, AM), pp. 225–236.
SIGMODSIGMOD-2000-Weininger #database #scalability
Handling Very Large Databases with Informix Extended Parallel Server (AW), pp. 548–549.
VLDBVLDB-2000-StohrMR #database
Multi-Dimensional Database Allocation for Parallel Data Warehouses (TS, HM, ER), pp. 273–284.
ITiCSEITiCSE-2000-CarrS #education #library #programming #thread
A portable class library for teaching multithreaded programming (SC, CKS), pp. 124–127.
ICALPICALP-2000-Mayr #bisimulation #complexity #on the #problem #process
On the Complexity of Bisimulation Problems for Basic Parallel Processes (RM), pp. 329–341.
ICALPICALP-2000-MycroftS #functional
A Statically Allocated Parallel Functional Language (AM, RS), pp. 37–48.
WLCWLC-2000-SchottS #algorithm #word
Two Optimal Parallel Algorithms on the Commutation Class of a Word (RS, JCS), pp. 403–419.
IFMIFM-2000-Dingel #development #distributed #source code #towards
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs (JD), pp. 214–234.
RTARTA-2000-ErkN #constraints
Parallelism Constraints (KE, JN), pp. 110–126.
ICFPICFP-2000-Baker-FinchKT #evaluation #lazy evaluation #semantics
An operational semantics for parallel lazy evaluation (CABF, DJK, PWT), pp. 162–173.
ICFPICFP-2000-ChakravartyK #programming
More types for nested data parallel programming (MMTC, GK), pp. 94–105.
IFLIFL-2000-KlusikLPR #implementation #programming
Implementation Skeletons in Eden: Low-Effort Parallel Programming (UK, RL, SP, FR), pp. 71–88.
IFLIFL-2000-SargeantKW #functional #source code
Exploiting Implicit Parallelism in Functional Programs with SLAM (JS, CCK, IW), pp. 19–36.
CIKMCIKM-2000-SmithWSP #architecture #database #named
Polar: An Architecture for a Parallel ODMG Compliant Object Database (JS, PW, SdFMS, NWP), pp. 352–359.
ICPRICPR-v1-2000-Jahn
Parallel Epipolar Stereo Matching (HJ), pp. 1402–1405.
ICPRICPR-v1-2000-LeeT #adaptation #image #segmentation
Parallel Image Segmentation with Adaptive Mesh (SSL, HTT), pp. 1635–1639.
ICPRICPR-v3-2000-PetrosinoC #clustering #fuzzy #set
Unsupervised Texture Discrimination Based on Rough Fuzzy Sets and Parallel Hierarchical Clustering (AP, MC), pp. 7100–7103.
ICPRICPR-v4-2000-Lopez-de-TeruelRG #algorithm #image
A Parallel Algorithm for Tracking of Segments in Noisy Edge Images (PELdT, AR, JMG), pp. 4807–4811.
ICPRICPR-v4-2000-SeinstraK #api #image
Transparent Parallel Image Processing by way of a Familiar Sequential API (FJS, DK), pp. 4824–4827.
ICPRICPR-v4-2000-SziranyiC #optimisation #segmentation #using
Spatio-Temporal Segmentation with Edge Relaxation and Optimization Using Fully Parallel Methods (TS, LC), pp. 4820–4823.
TOOLSTOOLS-ASIA-2000-GuangWW
A Revised, Inheritance-Supporting Parallel Object Model in PDEFA-I (YG, DW, DW), pp. 108–113.
TOOLSTOOLS-ASIA-2000-WanSX #design pattern #programming
Expanding Design Pattern to Support Parallel Programming (JYW, YQS, JYX), pp. 24–31.
PADLPADL-2000-PetersonTS #functional #programming
Parallel Functional Reactive Programming (JP, VT, AS), pp. 16–31.
PLDIPLDI-2000-LarsenA #set
Exploiting superword level parallelism with multimedia instruction sets (SL, SPA), pp. 145–156.
POPLPOPL-2000-EsparzaP #algorithm #graph #interprocedural #performance
Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs (JE, AP), pp. 1–11.
PPDPPPDP-2000-PediciniQ #implementation #reduction #λ-calculus
A parallel implementation for optimal λ-calculus reduction (MP, FQ), pp. 3–14.
PPDPPPDP-2000-TodoranP #continuation #logic programming
Continuations for parallel logic programming (ET, NP), pp. 257–267.
SASSAS-2000-ChinKHT #invariant
Deriving Parallel Codes via Invariants (WNC, SCK, ZH, MT), pp. 75–94.
SACSAC-2000-BougeMNP #architecture #case study #distributed #runtime #thread #using
Using the VI Architecture to Build Distributed, Multithreaded Runtime Systems: A Case Study (LB, JFM, RN, LP), pp. 704–709.
SACSAC-2000-CavarraRZ #formal method #semantics
A Formal Model for the Parallel Semantics of P3L (AC, ER, AZ), pp. 804–812.
SACSAC-2000-DenehyJ #c++ #java #virtual machine
Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
SACSAC-2000-JungKM #delivery #distributed #internet #thread
Multithreaded Distributed MPEGI-Video Delivery in the Internet Environment (GSJ, KWK, QMM), pp. 592–597.
SACSAC-2000-OrlandoPP #coordination #source code
Coordinating HPF Programs to Mix Task and Data Parallelism (SO, PP, RP), pp. 240–247.
SACSAC-2000-RibeiroHOR #algorithm #implementation #problem
A Parallel Algorithm for the Routing Problem: An Implementation in The Parallel Computer IBM-SP2 (CMR, FH, FCJdO, JFFR), pp. 649–654.
SACSAC-2000-Shaw #algorithm #equation
A Parallel Algorithm for NonLinear Volterra Integro-Differential Equations (RES), pp. 86–88.
ASPLOSASPLOS-2000-BergerMBW #memory management #named #scalability #thread
Hoard: A Scalable Memory Allocator for Multithreaded Applications (EDB, KSM, RDB, PRW), pp. 117–128.
ASPLOSASPLOS-2000-FlautnerURM #concurrent #interactive #performance #thread
Thread Level Parallelism and Interactive Performance of Desktop Applications (KF, RU, SKR, TNM), pp. 129–138.
ASPLOSASPLOS-2000-RedstoneEL #analysis #architecture #behaviour #operating system #thread
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture (JR, SJE, HML), pp. 245–256.
CCCC-2000-YuR #runtime
Techniques for Reducing the Overhead of Run-Time Parallelization (HY, LR), pp. 232–248.
DATEDATE-2000-FrohlichGF #clustering #simulation
A New Partitioning Method for Parallel Simulation of VLSI Circuits on Transistor Level (NF, VG, JF), pp. 679–684.
DATEDATE-2000-LungeanuS #distributed #simulation
Parallel and Distributed VHDL Simulation (DL, CJRS), pp. 658–662.
DATEDATE-2000-RustSAT #embedded #implementation #realtime #specification
From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time Systems (CR, FS, PA, JT), pp. 686–691.
HPCAHPCA-2000-BehrPS #architecture #named
PowerMANNA: A Parallel Architecture Based on the PowerPC MPC620 (PMB, SP, ACS), pp. 277–286.
HPCAHPCA-2000-BoschSSRH #analysis #case study #performance #using #visualisation
Performance Analysis and Visualization of Parallel Systems Using SimOS and Rivet: A Case Study (RB, CS, GS, MR, PH), pp. 360–371.
HPCAHPCA-2000-HosomiKNH #architecture
A DSM Architecture for a Parallel Computer Cenju-4 (TH, YK, MN, TH), pp. 287–298.
HPCAHPCA-2000-MathewMCD #design #memory management
Design of a Parallel Vector Access Unit for SDRAM Memory Systems (BKM, SAM, JBC, AD), pp. 39–48.
HPCAHPCA-2000-VartanianBD #3d
The Best Distribution for a Parallel OpenGL 3D Engine with Texture Caches (AV, JLB, NDT), pp. 399–408.
HPDCHPDC-2000-GermainPMJ #named #problem
Uintah: A Massively Parallel Problem Solving Environment (JDdSG, SGP, JM, CRJ), pp. 33–42.
HPDCHPDC-2000-NishiTYKA #network #performance
A Local Area System Network RHinet-1: A Network for High Performance Parallel Computing (HN, KT, JY, TK, HA), pp. 296–297.
HPDCHPDC-2000-NolteH #biology #case study #distributed #research #sorting
Parallel Matching and Sorting with TACO’s Distributed Collections — A Case Study from Molecular Biology Research (JN, PH), pp. 247–252.
HPDCHPDC-2000-WuTGLLSHJ #distributed #framework #modelling #named #performance
Prophesy: An Infrastructure for Analyzing and Modeling the Performance of Parallel and Distributed Applications (XW, VET, JG, XL, ZL, RLS, MH, IRJ), pp. 302–303.
ISMMISMM-2000-PlakalF #concurrent #garbage collection #slicing #thread #using
Concurrent Garbage Collection Using Program Slices on Multithreaded Processors (MP, CNF), pp. 94–100.
PDPPDP-2000-BaiardiGMR #compilation #evaluation #memory management
Evaluation of a virtual shared memory machine by the compilation of data parallel loops (FB, DG, PM, LR), pp. 309–316.
PDPPDP-2000-BaragliaFLPP #architecture #library
PQE HPF-a library for exploiting the capabilities of a PQE-1 heterogeneous parallel architecture (RB, RF, DL, PP, RP), pp. 166–173.
PDPPDP-2000-Cagnard #programming
The parallel cellular programming model (PJC), pp. 283–289.
PDPPDP-2000-Czech #clustering #problem
Parallel simulated annealing for the set-partitioning problem (ZJC), pp. 343–350.
PDPPDP-2000-GonzalezLPPRRS
Groups in bulk synchronous parallel computing (JAG, CL, FP, MP, JLR, CR, FdS), pp. 244–251.
PDPPDP-2000-GoscinskiHS #message passing #operating system #overview #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-MonteroPLT #robust
A robust multigrid solver on parallel computers (RSM, MP, IML, FT), pp. 48–55.
PDPPDP-2000-RivasI #3d #algorithm #image #performance #re-engineering
Fast parallel algorithms for 3D reconstruction of angiographic images (RR, MBI), pp. 43–47.
PDPPDP-2000-TambourisS #analysis #component #scalability
Scalability analysis of parallel systems with multiple components of work (ET, PVS), pp. 182–189.
PDPPDP-2000-TranHN #data-driven #programming
Parallel programming with data driven model (VDT, LH, GTN), pp. 205–211.
ESOPESOP-2000-SeidlS #analysis #constraints #interprocedural #source code
Constraint-Based Inter-Procedural Analysis of Parallel Programs (HS, BS), pp. 351–365.
FASEFASE-2000-KolanoKM #realtime #refinement
Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.
FoSSaCSFoSSaCS-2000-BerardLS #equivalence #performance #process #verification
Verifying Performance Equivalence for Timed Basic Parallel Processes (BB, AL, PS), pp. 35–47.
STOCSTOC-2000-KitaevW #exponential #interactive #proving #quantum #simulation
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems (AK, JW), pp. 608–617.
CAVCAV-2000-HeymanGGS #analysis #reachability #scalability
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits (TH, DG, OG, AS), pp. 20–35.
ICLPCL-2000-DutraCB #logic programming #protocol
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems (IdCD, VSC, RB), pp. 1285–1299.
ICDARICDAR-1999-OshitaniW #recognition
Parallel Map Recognition with Information Propagation Mechanism (TO, TW), pp. 717–720.
ICDARICDAR-1999-SuralD #algorithm #documentation #generative #image #segmentation
A Two-step Algorithm and its Parallelization for the Generation of Minimum Containing Rectangles for Document Image Segmentation (SS, PKD), pp. 173–176.
VLDBVLDB-1999-TamuraK #clustering #mining
Dynamic Load Balancing for Parallel Association Rule Mining on Heterogenous PC Cluster Systems (MT, MK), pp. 162–173.
ITiCSEITiCSE-1999-Ben-AriK #concurrent #learning #process
Thinking parallel: the process of learning concurrency (MBA, YBDK), pp. 13–16.
IWPCIWPC-1999-MartinoMMV #communication #interactive #source code
Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication (BDM, AM, NM, UV), pp. 84–91.
ICALPICALP-1999-Tiskin #matrix #named
Erratum: Bulk-synchronous Parallel Multiplication of Boolean Matrices (AT), pp. 717–718.
ICEISICEIS-1999-Lu #database #modelling #performance #predict #process
Modelling Background Processes in Parallel Database Systems for Performance Prediction (KJL), pp. 101–108.
CIKMCIKM-1999-AponWD #approach #learning
A Learning Approach to Processor Allocation in Parallel Systems (AWA, TDW, LWD), pp. 531–537.
SIGIRSIGIR-1999-NieSID #automation #information retrieval #mining #web
Cross-Language Information Retrieval Based on Parallel Texts and Automatic Mining of Parallel Texts from the Web (JYN, MS, PI, RD), pp. 74–81.
OOPSLAOOPSLA-1999-LipkindPK #distributed
Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations (IL, IP, VK), pp. 447–460.
TOOLSTOOLS-ASIA-1999-GuangWJ #ada #compilation #distributed
Parallel Objects in Distributed Ada95 Compiler and Running System — PDEFA (YG, DW, LJ), pp. 320–325.
TOOLSTOOLS-ASIA-1999-WangZAC #debugging #distributed #java
A Parallel and Distributed Debugger Implemented with Java (FW, QZ, HA, GC), pp. 342–347.
AdaEuropeAdaEurope-1999-Jimenez-PerisPBA #performance #thread
Efficient and Extensible Multithreaded Remote Servers (RJP, MPM, FJB, SA), pp. 91–102.
PADLPADL-1999-SilvaDBC #architecture #logic programming #parametricity #performance
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems (MGS, IdCD, RB, VSC), pp. 122–136.
PEPMPEPM-1999-HuTI #named #performance #source code
Diffusion: Calculating Efficient Parallel Programs (ZH, MT, HI), pp. 85–94.
PLDIPLDI-1999-RuginaR #analysis #pointer #source code #thread
Pointer Analysis for Multithreaded Programs (RR, MCR), pp. 77–90.
PPDPPPDP-1999-Ruiz-AndinoASR #constraints #execution #finite #modelling #programming
Parallel Execution Models for Constraint Programming over Finite Domains (ARA, LA, FS, JJR), pp. 134–151.
AdaSIGAda-1999-RusanovaK #distributed #problem #scheduling
Scheduling problems for parallel and distributed systems (OR, AK), pp. 195–201.
RERE-1999-NcubeM #off the shelf #requirements
Guidance for Parallel Requirements Acquisition and COTS Software Selection (CN, NAMM), p. 133–?.
SACSAC-1999-CallahanT #finite #implementation #platform
Parallel Implementation of a Frontal Finite Element Solver on Multiple Platforms (JDC, JMT), pp. 491–495.
SACSAC-1999-GollaL #architecture #functional #logic #scheduling #thread
A Dynamic Scheduling Logic for Exploiting Multiple Functional Units in Single Ship Multithreaded Architectures (PNG, ECL), pp. 466–473.
SACSAC-1999-Jenq
Parallel Polygon Scan Conversion on Hypercube Multiprocessors (JJFJ), pp. 110–114.
SACSAC-1999-Jimenez-PerisPA #design pattern #distributed #thread
Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous (RJP, MPM, SA), pp. 571–579.
SACSAC-1999-RauberR #coordination #source code
A Coordination Language for Mixed Task and and Data Parallel Programs (TR, GR), pp. 146–155.
CCCC-1999-PatelR #implementation #runtime
Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.
DACDAC-1999-ChinosiZG #clustering #simulation
Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning (MC, RZ, CG), pp. 562–567.
HPCAHPCA-1999-FalsafiW #abstraction #communication #programming #protocol #queue
Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols (BF, DAW), pp. 182–192.
HPCAHPCA-1999-KergommeauxDG
Parallel Computing for Irregular Applications (JCdK, YD, TG), p. 321.
HPCAHPCA-1999-PlaatBH #difference #latency #scalability
Sensitivity of Parallel Applications to Large Differences in Bandwidth and Latency in Two-Layer Interconnects (AP, HEB, RFHH), pp. 244–253.
HPCAHPCA-1999-SohnPKKY #communication #thread
Communication Studies of Single-Threaded and Multithreaded Distributed-Memory Multiprocessors (AS, YP, JYK, YK, YY), pp. 310–314.
HPCAHPCA-1999-TullsenG #architecture #compilation #execution #thread
Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
HPCAHPCA-1999-ZhangRT #hardware
Hardware for Speculative Parallelization of Partially-Parallel Loops in DSM Multiprocessors (YZ, LR, JT), pp. 135–139.
HPDCHPDC-1999-ReneP #corba #encapsulation #using
MPI Code Encapsulating using Parallel CORBA Object (CR, TP), pp. 3–10.
HPDCHPDC-1999-RosePASSWR #approach #distributed #performance #visualisation
An Approach to Immersive Performance Visualization of Parallel and Wide-Area Distributed Applications (LDR, MP, RAA, ES, BS, SW, DAR), pp. 247–254.
PDPPDP-1999-AdelsbachPRR #simulation
Parallel simulation of incompressible fluids (AA, IP, TR, GR), pp. 273–280.
PDPPDP-1999-CaselliR #architecture #distributed #random
Randomized motion planning on parallel and distributed architectures (SC, MR), pp. 297–304.
PDPPDP-1999-CortesRSPL #algorithm #nearest neighbour #on the #performance
On the performance of nearest-neighbors load balancing algorithms in parallel systems (AC, AR, MÀS, PP, EL), pp. 170–177.
PDPPDP-1999-DaneseLL #network
A parallel processor for neural networks (GD, IDL, FL), pp. 89–96.
PDPPDP-1999-DeconinckTFRLB #embedded #fault tolerance #framework
A framework backbone for software fault tolerance in embedded parallel applications (GD, MT, VDF, WR, RL, RB), pp. 189–195.
PDPPDP-1999-EspadasPLT #pipes and filters #process
Parallel resolution of alternating-line processes by means of pipelining techniques (DE, MP, IML, FT), pp. 289–296.
PDPPDP-1999-HollingworthST #design #detection #using
Design of highly parallel edge detection nodes using evolutionary techniques (GH, SLS, AMT), pp. 35–42.
PDPPDP-1999-Jose #approach #source code
An approach to mapping parallel programs on hypercube multiprocessors (AJ), pp. 221–225.
PDPPDP-1999-OdorKVR #architecture #effectiveness #monte carlo #simulation #string
Effective Monte Carlo simulation on System-V massively parallel associative string processing architecture (, AK, GV, FR), pp. 281–288.
PDPPDP-1999-PriceHLT #adaptation #architecture #array #using
Adaptive microphone array beamforming for teleconferencing using VHDL and parallel architectures (TPWP, DMH, AVL, AMT), pp. 13–18.
PDPPDP-1999-RosatoPC #framework #platform #simulation #using
Simulation of X-ray diffraction patterns using a massively parallel SIMD platform (VR, NP, FC), pp. 315–320.
PDPPDP-1999-UngerZU
Utilising parallel resources by speculation (AU, EZ, TU), pp. 339–343.
PDPPDP-1999-WeperZE #architecture #modelling #named
ρ: hierarchical modeling of parallel architectures (RW, EZ, WE), pp. 233–240.
PDPPDP-1999-YeroH #internet #problem #scalability
A method to solve the scalability problem in managing massively parallel processing on the Internet (EJHY, MAAH), pp. 256–262.
PPoPPPPoPP-1999-BagrodiaDDP #performance #predict #scalability #simulation #using
Performance Prediction of Large Parallel Applications using Parallel Simulations (RB, ED, SD, TP), pp. 151–162.
PPoPPPPoPP-1999-KnoopS #source code
Code Motion for Explicitly Parallel Programs (JK, BS), pp. 13–24.
PPoPPPPoPP-1999-LeePM #algorithm #compilation #source code
Basic Compiler Algorithms for Parallel Programs (JL, DAP, SPM), pp. 1–12.
PPoPPPPoPP-1999-MoonH #analysis #array #automation #data flow #evaluation
Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization (SM, MWH), pp. 84–95.
PPoPPPPoPP-1999-RamachandranNHRK #abstraction #interactive #memory management #programming
Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications (UR, RSN, NH, JMR, KK), pp. 183–192.
PPoPPPPoPP-1999-RuginaR #algorithm #automation #divide and conquer
Automatic Parallelization of Divide and Conquer Algorithms (RR, MCR), pp. 72–83.
PPoPPPPoPP-1999-SchererLGZ #adaptation #using
Transparent Adaptive Parallelism on NOWs using OpenMP (AS, HL, TRG, WZ), pp. 96–106.
STOCSTOC-1999-JansenP #approximate #scheduling
Improved Approximation Schemes for Scheduling Unrelated Parallel Machines (KJ, LP), pp. 408–417.
STOCSTOC-1999-SkutellaW
A PTAS for Minimizing the Weighted Sum of Job Completion Times on Parallel Machines (MS, GJW), pp. 400–407.
CSLCSL-1999-GastinM #concurrent #programming language #semantics
A Truly Concurrent Semantics for a Simple Parallel Programming Language (PG, MWM), pp. 515–529.
TPDLECDL-1998-Owen
Parallel Text Alignment (CBO), pp. 235–260.
SIGMODSIGMOD-1998-JaedickeM #on the
On Parallel Processing of Aggregate and Scalar Functions in Object-Relational DBMS (MJ, BM), pp. 379–389.
SIGMODSIGMOD-1998-LiS #data mining #mining
Free Parallel Data Mining (BL, DS), pp. 541–543.
SIGMODSIGMOD-1998-ShintaniK #algorithm #classification #mining
Parallel Mining Algorithms for Generalized Association Rules with Classification Hierarchy (TS, MK), pp. 25–36.
VLDBVLDB-1998-BamfordBKM #architecture
Architecture of Oracle Parallel Server (RB, DB, BK, NM), pp. 669–670.
VLDBVLDB-1998-CarinoO #execution #optimisation
Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.
VLDBVLDB-1998-George #data mining #mining #named
DMS: A Parallel Data Mining Server (FAWG), p. 702.
IWPCIWPC-1998-MartinoMMV #automation #detection #development #interactive #program analysis
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development (BDM, AM, NM, UV), pp. 206–213.
ICALPICALP-1998-Tiskin #matrix
Bulk-Synchronous Parallel Multiplication of Boolean Matrices (AT), pp. 494–506.
FMFM-1998-FujitaRH #case study #experience #protocol #verification
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol (MF, SPR, AJH), pp. 281–295.
IFLIFL-1998-CharlesR #approach #functional #interactive #profiling #source code
An Interactive Approach to Profiling Parallel Functional Programs (NC, CR), pp. 20–37.
IFLIFL-1998-HallBTK #functional #semantics #strict #towards
Towards an Operational Semantics for a Parallel Non-Strict Functional Language (JGH, CABF, PWT, DJK), pp. 54–71.
IFLIFL-1998-KingHT #haskell #profiling
A Strategic Profiler for Glasgow Parallel Haskell (DJK, JGH, PWT), pp. 88–102.
CIKMCIKM-1998-HaradaAOT #mining
Dynamic Skew Handling in Parallel Mining of Association Rules (LH, NA, KO, RT), pp. 76–85.
ICPRICPR-1998-ArcelliS
Parallel lowering of digital pictures by topology preserving operations (CA, LS), pp. 1601–1603.
ICPRICPR-1998-HuberM #adaptation #named #set
ERC — evolutionary resample and combine for adaptive parallel training data set selection (RH, HAM), pp. 882–885.
ICPRICPR-1998-OshitaniW #recognition
Parallel map recognition based on multilayer partitioned blackboard model (TO, TW), pp. 1604–1606.
ICPRICPR-1998-YouBH #image #realtime #recognition #virtual machine
Real-time object recognition: hierarchical image matching in a parallel virtual machine environment (JY, PB, SH), pp. 275–277.
KDDKDD-1998-ParthasarathyZL #memory management #mining
Memory Placement Techniques for Parallel Association Mining (SP, MJZ, WL), pp. 304–308.
SIGIRSIGIR-1998-YamanaKKSY #performance
Fast Speculative Search Engine on the Highly Parallel Computer EM-X (HY, HK, YK, HS, YY), p. 390.
TOOLSTOOLS-ASIA-1998-Hsiung98a #message passing #object-oriented #synthesis
Parallel Object-Oriented Synthesis Environment Based On Message-Passing (PAH), p. 251–?.
TOOLSTOOLS-ASIA-1998-YaoTL #object-oriented
An Object-Oriented Model for Parallel Softwares (SY, FT, YL), pp. 245–250.
PPDPALP-PLILP-1998-BreitingerKL #haskell #implementation #perspective
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View (SB, UK, RL), pp. 318–334.
PPDPALP-PLILP-1998-EskilsonC #execution #prolog #thread
SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
PLDIPLDI-1998-FrigoLR #implementation #thread
The Implementation of the Cilk-5 Multithreaded Language (MF, CEL, KHR), pp. 212–223.
PLDIPLDI-1998-ZhuH #c #communication #optimisation #source code
Communication Optimizations for Parallel C Programs (YZ, LJH), pp. 199–211.
POPLPOPL-1998-AspertiM #recursion #reduction
Parallel β Reduction is not Elementary Recursive (AA, HGM), pp. 303–315.
POPLPOPL-1998-HuTC
Parallelization in Calculational Forms (ZH, MT, WNC), pp. 316–328.
POPLPOPL-1998-KnobeS #array
Array SSA Form and Its Use in Parallelization (KK, VS), pp. 107–120.
FSEFSE-1998-NaumovichA #algorithm #data flow #detection
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel (GN, GSA), pp. 24–34.
ICSEICSE-1998-PerrySV #case study #development #scalability
Parallel Changes in Large Scale Software Development: An Observational Case Study (DEP, HPS, LGV), pp. 251–260.
SACSAC-1998-BeschHW #design #interface #modelling
Parallel scientific computing in PROMOTER: on the interface between appliction modelling and language design (MB, GH, MW), pp. 677–683.
SACSAC-1998-Morin
Coarse grained parallel computing on heterogeneous systems (PM), pp. 628–634.
SACSAC-1998-MortonZHO #distributed
The parallelization of a physically based, spatially distributed hydrologic code for arctic regions (DJM, ZZ, LDH, SO), pp. 684–689.
SACSAC-1998-Nemer-PreeceW #algorithm #problem #satisfiability #search-based
Parallel genetic algorithm to solve the satisfiability problem (NNP, RWW), pp. 23–28.
SACSAC-1998-WohlmuthM #communication #configuration management
A method for them embedding of arbitrary communication topologies into configurable parallel computers (OW, FML), pp. 569–574.
ASPLOSASPLOS-1998-LeeBFSBSA #scheduling
Space-Time Scheduling of Instruction-Level Parallelism on a Raw Machine (WL, RB, MF, DS, JB, VS, SPA), pp. 46–57.
CCCC-1998-GhiyaHZ #c #detection #recursion #source code
Detecting Parallelism in C Programs with Recursive Darta Structures (RG, LJH, YZ), pp. 159–173.
DACDAC-1998-KimB #algorithm #estimation
Parallel Algorithms for Power Estimation (VK, PB), pp. 672–677.
DACDAC-1998-WittenburgHKOBLKP #image #performance #programmable
Realization of a Programmable Parallel DSP for High Performance Image Processing Applications (JPW, WH, JK, MO, MB, HL, HK, PP), pp. 56–61.
DATEDATE-1998-MaestroMM #clustering #estimation #hardware #process
A Macroscopic Time and Cost Estimation Model Allowing Task Parallelism and Hardware Sharing for the Codesign Partitioning Process (JAM, DM, HM), pp. 218–225.
DATEDATE-1998-Naroska #simulation
Parallel VHDL Simulation (EN), pp. 159–163.
DATEDATE-1998-PyttelSV #architecture #named #scalability
PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems (AP, AS, CV), pp. 370–376.
DATEDATE-1998-RassauYCLECW #2d #implementation #mobile
Smart Pixel Implementation of a 2-D Parallel Nucleic Wavelet Transform for Mobile Multimedia Communications (AMR, TCBY, HC, SL, KE, WAC, TDW), pp. 191–195.
DATEDATE-1998-SchumacherN #hardware #modelling #object-oriented
Object-Oriented Modelling of Parallel Hardware Systems (GS, WN), pp. 234–241.
HPCAHPCA-1998-SteffanM #automation #concurrent #thread #using
The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization (JGS, TCM), pp. 2–13.
HPCAHPCA-1998-TsaiJNY #concurrent #performance #thread
Performance Study of a Concurrent Multithreaded Processor (JYT, ZJ, EN, PCY), pp. 24–35.
HPCAHPCA-1998-TubellaG #detection #thread
Control Speculation in Multithreaded Processors through Dynamic Loop Detection (JT, AG), pp. 14–23.
HPCAHPCA-1998-ZhangRT #distributed #hardware #runtime
Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.
HPDCHPDC-1998-BeckmanFHM #performance #using
Efficient Coupling of Parallel Applications Using PAWS (PHB, PKF, WFH, SMM), pp. 215–222.
HPDCHPDC-1998-ChenWCK #algorithm #automation #optimisation #performance #search-based #using
Automatic Parallel I/O Performance Optimization Using Genetic Algorithms (YC, MW, YC, SWK), pp. 155–162.
HPDCHPDC-1998-ChoWCK #fine-grained #performance
Parallel I/O Performance of Fine Grained Data Distributions (YC, MW, YC, SWK), pp. 163–170.
HPDCHPDC-1998-OguchiSTK #clustering #data mining #effectiveness #evaluation #mining #optimisation #parametricity #protocol #scalability
Optimizing Protocol Parameters to Large Scale PC Cluster and Evaluation of its Effectiveness with Parallel Data Mining (MO, TS, TT, MK), pp. 34–41.
PDPPDP-1998-AlonsoGEGGM #analysis #embedded #performance #prototype #realtime #tool support #visualisation
A toolset for visualization and analysis of parallel real-time embedded systems based on fast prototyping techniques (FJSA, JG, JE, DFG, SG, PDM), pp. 186–194.
PDPPDP-1998-BadiaV #divide and conquer #problem #symmetry
Exploiting the parallel divide-and-conquer method to solve the symmetric tridiagonal eigenproblem (JMB, AMV), pp. 13–19.
PDPPDP-1998-ClematisCS #algorithm #network
Developing non-local iterative parallel algorithms for GIS on a workstation network (AC, AC, MS), pp. 250–256.
PDPPDP-1998-CrookesBSMRM #framework #image #performance #platform
An efficient, portable software platform for parallel image processing (DC, JB, ITAS, PJM, DKR, GM), pp. 237–242.
PDPPDP-1998-DjemameB #logic #simulation
Parallel simulation in rewriting logic: some observations (KD, MB), pp. 197–203.
PDPPDP-1998-EspinosaML #automation #evaluation #performance #source code
Automatic performance evaluation of parallel programs (AE, TM, EL), pp. 43–49.
PDPPDP-1998-FlorioDTRL #distributed #embedded #fault tolerance #hypermedia #injection #monitoring #source code
A hypermedia distributed application for monitoring and fault-injection in embedded fault-tolerant parallel programs (VDF, GD, MT, WR, RL), pp. 349–355.
PDPPDP-1998-GarcesFL #communication
Improving parallel computer communication: dynamic routing balancing (IG, DF, EL), pp. 111–119.
PDPPDP-1998-GilO #clustering #generative #testing #using
Parallel test generation using circuit partitioning and spectral techniques (CG, JO), pp. 264–270.
PDPPDP-1998-HillJSV #architecture #independence #performance #profiling #using
Portable and architecture independent parallel performance tuning using a call-graph profiling tool (JMDH, SAJ, CJS, VPV), pp. 286–294.
PDPPDP-1998-HofmanH #distributed
Theory and tool for estimating global time in parallel and distributed systems (RH, UH), pp. 173–179.
PDPPDP-1998-KacsukP #data flow #database
Dataflow parallel database systems and LOGFLOW (PK, NP), pp. 382–388.
PDPPDP-1998-MontoyaG #algorithm #analysis #implementation
Implementation of parallel thinning algorithms on multicomputers: analysis of the work load balance (MDGM, IG), pp. 257–263.
PDPPDP-1998-PinuelLT #difference #equation
A special-purpose parallel computer for solving partial differential equations (LP, IML, FT), pp. 509–517.
PDPPDP-1998-RodriguezAM #algorithm #network #performance #predict #using
Prediction of parallel algorithms performance on bus-based networks using PVM (RJR, CA, DM), pp. 57–63.
PDPPDP-1998-RodriguezSLG #library #message passing
Providing nested parallelism and load balancing on message passing libraries (CR, FdS, CL, LG), pp. 402–408.
PDPPDP-1998-SobralP #c++
ParC++: a simple extension of C++ to parallel systems (JLS, AJP), pp. 453–459.
PDPPDP-1998-SupalovT #case study #interface
PARASOL interface to new parallel solvers: a case study (AVS, CAT), pp. 279–285.
PDPPDP-1998-ZhouQB #effectiveness #scheduling
Effective scheduling in a mixed parallel and sequential computing environment (BBZ, XQ, RPB), pp. 32–37.
STOCSTOC-1998-AlbersGL
Minimizing Stall Time in Single and Parallel Disk Systems (SA, NG, SL), pp. 454–462.
TACASTACAS-1998-Grahlmann #automaton #finite #petri net #source code #using
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
ISSTAISSTA-1998-YangSP #source code
All-du-path Coverage for Parallel Programs (CSDY, ALS, LLP), pp. 153–162.
ICLPJICSLP-1998-FonsecaCD #execution #logic programming #named #source code #visualisation
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs (NAF, VSC, IdCD), pp. 100–114.
ICLPJICSLP-1998-ShenCK #distance #execution #metric #named
Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
PODSPODS-1997-AlonsoBFS #correctness
Correctness and Parallelism of Composite Systems (GA, SB, AF, HJS), pp. 197–208.
SIGMODSIGMOD-1997-BerchtoldBBKK #database #performance #similarity
Fast Parallel Similarity Search in Multimedia Databases (SB, CB, BB, DAK, HPK), pp. 1–12.
SIGMODSIGMOD-1997-HanKK #data mining #mining #scalability
Scalable Parallel Data Mining for Association Rules (EHH, GK, VK), pp. 277–288.
VLDBVLDB-1997-GarofalakisI #optimisation #query #scheduling
Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources (MNG, YEI), pp. 296–305.
VLDBVLDB-1997-ShaferA #algorithm #data mining #mining #similarity
Parallel Algorithms for High-dimensional Similarity Joins for Data Mining Applications (JCS, RA), pp. 176–185.
DLTDLT-1997-Mihalache #communication #hybrid
Hybrid Parallel Communicating Grammar Systems (VM), pp. 175–189.
ICALPICALP-1997-CaceresDFFRRSS #algorithm #graph #performance
Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP (EC, FKHAD, AF, PF, IR, AR, NS, SWS), pp. 390–400.
ICALPICALP-1997-HemaspaandraHR #analysis
Exact Analysis of Dodgson Elections: Lewis Carroll’s 1876 Voting System is Complete for Parallel Access to NP (