yusuke1997/dblp-id-title huggingface dataset:
Efficient Barrier and Allreduce on Infiniband clusters using multicast and adaptive algorithms
RE-Store: Reliable and Efficient KV-Store with Erasure Coding and Replication
Automatic Hybrid OpenMP + MPI Program Generation for Dynamic Programming Problems
On the Multi-Dimensional Acceleration of Stochastic Blockmodeling for Community Detection
Delay Spotter: A Tool for Spotting Scheduler-Caused Delays in Task Parallel Runtime Systems
2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 1-4 December 2003, Kowloon, Hong Kong, China
Mitigating Inter-Job Interference via Process-Level Quality-of-Service
DeepClone: Lightweight State Replication of Deep Learning Models for Data Parallel Training
Designing high-end computing systems with InfiniBand and10-Gigabit Ethernet iWARP
Improving PCM Endurance with Randomized Address Remapping in Hybrid Memory System
Dynamic Control of CPU Usage in a Lambda Platform
Whole Program Generation of Massively Parallel Shallow Water Equation Solvers
Parallel iteration space alternate tiling Gauss-Seidel solver
Runtime system support for software-guided disk power management
Evaluation of Vectorization Methods on Arm SVE Using the Exo Language
Enabling Tractable Exploration of the Performance of Adaptive Mesh Refinement
A Scalable Network-Based Performance Analysis Tool for MPI on Large-Scale HPC Systems
Modernizing an Operational Real-Time Tsunami Simulator to Support Diverse Hardware Platforms
Optimized Non-contiguous MPI Datatype Communication for GPU Clusters: Design, Implementation and Evaluation with MVAPICH2
A scalable framework for large-scale analysis of gene-gene interactions
Performance analysis of storage and network subsystems in cluster architectures
A Performance Monitor Based on Virtual Global Time for Clusters of PCs
An Efficient, Nonintrusive, Log-Based I/O Mechanism for Scientific Simulations on Clusters
Energy and Performance Efficient Underloading Detection Algorithm of Virtual Machines in Cloud Data Centers
vProbe: Scheduling Virtual Machines on NUMA Systems
FireCluster: PC Cluster System Employing IEEE 1394
Using a cluster as a memory resource: A fast and large virtual memory on MPI
An Approach to Selecting Thread + Process Mixes for Hybrid MPI + OpenMP Applications
A large-grained parallel algorithm for nonlinear eigenvalue problems and its implementation using OmniRPC
Parallelizing a CAD-Model-Based Object Localization for Initialization of Tracking in Visual Servoing
Flexible Data Aggregation for Performance Profiling
Improving Communication Performance on InfiniBand by Using Efficient Data Placement Strategies
Finding a tradeoff between host interrupt load and MPI latency over Ethernet
Pipelined Preconditioned s-step Conjugate Gradient Methods for Distributed Memory Systems
Towards informatic analysis of Syslogs
EDDAPS: An Efficient Data Distribution Approach for PCM-Based SSD
Next Stop "NoOps": Enabling Cross-System Diagnostics Through Graph-Based Composition of Logs and Metrics
Towards Resource Disaggregation - Memory Scavenging for Scientific Workloads
Integrating hardware management with cluster administration toolkits
SKV: A SmartNIC-Offloaded Distributed Key-Value Store
Parallel Selected Inversion of Block-Tridiagonal with Arrowhead Matrices
XChange: coupling parallel applications in a dynamic environment
Parallel Tall-and-Skinny QR Factorization Based on LU-CholeskyQR Algorithm
Co-locating Graph Analytics and HPC Applications
A Feasibility Analysis of Power Awareness in Commodity-Based High-Performance Clusters
Cutting the Tail: Designing High Performance Message Brokers to Reduce Tail Latencies in Stream Processing
Modeling I/O Performance Variability Using Conditional Variational Autoencoders
HerpRap: A Hybrid Array Architecture Providing Any Point-in-Time Data Tracking for Datacenter
Efficient Execution of Dynamic Programming Algorithms on Apache Spark
Reasons for a pessimistic or optimistic message logging protocol in MPI uncoordinated failure, recovery
A Load Balancing Scheme for Cluster-based Secure Network Servers
Kernel-Level Caching for Optimizing I/O by Exploiting Inter-Application Data Sharing
Optimizing Distributed Data-Intensive Workflows
A Data Parallel Programming Model Based on Distributed Objects
Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi - Threaded Programs
Efficient Semantic-Aware Coflow Scheduling for Data-Parallel Jobs
Scalable MPI design over InfiniBand using eXtended Reliable Connection
Higgs Boson Classification: Brain-inspired BCPNN Learning with StreamBrain
Replication-Based Highly Available Metadata Management for Cluster File Systems
Hvac: Removing I/O Bottleneck for Large-Scale Deep Learning Applications
Low-Cost Non-Intrusive Debugging Strategies for Distributed Parallel Programs
The Load Rebalancing Problem in Distributed File Systems
Energy-performance tradeoffs in multilevel checkpoint strategies
Introduction of WHEEL: An Analysis Workflow Tool for Industrial Users and its Use Case on Supercomputer Fugaku
RAAC: an architecture for scalable, reliable storage in clusters
EquilibrIO: Taming the I/O Tides in High-Performance Computing
An integrated Retrieval and Pre-fetching algorithms for Segmented Streaming in Mobile Peer-to-Peer Networks
Experiences with hybrid clusters
An Infrastructure of Network Services for Seamless Integration in Advanced Collaborative Computing Environments
Explicit uncore frequency scaling for energy optimisation policies with EAR in Intel architectures
Quantifying I/O and Communication Traffic Interference on Dragonfly Networks Equipped with Burst Buffers
Methodologies and application of machine learning algorithms to classify the performance of high performance cluster components
OpenACC vs the Native Programming on Sunway TaihuLight: A Case Study with GTC-P
A Lightweight Network Traffic Prediction Method for SmartNICs
Unequal Failure Protection Coding Technology for Cloud Storage Systems
BBView: A View-Aware Burst-Buffer Mechanism for MPI-IO
FDPVirt: Flexible Data Placement SSD Emulator
Browsing Virtual Reality on a PC Cluster
DWC 2 : A dynamic weight-based cooperative caching scheme for object-based storage cluster
Efficient Parallelization of Eulerian-Lagrangian Approach for Disperse Multiphase Flow Calculations on MIMD Computer Architectures
Evaluating Worksharing Tasks on Distributed Environments
Efficient Particle Tracing for Scalable Kinetic Plasma Simulation Analysis
HNGraph: Parallel Graph Processing in Hybrid Memory Based NUMA Systems
A Simple Synchronous Distributed-Memory Algorithm for the HPCC RandomAccess Benchmark
Experiences with Oasis+: A Fault Tolerant Storage System
Graph Partitioning for Dynamic, Adaptive and Multi-phase Scientific Simulations
FINCHFS: Design of Ad-Hoc File System for I/O Heavy HPC Workloads
Ensuring Data Durability with Increasingly Interdependent Content
Energy-Aware Duplication Strategies for Scheduling Precedence-Constrained Parallel Tasks on Clusters
Scalable Consistency Management in Dynamic Content Distribution Overlays
ARCS: Adaptive Runtime Configuration Selection for Power-Constrained OpenMP Applications
GPU-accelerated scalable solver for banded linear systems
Parallel Basic Matrix Algebra on the Grid'5000 Large Scale Distributed Platform
Supporting Efficient Noncontiguous Access in PVFS over InfiniBand
Optimizing HPC I/O Performance with Regression Analysis and Ensemble Learning
Collective I/O Tuning Using Analytical and Machine Learning Models
Using Idle Disks in a Cluster as a High-Performance Storage System
Stay Alive, Don't Give Up: DUE and SDC Reduction with Memory Repair
Distributed resource exchange: Virtualized resource management for SR-IOV InfiniBand clusters
Optimizing I/O for Petascale Seismic Simulations on Unstructured Meshes
Energy Efficiency Aspects of the AMD Zen 2 Architecture
An Efficient Network API for in-Kernel Applications in Clusters
Load analysis and cost estimation of parallel constrained producer-consumer algorithms
Developing MiniApps on Modern Platforms Using Multiple Programming Models
Uniconn: A Uniform High-Level Communication Library for Portable Multi-GPU Programming
Efficient Distributed Graph Analytics using Triply Compressed Sparse Format
HPH: Hybrid Parallelism on Heterogeneous Clusters for Accelerating Large-scale DNNs Training
Towards Fault-Tolerant Energy-Efficient High Performance Computing in the Cloud
Are nonblocking networks really needed for high-end-computing workloads?
Topics on measuring real power usage on high performance computing platforms
Toward a General Theory of Optimal Checkpoint Placement
Improving Strong-Scaling on GPU Cluster Based on Tightly Coupled Accelerators Architecture
SPRAT: Runtime processor selection for energy-aware computing
YAViT (Yet Another Viz Tool): Raising the Level of Abstraction in End-User HPC Interactions
A Protocol to Assess the Accuracy of Process-Level Power Models
Reliability-aware Checkpoint/Restart Scheme: A Performability Trade-off
Analysis of XDMoD/SUPReMM Data Using Machine Learning Techniques
SMQoS: Improving Utilization and Energy Efficiency with QoS Awareness on GPUs
On the Benefits of Anticipating Load Imbalance for Performance Optimization of Parallel Applications
Impact of Computational Resource Reservation to the Communication Performance in the Hypercluster Environment
MPI collective I/O based on advanced reservations to obtain performance guarantees from shared storage systems
CHOPPER: Optimizing Data Partitioning for In-memory Data Analytics Frameworks
Communication and topology-aware load balancing in Charm++ with TreeMatch
Performance Emulation of Cell-Based AMR Cosmology Simulations
MONARCH: Hierarchical Storage Management for Deep Learning Frameworks
Reusable Mobile Agents for Cluster Computing
FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?
Red storm IO performance analysis
Dynamic page migration in software DSM systems
Improving Resource Utilization in Data Centers using an LSTM-based Prediction Model
IBRIX File System: Architecture and Design
a generic framework for asynchronous progression and multithreaded communications
Lessons from Profiling and Optimizing Placement in AMR Codes
Target Tracking with Pairwise Uncertainty in Wireless Sensor Networks: Qualitatively and Quantitatively
GLAP: Distributed Dynamic Workload Consolidation through Gossip-Based Learning
Message from the TFCC Co-Chairs
Evaluation and Optimization of Breadth-First Search on NUMA Cluster
Scalable Web Clusters with Static and Dynamic Contents
Efficient User-Level Storage Disaggregation for Deep Learning
Supporting Computing Element Heterogeneity in P2P Grids
Packet Forwarding Cache of Commodity Switches for Parallel Computers
Fast Failure Erasure Encoding Using Just in Time Compilation for CPUs, GPUs, and FPGAs
A Transparent Server-Managed Object Storage System for HPC
OpenMP-centric performance analysis of hybrid applications
Anisotropic nonlinear diffusion for filtering 3D images on GPUs
Workload-Aware Resource Reservation for Multi-tenant NoSQL
Design, Implementation and Deployment of Sunrise Integrated Health Care Cluster
Revisiting Fragmentation for Deduplication in Clustered Primary Storage Systems
System-level performance phase characterization for on-demand resource provisioning
On fairness in distributed job scheduling across multiple sites
Scheduling Workflows in Opportunistic Environments
ZENTURIO: An Experiment Management System for Cluster and Grid Computing
Multi-dimensional dynamic loop scheduling algorithms
A Transfer Learning Scheme for Time Series Forecasting Using Facebook Prophet
CMT-bone: A Mini-App for Compressible Multiphase Turbulence Simulation Software
VecMeter: Measuring Vectorization on the Xeon Phi
Deduplication Potential of HPC Applications' Checkpoints
VEF Traces: A Framework for Modelling MPI Traffic in Interconnection Network Simulators
Distributed Parallel Backprojection for Real-Time Stripmap SAR Imaging on GPU Clusters
CD-RAIS: Constrained dynamic striping in redundant array of independent SSDs
Analyzing Hybrid Transactional Memory Performance Using Intel SDE
Optimizing Energy Consumption for Time-Constraint Data Query in Wireless Environment
Spark Versus Flink: Understanding Performance in Big Data Analytics Frameworks
Design and Performance of Maestro Cluster Network
Experience in Offloading Protocol Processing to a Programmable NIC
A Dynamic Network-Native MPI Partitioned Aggregation Over InfiniBand Verbs
Parallel multistage preconditioners by Hierarchical Interface Decomposition on "T2K Open Super Computer (Todai Combined Cluster)" with Hybrid parallel programming models
Deadline-Aware Resource Allocation and Scheduling of Serverless Workloads on Heterogeneous Clusters
A TSQR Based Krylov Basis Computation Method on Hybrid GPU Cluster
Designing an Offloaded Nonblocking MPI_Allgather Collective Using CORE-Direct
Improved message logging versus improved coordinated checkpointing for fault tolerant MPI
Parallel I/O: lessons learnt in the last 20 years
A Wait-Free Multi-word Atomic (1, N) Register for Large-Scale Data Sharing on Multi-core Machines
Multi-Grid Acceleration of a SIMPLE-Based CFD-Code and Aspects of Parallelization
Evaluation of fault-tolerant policies using simulation
Gather-arrange-scatter: Node-level request reordering for parallel file systems on multi-core clusters
On Scalability for MPI Runtime Systems
ProvLight: Efficient Workflow Provenance Capture on the Edge-to-Cloud Continuum
Hybrid Analysis of Fusion Data for Online Understanding of Complex Science on Extreme Scale Computers
Security-aware resource management for real-time applications on clusters
SlackVM: Packing Virtual Machines in Oversubscribed Cloud Infrastructures
Fast and Accurate Support Vector Machines on Large Scale Systems
Microgrid Integration with High Performance Computing Systems for Microreactor Operation
A shared virtual memory network with fast remote direct memory access and message passing
The SMASH Impacts to Cluster Computing
Goals Guiding Design: PVM and MP
Predicting MPI Collective Communication Performance Using Machine Learning
High performance clusters using NEOS
Mira: A Framework for Static Performance Analysis
2012 IEEE International Conference on Cluster Computing, CLUSTER 2012, Beijing, China, September 24-28, 2012
Hybrid Communication with TCA and InfiniBand on a Parallel Programming Language XcalableACC for GPU Clusters
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters
GIRAFFE: A scalable distributed coordination service for large-scale systems
A layered design methodology of cluster system stack
On the InfiniBand Subnet Discovery Process
Experiments with PVMaple and Parallel Methods for ODEs
RELAR: A Reinforcement Learning Framework for Adaptive Routing in Network-on-Chips
Predictive Data and Energy Management under Budget
Productivity meets Performance: Julia on A64FX
Dynamic file striping and data layout transformation on parallel system with fluctuating I/O workload
Workload Management: More Than Just Job Scheduling
An efficient end-host architecture for cluster communication
Message progression in parallel computing - to thread or not to thread?
Scheduling malleable applications in multicluster systems
Real Time Visualization of Monitoring Data for Large Scale HPC Systems
A Software-Defined Storage for Workflow Applications
Parallel I/O Evaluation Techniques and Emerging HPC Workloads: A Perspective
Z-align: An Exact and Parallel Strategy for Local Biological Sequence Alignment in User-Restricted Memory Space
An innovative application execution toolkit for multicluster grids
Auto-CFD: Efficiently Parallelizing CFD Applications on Clusters
Results of a Model for Hadoop YARN MapReduce Tasks
View I/O: Improving the Performance of Non-Contiguous I/O
Cross-domain metadata management in data intensive distributed computing environment
Supermon: A High-Speed Cluster Monitoring System
Intra-host Rate Control with Centralized Approach
HIOS: Hierarchical Inter-Operator Scheduler for Real-Time Inference of DAG-Structured Deep Learning Models on Multiple GPUs
SDM: A Stripe-Based Data Migration Scheme to Improve the Scalability of RAID-6
Algorithm-Directed Crash Consistence in Non-volatile Memory for HPC
Understanding Mixed Precision GEMM with MPGemmFI: Insights into Fault Resilience
Fine-Grained Message Pipelining for Improved MPI Performance
MPI Collective Algorithm Selection in the Presence of Process Arrival Patterns
Scheduling multiple divisible and indivisible tasks on bus networks
Increasing the cluster availability using RADIC
Active CoordinaTion (ACT) - toward effectively managing virtualized multicore clouds
Structured Participation Toolkit: An enabler for knowledge production in Science Gateway
Towards a Quality Model for the Selection of ERP Systems
Maturing Architectures and Components in Software Product Lines
Quality Characteristics for Software Components: Hierarchy and Quality Guides
Reasoning about Software Architectures with Contractually Specified Components
COTS-Based Requirements Engineering
Assessing Component-Based Systems
SCARLET: Integrated Process and Tool Support for Selecting Software Components
Risk Management of COTS Based Systems Development
A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software
STACE: Social Technical Approach to COTS Software Evaluation
Domain-Based COTS-Product Selection Method
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
Driving Component-Based Software Development through Quality Modelling
Component-Based Software: An Overview of Testing
Component-Based Software Quality - Methods and Techniques
Setting a Framework for Trusted Component Trading
Component Integration through Built-in Contract Testing
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage
Raising Awareness of SMEs for Real-Time Locating Systems (RTLS) in Intralogistics - A Workplace Learning Approach
Social Inclusion and e-Governance: A Case Study in Alirajpur District
Potentials of Augmented Reality - Insights into Industrial Practice
Innovations for Community Services - 21st International Conference, I4CS 2021, Bamberg, Germany, May 26-28, 2021, Proceedings
Non-fear-Based Road Safety Campaign as a Community Service: Contexts from Social Media
BRAIN: Buffer Reservation Attack PreventIoN Using Legitimacy Score in 6LoWPAN Network
Survey on Social Networks Data Analysis
FttX Deployment Using Available Networks and Existing Infrastructures
SAS: Seasonality Aware Social-Based Forwarder Selection in Delay Tolerant Networks
ReFIT: Reliability Challenges and Failure Rate Mitigation Techniques for IoT Systems
Binary Binomial Tree Based Secure and Efficient Electronic Healthcare Record Storage in Cloud Environment
Code-Tampering Defense for Internet of Things Using System Call Traces
Energy Efficient Approach to Detect Sinkhole Attack Using Roving IDS in 6LoWPAN Network
Threshold Pair Selection for the Reliable Condition Monitoring of Telecommunication Services
Energy Storage Scheduling: A QUBO Formulation for Quantum Computing
TA-ACS: A Trust Aware Adaptive Carrier Selection Scheme for Reliable Routing in Delay Tolerant Networks
Innovations for Community Services - 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12-14, 2020, Proceedings
The Ultimate Victory of White- over Blacklisting for the Editing of Encrypted Instant Messages Without Decrypting Nor Understanding Them
The Telecommunication Data Cockpit - Full Control for the Household Community
Security, Trust and Privacy: Challenges for Community-Oriented ICT Support
GUIDed: Assisted-Living Smart Platform and Social Communication for Older Adults
Community Based Emotional Behaviour Using Ekman's Emotional Scale
Designing a Blockchain Based Framework for IoT Data Trade
A Mobile Recommender System for Location-Aware Telemedical Diagnostics
A Web Platform and a Context Aware Recommender System for Active Sport Events
A Simulation Model for Quality Assurance of e-Governance Projects
An Approach to Supporting Militia Collaboration in Disaster Relief Through a Digital Environment
NewYouthHack: Using Design Thinking to Reimagine Settlement Services for New Canadians
A Blockchain to Bridge Business Information Systems and Industrial Automation Environments in Supply Chains
A Conference Goes Virtual: Lessons from Creating a Social Event in the Virtual Reality
Intermediate Pseudonym Certificate Generation for C-ITS
5G Network Quality of Service Supporting Adequate Quality of Experience for Industrial Demands in Process Automation
Abusive Use of Distance Indicators on Dating Platforms Through Trilateration - Creating Movement Profiles with Publicly Available Data
Visualizing Customer Journeys: How to Illustrate the Entire Customer Interaction Universe of a Commercial Website in Real Time
DAMW: Double Auction Multi-winner Framework for Spectrum Allocation in Cognitive Radio Networks
General Requirements and System Architecture in Local Micro Smart Grid
LIENE: Lifetime Enhancement for 6LoWPAN Network Using Clustering Approach Use Case: Smart Agriculture
A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR
Hardware-Dependent Proofs of Numerical Programs
Formal verification of authenticated, append-only skip lists in Agda
Formalizing the ∞-Categorical Yoneda Lemma
Certifying Rings of Integers in Number Fields
Bar Inductive Predicates for Constructive Algebra in Rocq
A formal proof in Coq of a control function for the inverted pendulum
Formalizing the One-Way to Hiding Theorem
Tactics for Reasoning Modulo AC in Coq
Developing and certifying Datalog optimizations in coq/mathcomp
Encoding Dependently-Typed Constructions into Simple Type Theory
Further Tackling Post Correspondence Problem and Proof Generation
POPLMark reloaded: mechanizing logical relations proofs (invited talk)
A Rose Tree Is Blooming (Proof Pearl)
CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq
Machine-checked semantic session typing
Compact Proof Certificates for Linear Logic
CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote)
A Lambda-Superposition Tactic for Isabelle/HOL
A two-level logic perspective on (simultaneous) substitutions
CertRL: formalizing convergence proofs for value and policy iteration in Coq
Formalizing the SAFECode Type System
Lean Formalization of Extended Regular Expression Matching with Lookarounds
Verifying dynamic race detection
Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems
Tactic Script Optimisation for Aesop
Automated Certification of Implicit Induction Proofs
Cubical synthetic homotopy theory
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper)
Premise Selection and External Provers for HOL4
Adding Sorts to an Isabelle Formalization of Superposition
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024
Structural embeddings revisited (invited talk)
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math"
CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022
An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting
A verified algebraic representation of cairo program execution
CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021
Formal proof of polynomial-time complexity with quasi-interpretations
The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk)
A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL
Verified compilation of CakeML to multiple machine-code targets
FreeSpec: specifying, verifying, and executing impure computations in Coq
Higher Order Differential Calculus in Mathlib
Formally Verified Hardening of C Programs against Hardware Fault Injection