yusuke1997/dblp-id-title huggingface dataset:
Bringing Coq into the World of GCM Distributed Applications
Log File Formats for Parallel Applications: A Review
Algorithms for parallel memory allocation
Post-pass partitioning of signal processing programs
Guest Editorial: Parallel Systems and Compilers
Reuse-Driven Tiling for Improving Data Locality
Concurrency control optimizations in a prolog database
Transaction Scheduling Using Dynamic Conflict Avoidance
Randomized parallel list ranking for distributed memory multiprocessors
A simulation tool for performance evaluation of the IBM 360/75
An Exploration of Instruction Fetch Requirement in Out-of-Order Superscalar Processors
GPU Framework for Change Detection in Multitemporal Hyperspectral Images
Affine Dependence Classification for Communications Minimization
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments
DancerFly: An Order-Aware Network-on-Chip Router On-the-Fly Mitigating Multi-path Packet Reordering
High-level characteristics of or- and independent and-parallelism in prolog
A Wait-Free Multi-Word Compare-and-Swap Operation
Multi-Threaded Parallel I/O for OpenMP Applications
Exploiting Distributed-Memory and Shared-Memory Parallelism on Clusters of SMPs with Data Parallel Programs
G/M/1 queue study of buffer behavior in the decoding system of computer communication
Parallelization of Full Search Motion Estimation Algorithm for Parallel and Distributed Platforms
Notes on "A CUCH-machine: The automatic treatment of bound variables"
Accelerating Deep Learning with a Parallel Mechanism Using CPU + MIC
Designing a Framework for Communal Software: Based on the Assessment Using Relation Modelling
Adaptive quadrature algorithms for the ILLIAC IV
An optimal parallel algorithm for triangulating a set of points in the plane
A Deterministic Portable Parallel Pseudo-Random Number Generator for Pattern-Based Programming of Heterogeneous Parallel Systems
Syntactic/semantic techniques in pattern recognition: A survey
Kernel Polynomial Method on GPU
Cliques of a graph-variations on the Bron-Kerbosch algorithm
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
A clique-detection algorithm based on neighborhoods in graphs
Dynamic partitioning of multiprocessor systems
Minimum dominating cycles in 2-trees
Parameterized Polyhedra and Their Vertices
Speculative Memory Cloaking and Bypassing
GridFOR: A Domain Specific Language for Parallel Grid-Based Applications
Calculating Parallel Programs in Coq Using List Homomorphisms
Using euler partitions to edge color bipartite multigraphs
Handling Global Constraints in Compiler Strategy
A note on the method of puzzles for key distribution
Combining flow and dependence analyses to expose redundant array accesses
Estimating Effective Prefetch Distance in Threaded Prefetching for Linked Data Structures
A methodology for designing and modeling reconfigurable systems
Detection of parallelism between statements by decomposing into separate sequential processes
Parallel Implementation of 2-D Telegraphic Equation on MPI/PVM Cluster
Scalable Metadata Management Through OSD+ Devices
Register-Aware Optimizations for Parallel Sparse Matrix-Matrix Multiplication
Dual-thread Speculation: A Simple Approach to Uncover Thread-level Parallelism on a Simultaneous Multithreaded Processor
Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments
Referees and valedictory
Trace confirmation with given object position
SOC: Satisfaction-Oriented Virtual Machine Consolidation in Enterprise Data Centers
Support for Efficient Programming on the SB-PRAM
Declarative Data Flow in a Graph-Based Distributed Memory Runtime System
APCFS: Autonomous and Parallel Compressed File System
Planning Above the API Clouds Before Flying Above the Clouds: A Real-Time Personalized Air Travel Planning Approach
Modeling of multiple copy update costs for file allocation in distributed databases
Guest Editorial: Special Issue on Emerging Technology for Software Define Network Enabled Internet of Things
Parallel algorithms for separation of two sets of points and recognition of digital convex polygons
Performance Analysis Integration in the Uintah Software Development Cycle
Two algorithms for constructing a Delaunay triangulation
Top-Performance Tokenization and Small-Ruleset Regular Expression Matching - A Quantitative Performance Analysis and Optimization Study on the Cell/B.E. Processor
Guest Editorial: Special issue on Network and Parallel Computing for Emerging Architectures and Applications
Hardware/Software Partitioning for Heterogenous MPSoC Considering Communication Overhead
Knowledge engineering revisited
Parallel Algorithms for Generating Random Networks with Given Degree Sequences
Constructing Service Clusters Based on Service Space
Comparing data type specifications via their normal forms
An application of coroutines and backtracking in interactive systems
A parallel programming environment supporting multiple data-parallel modules
RMOWOA: A Revamped Multi-Objective Whale Optimization Algorithm for Maximizing the Lifetime of a Network in Wireless Sensor Networks
Properties of stochastic syntax-directed translation schemata
Erratum to: Accelerating Single Iteration Performance of CUDA-Based 3D Reaction-Diffusion Simulations
Synchronization barrier and related tools for shared memory parallel programming
Parallel implementation of OPS5 on the encore multiprocessor: Results and analysis
Structures for an interactive on-line thesaurus
HyperFatTree: A Large-Scale Tree-Based Network with Low-Radix Switches
Guest Editorial: Special Issue on Network and Parallel Computing for Emerging Architectures and Applications
Guest Editorial: Special Issue on the 2015 International Conference on Embedded Computer Systems - Architectures, Modeling and Simulation (SAMOS XV)
A note on Lindenmayer systems, Szilard languages, spectra, and equivalence
A composite algorithm for strength reduction and code movement optimization
Parallel kd-Tree Construction on the GPU with an Adaptive Split and Sort Strategy
Improving Memory Hierarchy Performance for Irregular Applications Using Data and Computation Reorderings
Accelerating Computation of Steiner Trees on GPUs
Portable Node-Level Parallelism for the PGAS Model
Fast, contention-free combining tree barriers for shared-memory multiprocessors
The Design of the PROMIS Compiler-Towards Multi-Level Parallelization
CAS-DSM: A Compiler Assisted Software Distributed Shared Memory
Parallel Approaches for Singular Value Decomposition as Applied to Robotic Manipulator Jacobians
Milepost GCC: Machine Learning Enabled Self-tuning Compiler
Sequential learning employing unfamiliar teacher hypothesis (SLEUTH) with concurrent estimation of both the parameters and teacher characteristics
MRPPS - An interactive refutation proof procedure system for question-answering
Editor's Announcement
Multiprocessor execution of functional programs
Data flow analysis of distributed communicating processes
On syntactic edge detection in noisy pictures
Analyzing reference patterns in automatic data distribution tools
Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems
SparseNN: A Performance-Efficient Accelerator for Large-Scale Sparse Neural Networks
Achieving Scalable Locality with Time Skewing
Parallelization of Swarm Intelligence Algorithms: Literature Review
GPS+: Reasoning About Fences and Relaxed Atomics
Resource Allocation in Cloud Computing Using SFLA and Cuckoo Search Hybridization
Semi-automatic process partitioning for parallel computation
TMT: A TLB Tag Management Framework for Virtualized Platforms
Representations of the language recognition problem for a theorem prover
QoS-supported On-chip Communication for Multi-processors
A complexity measure for data flow models
The Next Generation Software Program
An analysis of self-diagnosis model by conditional fault set
Toward a theory of encoded data structures and data translation
Design and Implementation of an Agent Home Scheme Strategy for Prefetch-Based DSM Systems
Special issue on Micro-grids - Guest Editor Introduction
Minimal Unroll Factor for Code Generation of Software Pipelining
Sans pareil: Referees
Supporting Microthread Scheduling and Synchronisation in CMPs
Process Arrival Pattern Aware Alltoall and Allgather on InfiniBand Clusters
A case study of parallel execution of a rule-based expert system
Speedup and optimality in pipeline programs
Efficient MAI Cancellation Scheme in MC-DS-CDMA Using SIC
A Library for Pattern-based Sparse Matrix Vector Multiply
Component-Based Derivation of a Parallel Stiff ODE Solver Implemented in a Cluster of Computers
High Throughput Instruction-Data Level Parallelism Based Arithmetic Hardware Accelerator
Optimal visibility algorithms for binary images on the hypercube
Hardware-Aware Evolutionary Explainable Filter Pruning for Convolutional Neural Networks
Automatic Array Partitioning Based on the Smith Normal Form
The bards on parallel programming
The Component Structure of a Self-Adapting Numerical Software System
Computer-based semantic analyzers
Optimizing Sparse Matrix-Vector Multiplications on an ARMv8-based Many-Core Architecture
A graphical interpretation of dependency structures in relational data bases
YuruBackup: A Space-Efficient and Highly Scalable Incremental Backup System in the Cloud
The ArchC Architecture Description Language and Tools
Modeling Multithreaded Applications Using Petri Nets
Parallel depth first search. Part I. Implementation
Alias Analysis in Java with Reference-Set Representation for High-Performance Computing
Data Parallel Implementation of Belief Propagation in Factor Graphs on Multi-core Platforms
Microcode Compression Using Structured-Constrained Clustering
Adaptive Optimization l 1 -Minimization Solvers on GPU
A Constant Propagation Algorithm for Explicitly Parallel Programs
Space-and-Time Efficient Parallel Garbage Collector for Data-Intensive Applications
Inference of a class of CFPG by means of semantic rules
Group Sparse Representation Approach for Recognition of Cattle on Muzzle Point Images
DCF: A Dataflow-Based Collaborative Filtering Training Algorithm
A Case Study of Implementing Supernode Transformations
Operating System Enhancement for Supporting Massively Multiplayer Online Games in a Server Cluster
Derivation of efficient parallel programs: An example from genetic sequence analysis
An Adaptive and Memory Efficient Sampling Mechanism for Partitioning in MapReduce
A Comparative Survey of Big Data Computing and HPC: From a Parallel Programming Model to a Cluster Architecture
Editor's Note: Special Section on Concurrent Systems: Status and Perspectives
Porting the PLASMA Numerical Library to the OpenMP Standard
On the Virtualization of CUDA Based GPU Remoting on ARM and X86 Machines in the GVirtuS Framework
Thread and Data Mapping in Software Transactional Memory: an Overview
Automatic Application-Specific Instruction-Set Extensions Under Microarchitectural Constraints
Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications
An Empirical Evaluation of the Convex SPP-1000 Hierarchical Shared Memory System
On serializability
MATLAB ® : A Language for Parallel Computing
Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling
Efficiently Restoring Virtual Machines
Performance of symbolic applications on a parallel architecture
Hierarchical Read-Write Optimizations for Scientific Applications with Multi-variable Structured Datasets
Triple DES: Privacy Preserving in Big Data Healthcare
CISL: A Class-Based Machine Description Language for Co-Generation of Compilers and Simulators
An application of formal linguistics to scene recognition
A data structure for cognitive information retrieval
Practical parallel Union-Find algorithms for transitive closure and clustering
Addressing GPU On-Chip Shared Memory Bank Conflicts Using Elastic Pipeline
Boosting the Hardware-Efficiency of Cascade Support Vector Machines for Embedded Classification Applications
Concatenation Algorithms for Parallel Numerical Simulation of Radiation Hydrodynamics coupled with Neutron Transport
Light-Weight Leases for Storage-Centric Coordination
Improving Performance on Data-Intensive Applications Using a Load Balancing Methodology Based on Divisible Load Theory
Initial failures in distributed computations
Combining Data and Computation Distribution Directives for Hybrid Parallel Programming : A Transformation System
Parallel state-space search for a first solution with consistent linear speedups
Design patterns percolating to parallel programming framework implementation
A Hardware/Software Approach for Database Query Acceleration with FPGAs
Parallel algorithms for line generation
Restart Optimization for Transactional Memory with Lazy Conflict Detection
Performance analysis of a scheme for concurrency/synchronization using queueing network models
On the application of probabilistic distance measures for the extraction of features from imperfectly labeled patterns
Performance Estimation of Task Graphs Based on Path Profiling
Migration Cost and Energy-Aware Virtual Machine Consolidation Under Cloud Environments Considering Remaining Runtime
Wait-Free Multi-Word Compare-and-Swap Using Greedy Helping and Grabbing
Optimal computation of prefix sums on a binary tree of processors
Automatic insertion of indexing instructions in program synthesis
Hybrid Transactional Memory with Pessimistic Concurrency Control
Parallel Mining of Neuronal Spike Streams on Graphics Processing Units
Extracting and Improving Microarchitecture Performance on Reconfigurable Architectures
Panda: A Compiler Framework for Concurrent CPU + GPU Execution of 3D Stencil Computations on GPU-accelerated Supercomputers
Detection of Forwarding-Based Malicious URLs in Online Social Networks
Guest Editorial: Computing Frontiers
A Text Clustering Approach of Chinese News Based on Neural Network Language Model
MPI Correctness Checking for OpenMP/MPI Applications
On the design and specification of message oriented programs
Nonsingular Data Transformations: Definition, Validity, and Applications
Scaled Static Analysis and IP Reuse for Out-of-Order Parallel SystemC Simulation
Hybrid Analysis: Static & Dynamic Memory Reference Analysis
Functional Models of Hadoop MapReduce with Application to Scan
Nearest Neighbor Searches on the GPU - A Massively Parallel Approach for Dynamic Point Clouds
An evaluation ofalgol 68 for interrogation process algorithms
Theoretical comparisons of search strategies in branch-and-bound algorithms
Simulation-Based Performance Prediction for Large Parallel Machines
Static Single Assignment Form for Message-Passing Programs
Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution
Guest Editorial Special Issue: High-Level Programming for Heterogeneous Parallel Systems
Parallel Programming of Multi-processor SoC: A HW-SW Interface Perspective
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
Compiler Optimization of Accelerator Data Transfers
Type-Driven Automated Program Transformations and Cost Modelling for Optimising Streaming Programs on FPGAs
Performance Evaluation of GPU-Accelerated Spatial Interpolation Using Radial Basis Functions for Building Explicit Surfaces
Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing
Implementation of Digital Watermarking Algorithms in Parallel Hardware Accelerators
Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures
An Instrumentation Approach for Hardware-Agnostic Software Characterization
Enabling Near-Data Accelerators Adoption by Through Investigation of Datapath Solutions
Initializing memory shared by several processors
Loss Based Congestion Control Module for Health Centers Deployed by Using Advanced IoT Based SDN Communication Networks
Productivity and Performance Portability of the OpenMP 3.0 Tasking Concept When Applied to an Engineering Code Written in Fortran 95
Covert Timing Channels Exploiting Cache Coherence Hardware: Characterization and Defense
Software and Hardware Techniques to Optimize Register File Utilization in VLIW Architectures
Parallel Cloud Service Selection and Ranking Based on QoS History
A comparative study of 2-3 trees and AVL trees
Parallelization of Control Recurrences for ILP Processors
Efficient Abstractions for GPGPU Programming
Concurrency Paradigms: Competitive, Coordinated, and Collaborative: Which Control Mechanisms are Appropriate?
Complete Formal Specification of the OpenMP Memory Model
PATRICIA-II. Two-level overlaid indexes for large libraries
Transitive Closure of Infinite Graphs and its Applications
High-Scalability Parallelization of a Molecular Modeling Application: Performance and Productivity Comparison Between OpenMP and MPI Implementations
Bitmaps and filters for attribute-oriented searches
A Platform-Independent Distributed Runtime for Standard Multithreaded Java
Conversion and parsing of tree transducers for syntactic pattern analysis
Distributed-Memory FastFlow Building Blocks
Speculative Parallelization of Sequential Loops on Multicores
Topological comparison of perfect shuffle and hypercube
Circular codes and synchronization
Code scheduling for multiple instruction stream architectures
An optimal speed-up parallel algorithm for triangulating simplicial point sets in space
Structuring and retrieving information in computer-based learning
2DT-FP: A parallel functional programming language on two-dimensional data
A scalable implementation of barrier synchronization using an adaptive combining tree
Low-Latency Elliptic Curve Scalar Multiplication
Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments
A Parallel Implementation of ALE Moving Mesh Technique for FSI Problems using OpenMP
High Level Data Structures for GPGPU Programming in a Statically Typed Language
Using Dynamic Runtime Testing for Rapid Development of Architectural Simulators
Sans pareil: referees
Nature-Inspired Meta-Heuristics on Modern GPUs: State of the Art and Brief Survey of Selected Algorithms
Removal of Conflicts in Hardware Transactional Memory Systems
Training Deep Nets with Progressive Batch Normalization on Multi-GPUs
Dynoc - A dynamic optimal cluster-seeking technique
Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
Semantics for data parallel computation
Massively Parallel Rule-Based Interpreter Execution on GPUs Using Thread Compaction
Binary search trees with binary comparison cost
Parallelizing Complex Streaming Applications on Distributed Scratchpad Memory Multicore Architecture
MeshCleaner: A Generic and Straightforward Algorithm for Cleaning Finite Element Meshes
Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems
Dynamic Memory Instruction Bypassing
Execution traces and programming-language semantics
Boosting CUDA Applications with CPU-GPU Hybrid Computing
Managing Burstiness and Scalability in Event-Driven Models on the SpiNNaker Neuromimetic System
Simulation-Based Parameter Optimization for Self-adaptive HPL on Parallel Systems
Optimization of Data Allocation on CMP Embedded System with Data Migration
Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms
Generation of Efficient Nested Loops from Polyhedra
On storing arbitrarily many extendible arrays of arbitrary dimensions
HitFlow: A Dataflow Programming Model for Hybrid Distributed- and Shared-Memory Systems
Parallel construction of SLR (1) and LALR (1) parsers
Execution characteristics of layered streams
Improving Adaptability and Per-Core Performance of Many-Core Processors Through Reconfiguration
Scheduling in or-parallel Prolog systems: Survey and open problems
Rochester Elastic Cache Utility (RECU): Unequal Cache Sharing is Good Economics
An optimal time and minimal space algorithm for rectangle intersection problems
Computer diagnosis of goiters. The optimal size of optimal subsymptomatologies
Design, Implementation and Validation of an Open Source IP-PBX/VoIP Gateway Multi-Core SoC
Improving the Performance of Actors on Multi-cores with Parallel Patterns
An algorithmic analysis of simulation strategies
Purge-Rehab: Eager Software Transactional Memory with High Performance Under Contention
Guest Editorial: Special Issue on 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XI)
Bounds Checking on GPU
Parallel SIMD CPU and GPU Implementations of Berlekamp-Massey Algorithm and Its Error Correction Application
The Performance Optimization of Threaded Prefetching for Linked Data Structures
Invasive Compute Balancing for Applications with Shared and Hybrid Parallelization
WolfPath: Accelerating Iterative Traversing-Based Graph Processing Algorithms on GPU
Using true concurrency to model execution of parallel programs
Performance Advantage of Reconfigurable Cache Design on Multicore Processor Systems
An Infrastructure for Tackling Input-Sensitivity of GPU Program Optimizations
A Loosely Coordinated Model for Heap-Based Priority Queues in Multicore Environments
A Secure Provenance Scheme for Detecting Consecutive Colluding Users in Distributed Networks
Against Signed Graph Deanonymization Attacks on Social Networks
A Parallel Job Execution Time Estimation Approach Based on User Submission Patterns within Computational Grids
A multicomputer garbage collector for a single-assignment language
Parallel Merge Sort with Load Balancing
Intelligent Page Migration on Heterogeneous Memory by Using Transformer
Computing Optimised Parallel Speeded-Up Robust Features (P-SURF) on Multi-Core Processors
High-Level Programming for Many-Cores Using C++14 and the STL
Loops skewing: The wavefront method revisited
Coarse-Grained Computation-Oriented Energy Modeling for Heterogeneous Parallel Embedded Systems
Probabilistic Alias Analysis of Executable Code
Co-operation in the Parallel Memetic Algorithm
Compile-Time Planning for Overhead Reduction in Software Dynamic Translators
Regular-like tree expressions
A Collaborative Approach for Multi-Threaded SAT Solving
Interruptible Nodes: Reducing Queueing Costs in Irregular Streaming Dataflow Applications on Wide-SIMD Architectures
A Virtualization Based Monitoring System for Mini-intrusive Live Forensics
A Study of the EARTH-MANNA Multithreaded System
SIMD Monte-Carlo Numerical Simulations Accelerated on GPU and Xeon Phi
Region-based compilation: Introduction, motivation, and initial experience
A scalable method for run-time loop parallelization
Network Performance Enhancement of Multi-sink Enabled Low Power Lossy Networks in SDN Based Internet of Things
MapReduce Parallel Programming Model: A State-of-the-Art Survey
Time required for garbage collection in retention block-structured languages
An Area Efficient and Low Power Consumption of Run Time Digital System Based on Dynamic Partial Reconfiguration
Editor's Note: Special Issue on High-Level Languages and Frameworks for High-Performance Computing
Verification Approach of Metropolis Design Framework for Embedded Systems
Infrared Image Super-Resolution with Parallel Random Forest
Parallel Lattice Boltzmann Method with Blocked Partitioning
Relational Learning with GPUs: Accelerating Rule Coverage
A nucleus of a theorem-prover described inAlgol -68
A grammatical inference for harmonic linear languages
A ViBe Based Moving Targets Edge Detection Algorithm and Its Parallel Implementation
The ParTriCluster Algorithm for Gene Expression Analysis
Observations of a firm's information processing with a data base management system
An interpreter for a nondeterministic language
Language use: A performance model
The Misprediction Recovery Cache
Guest Editorial for High-level Parallel Programming and Applications
A dictionary structure for a PL/I compiler
The complementary relationship of interprocedural register allocation and inlining
Safe self-scheduling: A parallel loop scheduling scheme for shared-memory multiprocessors
File evaluation in auxiliary storage
Automatic Composition of Heterogeneous Models Based on Semantic Web Services
Autonomic Coordination of Skeleton-Based Applications Over CPU/GPU Multi-Core Architectures
Time separation technique for large databases