dblp: IPDPS 2012 (original) (raw)



default search action
- combined dblp search
- author search
- venue search
- publication search
Authors:
- no matches

Venues:
- no matches

Publications:
- no matches


IPDPS 2012: Shanghai, China

jump to- Keynote 1
- Dynamic Pipeline and Transactional Memory Optimizations
- Scheduling and Load Balancing Algorithms I
- Parallel Graph Algorithms I
- Architecture Modeling and Scheduling
- Parallel Matrix Factorizations
- High Performance Communication and Networking
- Data Intensive and Peer-to-Peer Computing
- Best Papers
- Interconnection Networks
- Parallel Algorithms

SPARQL queries 
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as

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
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.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
load links from unpaywall.org
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
load content from archive.org
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from
,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
.
load data from openalex.org
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:







