default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIPDPS 2012: Shanghai, China
- 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21-25, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0975-2
Keynote 1
- Chris R. Johnson:
Large-scale visual data analysis. 1
Parallel Linear Algebra Algorithms I
- Michael J. Anderson, David Sheffield, Kurt Keutzer:
A Predictive Model for Solving Small Linear Algebra Problems in GPU Registers. 2-13 - Marc Baboulin, Dulceneia Becker, Jack J. Dongarra:
A Parallel Tiled Solver for Dense Symmetric Indefinite Systems on Multicore Architectures. 14-24 - Azzam Haidar, Hatem Ltaief
, Piotr Luszczek, Jack J. Dongarra:
A Comprehensive Study of Task Coalescing for Selecting Parallelism Granularity in a Two-Stage Bidiagonal Reduction. 25-35 - Xing Liu, Edmond Chow, Karthikeyan Vaidyanathan, Mikhail Smelyanskiy:
Improving the Performance of Dynamical Simulations Via Multiple Right-Hand Sides. 36-47
Bioinformatics and Performance Modeling
- Keith R. Bisset, Md. Maksudul Alam, Josep Bassaganya-Riera, Adria Carbo, Stephen G. Eubank, Raquel Hontecillas, Stefan Hoops, Yongguo Mei, Katherine V. Wendelsdorf, Dawen Xie, Jae-Seung Yeom, Madhav V. Marathe:
High-Performance Interaction-Based Simulation of Gut Immunopathologies with ENteric Immunity Simulator (ENISI). 48-59 - Ankit Shah, Sriram P. Chockalingam, Srinivas Aluru:
A Parallel Algorithm for Spectrum-based Short Read Error Correction. 60-70 - Miquel Orobitg, Fernando Cores, Fernando Guirado, Carsten Kemena, Cédric Notredame, Ana Ripoll:
Enhancing the Scalability of Consistency-based Progressive Multiple Sequences Alignment Applications. 71-82 - Zheng Cui, Yun Liang, Kyle Rupnow, Deming Chen:
An Accurate GPU Performance Model for Effective Control Flow Divergence Optimization. 83-94
Dynamic Pipeline and Transactional Memory Optimizations
- Lihang Zhao, Woojin Choi, Jeff Draper:
SEL-TM: Selective Eager-Lazy Management for Improved Concurrency in Transactional Memory. 95-106 - Jiayuan Meng, Jeremy W. Sheaffer, Kevin Skadron:
Robust SIMD: Dynamically Adapted SIMD Width and Multi-Threading Depth. 107-118 - Jongwon Lee, Jonghee M. Youn, Jihoon Lee, Minwook Ahn, Yunheung Paek:
Dynamic Operands Insertion for VLIW Architecture with a Reduced Bit-width Instruction Set. 119-130 - Zhichao Yan, Hong Jiang, Dan Feng, Lei Tian, Yujuan Tan:
SUV: A Novel Single-Update Version-Management Scheme for Hardware Transactional Memory Systems. 131-143
Software Scheduling
- Thomas Scogland, Barry Rountree, Wu-chun Feng, Bronis R. de Supinski:
Heterogeneous Task Scheduling for Accelerated OpenMP. 144-155 - Hongbo Zou, Xian-He Sun, Siyuan Ma, Xi Duan:
A Source-aware Interrupt Scheduling for Modern Parallel I/O Systems. 156-166 - Orna Agmon Ben-Yehuda, Assaf Schuster, Artyom Sharov, Mark Silberstein, Alexandru Iosup:
ExPERT: Pareto-Efficient Task Replication on Grids and a Cloud. 167-178 - Junwhan Kim, Binoy Ravindran:
Scheduling Closed-Nested Transactions in Distributed Transactional Memory. 179-188
Multicore Algorithms
- Anne Benoit, Rami G. Melhem, Paul Renaud-Goud, Yves Robert:
Power-aware Manhattan Routing on Chip Multiprocessors. 189-200 - Richard Cole, Vijaya Ramachandran:
Efficient Resource Oblivious Algorithms for Multicores with False Sharing. 201-214 - Anil Kumar Katti, Vijaya Ramachandran:
Competitive Cache Replacement Strategies for Shared Cache Environments. 215-226 - Hagen Peters, Ole Schulz-Hildebrandt, Norbert Luttenberger:
A Novel Sorting Algorithm for Many-core Architectures Based on Adaptive Bitonic Sort. 227-237
Scheduling and Load Balancing Algorithms I
- George B. Mertzios, Mordechai Shalom, Ariella Voloshin, Prudence W. H. Wong, Shmuel Zaks:
Optimizing Busy Time on Parallel Machines. 238-248 - Quan Chen, Yawen Chen, Zhiyi Huang, Minyi Guo:
WATS: Workload-Aware Task Scheduling in Asymmetric Multi-core Architectures. 249-260 - Nan Guan, Martin Stigge, Wang Yi, Ge Yu:
Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. 261-272
Scientific Applications
- Olivier Beaumont, Nicolas Bonichon, Lionel Eyraud-Dubois, Loris Marchal:
Minimizing Weighted Mean Completion Time for Malleable Tasks Scheduling. 273-284 - Humayun Arafat, P. Sadayappan, James Dinan, Sriram Krishnamoorthy, Theresa L. Windus:
Load Balancing of Dynamical Nucleation Theory Monte Carlo Simulations through Resource Sharing Barriers. 285-295 - Wei Yu, Franz Franchetti, James C. Hoe, Tsuhan Chen:
Highly Efficient Performance Portable Tracking of Evolving Surfaces. 296-307 - Andrés Tomás, Chia-Chen Chang, Richard Scalettar, Zhaojun Bai:
Advancing Large Scale Many-Body QMC Simulations on GPU Accelerated Multicore Systems. 308-319 - Michael Perrone, Lurng-Kuo Liu, Ligang Lu, Karen A. Magerlein, Changhoan Kim, Irina Fedulova, Artyom Semenikhin:
Reducing Data Movement Costs: Scalable Seismic Imaging on Blue Gene. 320-329
MPI Debugging and Performance Optimization
- Xuechen Zhang, Kei Davis, Song Jiang:
Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services. 330-341 - Zhezhe Chen, Xinyu Li, Jau-Yuan Chen, Hua Zhong, Feng Qin:
SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries. 342-353 - Joachim Protze, Tobias Hilbrich, Andreas Knüpfer, Bronis R. de Supinski, Matthias S. Müller:
Holistic Debugging of MPI Derived Datatypes. 354-365 - Marc Tchiboukdjian, Patrick Carribault, Marc Pérache:
Hierarchical Local Storage: Exploiting Flexible User-Data Sharing Between MPI Tasks. 366-377
Parallel Graph Algorithms I
- Jatin Chhugani, Nadathur Satish, Changkyu Kim, Jason Sewall, Pradeep Dubey:
Fast and Efficient Graph Traversal Algorithm for CPUs: Maximizing Single-Node Efficiency. 378-389 - Zhao Zhao, Guanying Wang, Ali Raza Butt, Maleq Khan, V. S. Anil Kumar, Madhav V. Marathe:
SAHAD: Subgraph Analysis in Massive Networks Using Hadoop. 390-401 - Lawrence Cayton:
Accelerating Nearest Neighbor Search on Manycore Systems. 402-413 - Guojing Cong, Konstantin Makarychev:
Optimizing Large-scale Graph Analysis on Multithreaded, Multicore Platforms. 414-425
High Performance Computing Algorithms
- Tobin Isaac, Carsten Burstedde, Omar Ghattas:
Low-Cost Parallel Algorithms for 2: 1 Octree Balance. 426-437 - Erlin Yao, Rui Wang, Mingyu Chen, Guangming Tan, Ninghui Sun:
A Case Study of Designing Efficient Algorithm-based Fault Tolerant Application for Exascale Parallelism. 438-448 - Dhiraj D. Kalamkar, Joshua D. Trzasko, Srinivas Sridharan, Mikhail Smelyanskiy, Daehyun Kim, Armando Manduca, Yunhong Shu, Matt A. Bernstein, Bharat Kaul, Pradeep Dubey:
High Performance Non-uniform FFT on Modern X86-based Multi-core Systems. 449-460 - Mohammed Shaheen, Robert Strzodka:
NUMA Aware Iterative Stencil Computations on Many-Core Systems. 461-473
Parallel Numerical Computation
- Takeshi Iwashita, Hiroshi Nakashima, Yasuhito Takahashi:
Algebraic Block Multi-Color Ordering Method for Parallel Multi-Threaded Sparse Triangular Solver in ICCG Method. 474-483 - Attila Gyulassy, Valerio Pascucci, Tom Peterka, Robert B. Ross:
The Parallel Computation of Morse-Smale Complexes. 484-495 - Simplice Donfack, Laura Grigori, William D. Gropp, Vivek Kale:
Hybrid Static/dynamic Scheduling for Already Optimized Dense Matrix Factorization. 496-507
Architecture Modeling and Scheduling
- Josué Feliu, Julio Sahuquillo, Salvador Petit, José Duato:
Understanding Cache Hierarchy Contention in CMPs to Improve Job Scheduling. 508-519 - Deepak Jagtap, Nael B. Abu-Ghazaleh, Dmitry Ponomarev:
Optimization of Parallel Discrete Event Simulator for Multi-core Systems. 520-531 - Eduardo Henrique Molina da Cruz, Matthias Diener, Philippe Olivier Alexandre Navaux:
Using the Translation Lookaside Buffer to Map Threads in Parallel Applications Based on Shared Memory. 532-543
GPU-Based Computing
- Kumiko Maeda, Masana Murase, Munehiro Doi, Hideaki Komatsu, Shigeho Noda, Ryutaro Himeno:
Automatic Resource Scheduling with Latency Hiding for Parallel Stencil Applications on GPGPU Clusters. 544-556 - Javier Bueno, Judit Planas, Alejandro Duran, Rosa M. Badia, Xavier Martorell, Eduard Ayguadé, Jesús Labarta:
Productive Programming of GPU Clusters with OmpSs. 557-568 - Richard Membarth, Frank Hannig, Jürgen Teich, Mario Körner, Wieland Eckert:
Generating Device-specific GPU Code for Local Operators in Medical Imaging. 569-581 - Albert Sidelnik, Saeed Maleki, Bradford L. Chamberlain, María Jesús Garzarán, David A. Padua:
Performance Portability with the Chapel Language. 582-594
Keynote 2
- Pete Beckman:
Exascale System Software for the Year of the Dragon. 595
Parallel Matrix Factorizations
- Jonathan Lifflander, Phil Miller, Ramprasad Venkataraman, Anshu Arya, Laxmikant V. Kalé, Terry R. Jones:
Mapping Dense LU Factorization on Multicore Supercomputer Nodes. 596-606 - Jack J. Dongarra, Mathieu Faverge, Thomas Hérault, Julien Langou, Yves Robert:
Hierarchical QR Factorization Algorithms for Multi-core Cluster Systems. 607-618 - Ichitaro Yamazaki, Xiaoye S. Li:
New Scheduling Strategies and Hybrid Programming for a Parallel Right-looking Sparse LU Factorization Algorithm on Multicore Cluster Systems. 619-630 - Sivasankaran Rajamanickam, Erik G. Boman, Michael A. Heroux:
ShyLU: A Hybrid-Hybrid Solver for Multicore Platforms. 631-643
Distributed Computing and Programming Models
- Wei Jiang, Gagan Agrawal:
MATE-CG: A Map Reduce-Like Framework for Accelerating Data-Intensive Computations on Heterogeneous Clusters. 644-655 - Yanfei Guo, Palden Lama, Xiaobo Zhou:
Automated and Agile Server Parameter Tuning with Learning and Control. 656-667 - Naixue Xiong, Athanasios V. Vasilakos, Jie Wu, Yang Richard Yang, Andy J. Rindos, Yuezhi Zhou, Wen-Zhan Song, Yi Pan:
A Self-tuning Failure Detection Scheme for Cloud Computing Service. 668-679 - Mads Ruben Burgdorff Kristensen, Yili Zheng, Brian Vinter:
PGAS for Distributed Numerical Python Targeting Multi-core Clusters. 680-690
Memory Architectures
- Gang Liu, Jih-Kwon Peir, Victor W. Lee:
Miss-Correlation Folding: Encoding Per-Block Miss Correlations in Compressed DRAM for Data Prefetching. 691-702 - Brian Van Essen, Roger A. Pearce, Sasha Ames, Maya B. Gokhale:
On the Role of NVRAM in Data-intensive Architectures: An Evaluation. 703-714 - Xuechen Zhang, Kei Davis, Song Jiang:
iTransformer: Using SSD to Improve Disk Scheduling for High-performance I/O. 715-726 - Abhirup Chakraborty, Eugen Schenfeld, Dilma Da Silva:
Switching Optically-Connected Memories in a Large-Scale System. 727-738
High Performance Communication and Networking
- James Dinan, Pavan Balaji, Jeff R. Hammond, Sriram Krishnamoorthy, Vinod Tipparaju:
Supporting the Global Arrays PGAS Model Using MPI One-Sided Communication. 739-750 - Yanhua Sun, Gengbin Zheng, Laximant V. Kalé, Terry R. Jones, Ryan Olson:
A uGNI-based Asynchronous Message-driven Runtime System for Cray Supercomputers with Gemini Interconnect. 751-762 - Sameer Kumar, Amith R. Mamidala, Daniel Faraj, Brian E. Smith, Michael Blocksome, Bob Cernohous, Douglas Miller, Jeff Parker, Joseph Ratterman, Philip Heidelberger, Dong Chen, Burkhard D. Steinmacher-Burow:
PAMI: A Parallel Active Message Interface for the Blue Gene/Q Supercomputer. 763-773 - Jian Huang, Xiangyong Ouyang, Jithin Jose, Md. Wasi-ur-Rahman, Hao Wang, Miao Luo, Hari Subramoni, Chet Murthy, Dhabaleswar K. Panda:
High-Performance Design of HBase with RDMA over InfiniBand. 774-785
Scheduling and Load Balancing Algorithms II
- Mark Stillwell, Frédéric Vivien, Henri Casanova:
Virtual Machine Resource Allocation for Service Hosting on Heterogeneous Distributed Platforms. 786-797 - Yusen Li, Wentong Cai:
Consistency-aware Partitioning Algorithm in Multi-server Distributed Virtual Environments. 798-807 - Han Zhao, Miao Pan, Xinxin Liu, Xiaolin Li, Yuguang Fang:
Optimal Resource Rental Planning for Elastic Applications in Cloud Market. 808-819 - Clemens P. J. Adolphs, Petra Berenbrink:
Improved Bounds for Discrete Diffusive Load Balancing. 820-826
Parallel Graph Algorithms II
- Md. Mostofa Ali Patwary, Peder Refsnes, Fredrik Manne:
Multi-core Spanning Forest Algorithms using the Disjoint-set Data Structure. 827-835 - Deepak Ajwani, Shoukat Ali, John P. Morrison:
Graph Partitioning for Reconfigurable Topology. 836-847 - Ümit V. Çatalyürek, Mehmet Deveci, Kamer Kaya, Bora Uçar:
Multithreaded Clustering for Multi-level Hypergraph Partitioning. 848-859 - Ariful Azad, Mahantesh Halappanavar, Sivasankaran Rajamanickam, Erik G. Boman, Arif M. Khan, Alex Pothen:
Multithreaded Algorithms for Maxmum Matching in Bipartite Graphs. 860-872
Data Intensive and Peer-to-Peer Computing
- Zhenhuan Gong, Sriram Lakshminarasimhan, John Jenkins, Hemanth Kolla, Stéphane Ethier, Jackie Chen, Robert B. Ross, Scott Klasky, Nagiza F. Samatova:
Multi-level Layout Optimization for Efficient Spatio-temporal Queries on ISABELA-compressed Data. 873-884 - Yingwu Zhu:
Evaluating Mesh-based P2P Video-on-Demand Systems. 885-896 - Todd Eavis, Ahmad Taleb:
Query Optimization and Execution in a Parallel Analytics DBMS. 897-908 - Roberto Baldoni, Silvia Bonomi, Marco Platania, Leonardo Querzoni:
Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems. 909-920
Disk and Memory Software Optimization
- Yizhe Wang, Kei Davis, Yuehai Xu, Song Jiang:
iHarmonizer: Improving the Disk Efficiency of I/O-intensive Multithreaded Codes. 921-932 - Yongen Yu, Douglas H. Rudd, Zhiling Lan, Nickolay Y. Gnedin, Andrey V. Kravtsov, Jingjin Wu:
Improving Parallel IO Performance of Cell-based AMR Cosmology Applications. 933-944 - Dong Li, Jeffrey S. Vetter, Gabriel Marin, Collin McCurdy, Cristian Cira, Zhuo Liu, Weikuan Yu:
Identifying Opportunities for Byte-Addressable Non-Volatile Memory in Extreme-Scale Scientific Applications. 945-956 - Chao Wang, Sudharshan S. Vazhkudai, Xiaosong Ma, Fei Meng, Youngjae Kim, Christian Engelmann:
NVMalloc: Exposing an Aggregate SSD Store as a Memory Partition in Extreme-Scale Machines. 957-968
Keynote 3
- Guo-Jie Li:
Building billion-threads computer and elastic processor. 969
Best Papers
- Teng Ma, George Bosilca, Aurélien Bouteiller, Jack J. Dongarra:
HierKNEM: An Adaptive Framework for Kernel-Assisted and Topology-Aware Collective Communications on Many-core Clusters. 970-982 - Miguel Matos, Valerio Schiavoni, Pascal Felber, Rui Oliveira, Etienne Rivière:
BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination. 983-994 - Saurabh Gupta, Ping Xiang, Yi Yang, Huiyang Zhou:
Locality Principle Revisited: A Probability-Based Quantitative Approach. 995-1009 - Alessandro Morari, Roberto Gioiosa, Robert W. Wisniewski, Bryan S. Rosenburg, Todd Inglett, Mateo Valero:
Evaluating the Impact of TLB Misses on Future HPC Systems. 1010-1021
Network Algorithms
- Anne Benoit, Hubert Larchevêque, Paul Renaud-Goud:
Optimal Algorithms and Approximation Algorithms for Replica Placement with Distance Constraints in Tree Networks. 1022-1033 - Zhiyang Guo, Yuanyuan Yang:
On Nonblocking Multirate Multicast Fat-tree Data Center Networks with Server Redundancy. 1034-1044 - Gokarna Sharma, Costas Busch, Srinivasagopalan Srivathsan:
Distributed Transactional Memory for General Networks. 1045-1056 - Marek Klonowski, Dominik Pajak:
On λ-Alert Problem. 1057-1067
GPU Acceleration
- Anthony Danalis, Collin McCurdy, Jeffrey S. Vetter:
Efficient Quality Threshold Clustering for Parallel Architectures. 1068-1079 - Huimin Cui, Qing Yi, Jingling Xue, Lei Wang, Yang Yang, Xiaobing Feng:
A Highly Parallel Reuse Distance Analysis Algorithm on GPUs. 1080-1092 - George Teodoro, Tahsin M. Kurç, Tony Pan, Lee A. D. Cooper, Jun Kong, Patrick M. Widener, Joel H. Saltz:
Accelerating Large Scale Image Analyses on Parallel, CPU-GPU Equipped Systems. 1093-1104 - Alessio Sclocco, Ana Lucia Varbanescu, Jan David Mol, Rob van Nieuwpoort:
Radio Astronomy Beam Forming on Many-Core Architectures. 1105-1116
Interconnection Networks
- George Kurian, Chen Sun, Chia-Hsin Owen Chen, Jason E. Miller, Jürgen Michel, Lan Wei, Dimitri A. Antoniadis, Li-Shiuan Peh, Lionel C. Kimerling, Vladimir Stojanovic, Anant Agarwal:
Cross-layer Energy and Performance Evaluation of a Nanophotonic Manycore Processor System Using Real Application Workloads. 1117-1130 - Ernst Gunnar Gran, Sven-Arne Reinemo, Olav Lysne, Tor Skeie, Eitan Zahavi, Gilad Shainer:
Exploring the Scope of the InfiniBand Congestion Control Mechanism. 1131-1143 - Christopher Nitta, Matthew K. Farrens, Venkatesh Akella:
DCAF - A Directly Connected Arbitration-Free Photonic Crossbar for Energy-Efficient High Performance Computing. 1144-1155 - Krishna Chaitanya Kandalla, Ulrike Meier Yang, Jeff Keasler, Tzanio V. Kolev, Adam Moody, Hari Subramoni, Karen Tomko, Jérôme Vienne, Bronis R. de Supinski, Dhabaleswar K. Panda:
Designing Non-blocking Allreduce with Collective Offload on InfiniBand Clusters: A Case Study with Conjugate Gradient Solvers. 1156-1167
Software Reliability
- Ana Gainaru, Franck Cappello, William Kramer:
Taming of the Shrew: Modeling the Normal and Faulty Behaviour of Large-scale HPC Systems. 1168-1179 - Huayong Wang, Li-Shiuan Peh, Emmanouil Koukoumidis, Shao Tao, Mun Choon Chan:
Meteor Shower: A Reliable Stream Processing System for Commodity Data Centers. 1180-1191 - Jaswanth Sreeram, Santosh Pande:
Hybrid Transactions: Lock Allocation and Assignment for Irrevocability. 1192-1203 - Zhengyu He, Xiao Yu, Bo Hong:
Profiling-based Adaptive Contention Management for Software Transactional Memory. 1204-1215
Communication Protocols and Benchmarking Algorithms
- Amina Guermouche, Thomas Ropars, Marc Snir, Franck Cappello:
HydEE: Failure Containment without Event Logging for Large Scale Send-Deterministic MPI Applications. 1216-1227 - Qifen Dong, Li Yu, Wen-Zhan Song, Lang Tong, Shaojie Tang:
Distributed Demand and Response Algorithm for Optimizing Social-Welfare in Smart Grid. 1228-1239 - Darius Buntinas:
Scalable Distributed Consensus to Support MPI Fault Tolerance. 1240-1249 - Xing Wu, Vivek Deshpande, Frank Mueller:
ScalaBenchGen: Auto-Generation of Communication Benchmarks Traces. 1250-1260
Parallel Algorithms
- Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
A Self-Stabilization Process for Small-World Networks. 1261-1271 - Maximilian Drees, Martina Hüllmann, Andreas Koutsopoulos, Christian Scheideler:
Self-organizing Particle Systems. 1272-1283 - Qingpeng Niu, James Dinan, Qingda Lu, P. Sadayappan:
PARDA: A Fast Parallel Reuse Distance Analysis Algorithm. 1284-1294 - Pan Xu, Srikanta Tirthapura:
A Lower Bound on Proximity Preservation by Space Filling Curves. 1295-1305
Software Performance Analysis and Optimization
- Devesh Tiwari, Yan Solihin:
Modeling and Analyzing Key Performance Factors of Shared Memory MapReduce. 1306-1317 - Minjang Kim, Pranith Kumar, Hyesoon Kim, Bevin Brett:
Predicting Potential Speedup of Serial Code via Lightweight Profiling and Emulations with Memory Performance Model. 1318-1329 - David Böhme, Felix Wolf, Bronis R. de Supinski, Martin Schulz, Markus Geimer:
Scalable Critical-Path Based Performance Analysis. 1330-1340 - Lulu He, Zhibin Yu, Hai Jin:
FractalMRC: Online Cache Miss Rate Curve Prediction on Commodity Systems. 1341-1351
Performance Optimization Frameworks and Methods
- Fan Zhang, Ciprian Docan, Manish Parashar, Scott Klasky, Norbert Podhorszki, Hasan Abbasi:
Enabling In-situ Execution of Coupled Scientific Workflow on Multi-core Platform. 1352-1363 - Tobias Hilbrich, Matthias S. Müller, Bronis R. de Supinski, Martin Schulz, Wolfgang E. Nagel:
GTI: A Generic Tools Infrastructure for Event-Based Tools in Parallel Systems. 1364-1375 - Guojing Cong, Hui-Fang Wen, I-Hsin Chung, David J. Klepacki, Hiroki Murata, Yasushi Negishi:
An Efficient Framework for Multi-dimensional Tuning of High Performance Computing Applications. 1376-1387 - Justin R. Funston, Kaoutar El Maghraoui, Joefon Jann, Pratap Pattnaik, Alexandra Fedorova:
An SMT-Selection Metric to Improve Multithreaded Applications' Performance. 1388-1399
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-07 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
