yusuke1997/dblp-id-title huggingface dataset:
Efficient and Scalable Routing Algorithms for Collective Communication Operations on 2D All-Port Torus Networks
Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments
Experiments with applicative updating: Practical results
Giraph-Based Distributed Algorithms for Coloring Large-Scale Graphs
Optimizing OpenMP Programs on Software Distributed Shared Memory Systems
A Quantitative Study of Locality in GPU Caches for Memory-Divergent Workloads
On optimal scheduling of integrity assertions in a transaction processing system
Low-Power Reconfigurable Miniature Sensor Nodes for Condition Monitoring
A Framework for the Functional Verification of SystemC Models
Benchmarking Performance of a Hybrid Intel Xeon/Xeon Phi System for Parallel Computation of Similarity Measures Between Large Vectors
A shared memory algorithm and proof for the generalized alternative construct in CSP
Multi-dimensional Homomorphisms and Their Implementation in OpenCL
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems
Specification of data restructuring software based on the attribute method
Experiments on alternatives to minimax
A class of systolic multiplier units for VLSI technology
Transparent Speculative Parallelization of Discrete Event Simulation Applications Using Global Variables
Finite Element Algorithms and Data Structures on Graphical Processing Units
An Extended ANSI C for Processors with a Multimedia Extension
Approximation of multipath planar shapes in pattern analysis
Parallel consistent labeling algorithms
LSH SimilarityJoin Pattern in FastFlow
Efficient Buffer Management for Tree Indexes on Solid State Drives
Exploiting locality and tolerating remote memory access latency using thread migration
Guest Editorial: Special Issue on Embedded Computer Systems: Architectures, Modeling and Simulation
An Intrusion Detection Framework Based on Hybrid Multi-Level Data Mining
Multi-Fault Tolerance for Cartesian Data Distributions
ACOTES Project: Advanced Compiler Technologies for Embedded Streaming
Larger-Than-Memory Stateful Stream Processing with WindFlow
Multi-device Controllers: A Library to Simplify Parallel Heterogeneous Programming
Algorithmic approach to the consecutive retrieval property
The choice of partial inversions and combined indices
Synthesizing Transformations for Locality Enhancement of Imperfectly-Nested Loop Nests
Minimal covering problem and PLA minimization
High Utility Infrequent Itemset Mining Using a Customized Ant Colony Algorithm
Application of SQL/N to the attribute-relation associations implicit in functional dependencies
Quantifying the Multi-Level Nature of Tiling Interactions
Useless prime implicants of incompletely specified multiple-output switching functions
LACross: Learning-Based Analytical Cross-Platform Performance and Power Prediction
Compiler technology for machine-indepenent parallel programming
Accelerating DES and AES Algorithms for a Heterogeneous Many-core Processor
A Practical Approach for Employing Tensor Train Decomposition in Edge Devices
Fuzzy-state automata: Their stability and fault tolerance
An Efficient Programming Skeleton for Clusters of Multi-Core Processors
Wcrl: A data model independent language for database systems
Using Discrete Event Simulation to Analyze Contention Managers
Scenario-Based Hypersequential Programming
A prefix operator for a switching algebra
AMAIX In-Depth: A Generic Analytical Model for Deep Learning Accelerators
Priority Based Yield of Shared Cache to Provide Cache QoS in Multicore Systems
Data Parallel Algorithmic Skeletons with Accelerator Support
Parallel Logic Programming for Problem Solving
Automatic Skeleton-Driven Memory Affinity for Transactional Worklist Applications
Familial model of data
Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time
Empirical Mode Decomposition and Temporal Convolutional Networks for Remaining Useful Life Estimation
Parameter optimization of stochastic automata operating in random environments
A parallel graph partitioning algorithm for a message-passing multiprocessor
Memetic Algorithms for Parallel Code Optimization
Editor's Note: Special Section on Data-Flow for Multicore
Deterministic Parallel Processing
Pseudosimulation: An algorithm for distributed simulation with limited memory
A procedure for the unsupervised abdunction of linguistic distributional classes in probabilistic languages
Automatic Discovery of Collective Communication Patterns in Parallelized Task Graphs
Editor's Note: Special Issue on Embedded Computer Systems: Architectures, Modeling and Simulation
Guest Editorial: Special Issue on VLSI Design and Embedded Systems
Partial sorting: A large vector technique and its application
Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis
Generic Exact Combinatorial Search at HPC Scale
Comparison of OpenMP 3.0 and Other Task Parallel Frameworks on Unbalanced Task Graphs
Simultaneous CPU-GPU Execution of Data Parallel Algorithmic Skeletons
Memory Partitioning in the Limit
On-line student debate: An experiment in communication using computer Networks
Accelerating OCaml Programs on FPGA
High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons
Control and data driven execution of logic programs: A comparison
Fully Optimized Code Block Segmentation Algorithm for LTE-Advanced
String and graph grammar characterizations of bounded regular languages
H-NMRU: An Efficient Cache Replacement Policy with Low Area
A Priority-Based Admission Control Scheme for Commercial Web Servers
Hierarchical Pattern Mining with the Automata Processor
Theta-join and normalization
Guest Editorial for Hybrid Parallelism in New HPC Systems
Restructuring Computations for Temporal Data Cache Locality
An effective preprocessor for structured FORTRAN: The HENTRAN system
Data-Locality Aware Scientific Workflow Scheduling Methods in HPC Cloud Environments
Doubly deterministic tabled OL systems
A garbage collection algorithm for shared memory parallel processors
Non-Strict Execution in Parallel and Distributed Computing
The encoding of arbitrary two-dimensional geometric configurations
NetWorkSpace: A Coordination System for High-Productivity Environments
3D-Stacked Many-Core Architecture for Biological Sequence Analysis Problems
On the Removal of Anti- and Output-Dependences
On an information processing model applied to optical illusions and computer simulations
Runtime vs. Manual Data Distribution for Architecture-Agnostic Shared-Memory Programming Models
Branch Classification: New Mechanism for Improving Branch Predictor Performance
An application of learning to robotic planning
Formalised Composition and Interaction for Heterogeneous Structured Parallelism
New-Age : A Negative Bias Temperature Instability-Estimation Framework for Microarchitectural Components
Guest Editorial: High-Level Parallel Programming and Applications
Scientific Computing Kernels on the Cell Processor
Automatic Intra-Register Vectorization for the Intel? Architecture
AE1: An extension matrix approximate method for the general covering problem
Inferential Queueing and Speculative Push
SGgraph: A Scalable GPU-Based Edge-Centric Graph Processing Framework
A Parallel Dynamic Binary Translator for Efficient Multi-Core Simulation
An application of program unification to priority queue vectorization
Understanding the Efficiency of kD-tree Ray-Traversal Techniques over a GPGPU Architecture
An approach to understanding geometrical configurations by computer
Energy-Efficient Redundant Execution of Processes in a Fault-Tolerant Cluster of Servers
Atomic RMI: A Distributed Transactional Memory Framework
A Parallel Approach for the Generation of Unstructured Meshes with Billions of Elements on Distributed-Memory Supercomputers
The Cell Broadband Engine: Exploiting Multiple Levels of Parallelism in a Chip Multiprocessor
Degrees of unsolvability associated with Markov algorithms
A Study of Process Arrival Patterns for MPI Collective Operations
Portable C++ Code that can Look and Feel Like Fortran Code with Yet Another Kernel Launcher (YAKL)
Resource-Aware Compiler Prefetching for Fine-Grained Many-Cores
Compilation Techniques for High Level Parallel Code
BPL: A set-based language for distributed system prototyping
Data Reduction Analysis for Climate Data Sets
Field analysis: A mathematical method of analysis for information handling processes
A hypergraph-based model for port allocation on multiple-register-file VLIW architectures
ControlPULP: A RISC-V On-Chip Parallel Power Controller for Many-Core HPC Processors with FPGA-Based Hardware-In-The-Loop Power and Thermal Emulation
A CUCH-machine: The automatic treatment of bound variables
Inaccuracy in Private BitTorrent Measurements
GHOST: Building Blocks for High Performance Sparse Linear Algebra on Heterogeneous Systems
Parallel Algorithms Development for Programmable Devices with Application from Cryptography
Verifying Parallel Code After Refactoring Using Equivalence Checking
On switching network functionalities and their relationships
Parallel Patterns for Window-Based Stateful Operators on Data Streams: An Algorithmic Skeleton Approach
Storage cost considerations in secondary index selection
Steal Locally, Share Globally - A Strategy for Multiprogramming in the Manycore Era
An implicit enumeration program for zero-one integer programming
The associative languageal -1
Multivariate point process models for response times in multiprogrammed systems
Guest Editorial for Programming Models and Algorithms for Data Analysis in HPC Systems
Correction: Split'n'Cover: ISO 26,262 Hardware Safety Analysis with SystemC
A theory of data dependencies over relational expressions
Experiences with Cooperating Register Allocation and Instruction Scheduling
The muse approach to Or-parallel prolog
A parallel sorting scheme whose basic operation sorts N elements
An Improved/Optimized Practical Non-Blocking PageRank Algorithm for Massive Graphs
Editor's Note: Special Issue on Computing Frontiers
High-Performance Hardware of the Sliding-Window Method for Parallel Computation of Modular Exponentiations
Brain Derived Vision Algorithm on High Performance Architectures
Fault-aware Communication Mapping for NoCs with Guaranteed Latency
Approximate algorithms for partitioning problems
The design and implementation of a scheme for large ordered indices
On the solution of multiattribute problems involving counting in intersecting sets
Cache-Integrated Network Interfaces: Flexible On-Chip Communication and Synchronization for Large-Scale CMPs
ParaGraph: Graph editor support for parallel programming environments
A pragmatic approach to resolution-based theorem proving
Revisiting Cache Resizing
Partitioning-Aware Performance Modeling of Distributed Graph Processing Tasks
Compiler Techniques for the Superthreaded Architectures
Efficient Processing of Large Data Structures on GPUs: Enumeration Scheme Based Optimisation
Profiling and Optimizing Transactional Memory Applications
Cost-Directed Refactoring for Parallel Erlang Programs
Data structures in context-addressed cellular memories
A Mean Analysis Multiprocessor Model Incorporating Superscalar Processors and Latency Tolerating Techniques
An Evaluation of an OS-Based Coherence Scheme for Tiled CMPs
On ω -Languages whose syntactic monoid is trivial
A Dependency-Aware Storage Schema Selection Mechanism for In-Memory Big Data Computing Frameworks
Minimizing Register Requirements of a Modulo Schedule via Optimum Stage Scheduling
Path Analysis and Renaming for Predicated Instruction Scheduling
Predictive Modeling in a Polyhedral Optimization Space
The Bottom-Up Implementation of One MILC Lattice QCD Application on the Cell Blade
Two-Phase Barrier: A Synchronization Primitive for Improving the Processor Utilization
A High-Level API for Dynamic Load Balancing in Large-Scale Parameter Sweeps
Dynamic Tag Reduction for Low-Power Caches in Embedded Systems with Virtual Memory
Combining Height Reduction and Scheduling for VLIW Machines Enhanced with Three-Argument Arithmetic Operations
Workload Mode Identification for Chip Heterogeneous Multiprocessors
Developing an Efficient Pattern Discovery Method for CPU Utilizations of Computers
A Cooperative Heterogeneous Vehicular Clustering Mechanism for Road Traffic Management
A Fast Parallel Implementation of a PTAS for Fractional Packing and Covering Linear Programs
The Architectural and Operating System Implications on the Performance of Synchronization on ccNUMA Multiprocessors
Minimum dominating cycles in outerplanar graphs
Railway Computation for Infinite Linear Systems
Profile-assisted instruction scheduling
Emerging Architectures Enable to Boost Massively Parallel Data Mining Using Adaptive Sparse Grids
Location-based and Time-aware Service Recommendation in Mobile Edge Computing
Register Saturation in Instruction Level Parallelism
Efficient Methods for Trace Analysis Parallelization
Depth- m search in branch-and-bound algorithms
Memory-Optimized Wavefront Parallelism on GPUs
The Case for Polymorphic Registers in Dataflow Computing
dRuby and Rinda: Implementation and Application of Distributed Ruby and its Parallel Coordination Mechanism
WorkCrews: An abstraction for controlling parallelism
A Computational Science IDE for HPC Systems: Design and Applications
Characterizing Scalability of Sparse Matrix-Vector Multiplications on Phytium FT-2000+
A singular loop transformation framework based on non-singular matrices
A pragmatic proposal for the improvement of program modularity and reliability
An iterative algorithm for the cyclic Towers of Hanoi problem
Embedding deductive capabilities in relational database systems
Computer selection and criteria for computer performance evaluation
Energy-Efficient Partial-Duplication Task Mapping Under Multiple DVFS Schemes
Scalable Loop Self-Scheduling Schemes for Large-Scale Clusters and Cloud Systems
Performance Evaluation and Enhancement of Process-Based Parallel Loop Execution
iDocChip: A Configurable Hardware Architecture for Historical Document Image Processing
GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis
Data dependence and its application to parallel processing
FOG: A Fast Out-of-Core Graph Processing Framework
On Single-Valuedness in Textually Aligned SPMD Programs
The Coming Wave of Multithreaded Chip Multiprocessors
Generating ASIPs with Reduced Number of Connections to the Register-File
Bandwidth Adaptive Cache Coherence Optimizations for Chip Multiprocessors
On the semigroups of linear sequential machines
What do users of parallel computer systems really need?
Stochastic grammars and languages
Parallel processing of graph reachability in databases
Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units
A glimpse into the paradise of combinatory algebra
Analyzing the Effects of Hyperthreading on the Performance of Data Management Systems
Data base organization and retrieval techniques for steam turbine engineering
FEADS: A Framework for Exploring the Application Design Space on Network Processors
A note on answer extraction in resolution-based systems
A Self Distributing Virtual Machine for Adaptive Multicore Environments
An Autotuning Engine for the 3D Fast Wavelet Transform on Clusters with Hybrid CPU + GPU Platforms
Parallel Implementation of a Lagrangian Stochastic Model for Pollutant Dispersion
Algorithms for finding directed graph isomorphisms by finite automata
Parallel processing of biological sequence comparison algorithms
Persistent Asynchronous Adaptive Specialization for Generic Array Programming
Primitives for resource management in a demand-driven reduction model
Automatic Halo Management for the Uintah GPU-Heterogeneous Asynchronous Many-Task Runtime
Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
Searching and encoding for infinite ordered sets
A History-Based Resource Manager for Genome Analysis Workflows Applications on Clusters with Heterogeneous Nodes
Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions
Algorithms for the inverse and a generalization of the state space approach to finite automata
Formal restructuring functions for hierarchical data bases
Analyzing Asynchronous Pipeline Schedules
Parallel Implementations of Block-Based Motion Vector Estimation for Video Compression on Four Parallel Processing Systems
DyTO: Dynamic Task Offloading Strategy for Mobile Cloud Computing Using Surrogate Object Model
The Experience in Designing and Evaluating the High Performance Cluster Netuno
Managing data caches using selective cache line replacement
Parallel Heat Kernel Volume Based Local Binary Pattern on Multi-Orientation Planes for Face Representation
The use of hoare logic in the verification of horizontal microprograms
Magnetic bubble memory structures for relational database management systems
Guest Editor's Introduction (Part 2)
The Smart Cache: An Energy-Efficient Cache Architecture Through Dynamic Adaptation
The Design and Implementation of TIDeFlow: A Dataflow-Inspired Execution Model for Parallel Loops and Task Pipelining
A Fault-Model-Relevant Classification of Consensus Mechanisms for MPI and HPC
Subword complexities of various classes of deterministic developmental languages with interactions
A decision theory method for the analysis of texture
New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes
Parallel Nonnegative Matrix Factorization Algorithm on the Distributed Memory Platform
Syntax extension using a run time model
A Framework for Assessing Reusability Using Package Cohesion Measure in Aspect Oriented Systems
Loop transformations to prevent false sharing
Fast Parallel CPU-GPU Approximate Spectral Clustering for Transcriptomics Data
An Immune-based Genetic Algorithm with Reduced Search Space Coding for Multiprocessor Task Scheduling Problem
Guest Editors Introduction: Special Issue on OpenMP
Charismatic Document Clustering Through Novel K-Means Non-negative Matrix Factorization (KNMF) Algorithm Using Key Phrase Extraction
Compiler Infrastructure
The Celerity High-level API: C++20 for Accelerator Clusters
Conceptual modeling of data base operations
Guest Editorial: SBAC-PAD 2013
On algorithms preserving neighborhood, to file and retrieve information in a memory
CH transform
A probabilistic approach for testing large-scale integrated circuits
A Decomposition of the Tikhonov Regularization Functional Oriented to Exploit Hybrid Multilevel Parallelism
Software Static Energy Modeling for Modern Processors
SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism
Special Issue on Network and Parallel Computing
High-performance Migration Tool for Live Container in a Workflow
Design and Evaluation of a Carbon Nanotube-Based Programmable Architecture
Data Dependence Analysis Techniques for Increased Accuracy and Extracted Parallelism
PrODACT: Prefetch-Obfuscator to Defend Against Cache Timing Channels
Dynamic Data Migration for Structured AMR Solvers
Specification and design of shared resource arbitration
The verification of the protection mechanisms of high-level language machines
K*-Means: An Efficient Clustering Algorithm with Adaptive Decision Boundaries
A self-organizing model of the British economy for control with optimal prediction using the balance-of-variables criterion
Gemini: A Novel Hardware and Software Implementation of High-performance PCIe SSD
Evaluating the Effect of Coherence Protocols on the Performance of Parallel Programming Constructs
Towards formal specification of a distributed computing system
A state space approach to the finite automata
Asynchronous Typed Object Groups for Grid Programming
A Credit-Based Load-Balance-Aware CTA Scheduling Optimization Scheme in GPGPU
Analysis of some abstract measures of protection in computer systems
Concepts and realization of a high-performance data type architecture
Efficient algorithms for parallel sorting on mesh multicomputers
The analysis of an adaptive workload balancing strategy in computing system resources management
GPU Accelerated Finding of Channels and Tunnels for a Protein Molecule
Enhancing instruction scheduling with a block-structured ISA
Design Alternatives of Multithreaded Architecture
ForestGOMP: An Efficient OpenMP Environment for NUMA Architectures
PageRank Computation Using a Multiple Implicitly Restarted Arnoldi Method for Modeling Epidemic Spread
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation
Verifying atomic data types
MapReduce Data Skewness Handling: A Systematic Literature Review
An Approach to Forecast Queue Time in Adaptive Scheduling: How to Mediate System Efficiency and Users Satisfaction
Modeling of storage properties of higher-level languages
VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs
An operation-control scheme for authorization in computer systems
Special Issue on SAMOS 2022
Engineering Energy Efficient Visual Sensor Network Applications Using Skeletons
A class of functions synthesized from a finite number of examples and a lisp program scheme
Meerkat: A Framework for Dynamic Graph Algorithms on GPUs
Predicting the availability of contiguous memory
A model for optimizing indexed file structures
Flat Parlog: A basis for comparison
An evolutionary procedure for machine learning
Parallelizing Convolutional Neural Networks for Action Event Recognition in Surveillance Videos
A Pipeline Technique for Dynamic Data Transfer on a Multiprocessor Grid
FIPLib: An Image Processing Library for FPGAs Using High-Level Synthesis
Deep Learning Inference with Dynamic Graphs on Heterogeneous Platforms
Sequential syntactical decoding
Facile: A symmetric integration of concurrent and functional programming
Exploratory experiments in programmer behavior
A Methodology for Efficient Tile Size Selection for Affine Loop Kernels
On the structure of context-sensitive grammars
Models for practical parallel computation
Modification tolerance of fuzzy-state automata
An efficient external sorting with minimal space requirement
LSA Based Smart Assessment Methodology for SDN Infrastructure in IoT Environment
A Loop Transformation Algorithm for Communication Overlapping
Maximum pipelining linear recurrence on static data flow computers
High Speed Cycle-Approximate Simulation of Embedded Cache-Incoherent and Coherent Chip-Multiprocessors
Programming GPGPU Graph Applications with Linear Algebra Building Blocks
An algorithm for optimal single linear feature extraction from several gaussian pattern classes
DAFT: Decoupled Acyclic Fault Tolerance
BSHIFT: A Low Cost Deep Neural Networks Accelerator
Automatic Heterogeneous Runtime Using Signal Processing Domain-Specific and Parallel Patterns
Information system design for real-time multiprocessing systems
The Fork95 parallel programming language: Design, implementation, application
A Repair of Workflow Models Based on Mirroring Matrices
Optimizing the Reliability of Streaming Applications Under Throughput Constraints
Guest Editor's Note: High-Level Parallel Programming 2021
An approximation method for solving the sofa problem
The Utilization of Matrix Structure to Generate Optimized Code from MATLAB Programs
Using Machine Learning Techniques to Detect Parallel Patterns of Multi-threaded Applications
On the Effectiveness of Flow Aggregation in Improving Instruction Reuse in Network Processing Applications
Resource-Aware Data Parallel Array Processing
DyG-DPCD: A Distributed Parallel Community Detection Algorithm for Large-Scale Dynamic Graphs
Large System Performance of SPEC OMP Benchmark Suites
A Framework to Analyze the Performance of Load Balancing Schemes for Ensembles of Stochastic Simulations
On finding the convex hull of a simple polygon
Downsampling Algorithms for Large Sparse Matrices
Exploring the Design Space of an Energy-Efficient Accelerator for the SKA1-Low Central Signal Processor
Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance
Cache coherence requirements for interprocess rendezvous
A Parallel Yet Pipelined Architecture for Efficient Implementation of the Advanced Encryption Standard Algorithm on Reconfigurable Hardware
Parallel Approaches for Data Mining in the Internet of Things Realm
Optical clustering on a mesh-connected computer