yusuke1997/dblp-id-title huggingface dataset:
A Cluster-Based Data-Centric Model for Network-Aware Task Scheduling in Distributed Systems
A Linear Time Self-stabilizing Algorithm for Minimal Weakly Connected Dominating Sets
Power-Aware Compilation for Register File Energy Reduction
Parallel Rendering and Animation of Subdivision Surfaces on the Cell BE Processor
A Reconfigurable Logic-Based Processor for the SCAN Image and Video Encryption Algorithm
A backtracking algorithm for the stream AND-parallel execution of logic programs
Extension of tabled 0 L -systems and languages
Retraction Note: Designing a Framework for Communal Software: Based on the Assessment Using Relation Modelling
Accelerating Detailed Tissue-Scale 3D Cardiac Simulations Using Heterogeneous CPU-Xeon Phi Computing
Parallel microprogramming tools for a horizontally reconfigurable architecture
Exploiting parallelism on a fine-grained MIMD architecture based upon channel queues
One-way acceptors and languages
Exploiting Significance of Computations for Energy-Constrained Approximate Computing
Parallel multipliers with NOR gates based on G-minimum adders
Towards Parallelism Extraction for Heterogeneous Multicore Android Devices
High-Level Heterogeneous and Hierarchical Parallel Systems (HLPGPU 2014)
Weaves: A Framework for Reconfigurable Programming
Design and Performance Evaluation of a Novel High-Speed Hardware Architecture for Keccak Crypto Coprocessor
Access Interval Prediction by Partial Matching for Tightly Coupled Memory Systems
Parallel Programming in Bioinformatics: Some Interesting Approaches
SARP: Synopsis-Based Approximate Request Processing for Low Latency and Small Correctness Loss in Cloud Online Services
Fast recognition of Baxter permutations using syntactical and complete bipartite composite dag's
A new technique for WFTA input/output reordering
A Parallel Implementation for the Negative Cost Girth Problem
TuCCompi: A Multi-layer Model for Distributed Heterogeneous Computing with Tuning Capabilities
Solution of sparse positive definite systems on a shared-memory multiprocessor
On the time required for reference count management in retention block-structured languages. Part 2
Trin-Trin: Who's Calling? A Pin-Based Dynamic Call Graph Extraction Framework
Editorial: A time of transition
Near-optimal heuristics for an assignment problem in mass storage
High speed synchronization of processors using fuzzy barriers
Control Flow Regeneration for Software Pipelined Loops with Conditions
An error-correcting syntactic decoder for computer networks
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments
Demonstrating the Scalability of a Molecular Dynamics Application on a Petaflops Computer
Source-to-Source Parallelization Compilers for Scientific Shared-Memory Multi-core and Accelerated Multiprocessing: Analysis, Pitfalls, Enhancement and Potential
Surjections and coverings
FEAST: Feature evaluation and selection technique for deployment in unsupervised nonparametric environments
Monoparametric Tiling of Polyhedral Programs
Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons
Global garbage collection for distributed heap storage systems
Greedy partitioned algorithms for the shortest-path problem
The Impact of Speculative Execution on SMT Processors
Managing Data Placement in Memory Systems with Multiple Memory Controllers
Parallel general prefix computations with geometric, algebraic, and other applications
A Phase Behavior Aware Dynamic Cache Partitioning Scheme for CMPs
Parallel and Distributed Processing with Applications: Preface
A Cross-ISA Kernelized High-Performance Parallel Emulator
Unified Interprocedural Parallelism Detection
Denotational semantics of a para-functional programming language
An Efficient Monitoring of Real Time Traffic Clearance for an Emergency Service Vehicle Using IOT
Parallel algorithms for minimal spanning trees of directed graphs
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking
Guest Editors' Editorial: Special Issue on the Second International Workshop on Microgrids
Supporting Enhanced Exception Handling with OpenMP in Object-Oriented Languages
Using the Xeon Phi Platform to Run Speculatively-Parallelized Codes
Syntactic monoids in the construction of systolic tree automata
Correction to: Countering Statistical Attacks in Cloud-Based Searchable Encryption
The Design of NoC-Side Memory Access Scheduling for Energy-Efficient GPGPUs
The dynamic clusters method in nonhierarchical clustering
Inference of tree automata from sample set of trees
DySHARQ: Dynamic Software-Defined Hardware-Managed Queues for Tile-Based Architectures
Task-Based System Load Balancing in Cloud Computing Using Particle Swarm Optimization
Achieving speedups for APL on an SIMD distributed memory machine
Fast Greedy Weighted Fusion
Nested Parallelization with OpenMP
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns
Problems of complex system modeling and applied mathematical statistics
Analytical and Simulation-based Design Space Exploration of Software Defined Radios
Dynamic Binary Instrumentation and Data Aggregation on Large Scale Systems
Improving the Performance of Distributed MXNet with RDMA
Distributed Parallel Computing Using Navigational Programming
A Parallel Algorithm for UAV Flight Route Planning on GPU
RT-CUDA: A Software Tool for CUDA Code Restructuring
A note on lee and schachter's algorithm for delaunay triangulation
Detecting value-based scalar dependence
A space-efficient parallel sequence comparison algorithm for a message-passing multiprocessor
Automatic Design of Application Specific Instruction Set Extensions Through Dataflow Graph Exploration
Full prolog and scheduling or-parallelism in muse
Using FORAY Models to Enable MPSoC Memory Optimizations
Tackling Complexity in High Performance Computing Applications
Guest Editor Introduction: Special Issue on Embedded Processors
Computer diagnosis of goiters. IV. Optimal planning of physical observations
The Partial Reverse If-Conversion Framework for Balancing Control Flow and Predication
Determinism at Standard-Library Level in TM-Based Applications
Achieving Optimal Inter-Node Communication in Graph Partitioning Using Random Selection and Breadth-First Search
Improving the Performance of Distributed TensorFlow with RDMA
DynaCo: Dynamic Coherence Management for Tiled Manycore Architectures
CAPIO-CL: The CAPIO Coordination Language
The Blue Gene/L Supercomputer: A Hardware and Software Story
Partitioning trees: Matching, domination, and maximum diameter
Syntactic/semantic interactions in programmer behavior: A model and experimental results
Hadoop Based Parallel Binary Bat Algorithm for Network Intrusion Detection
RollSec: Automatically Secure Software States Against General Rollback
SWIMM 2.0: Enhanced Smith-Waterman on Intel's Multicore and Manycore Architectures Based on AVX-512 Vector Extensions
Some structural complexities of time-varying sequential machines
Hierarchical Synthesis of Quantum and Reversible Architectures
Array Organization in Parallel Memories
Using SDRAM Memories for High-Performance Accesses to Two-Dimensional Matrices Without Transpose
Effect analysis in higher-order languages
Snow : A Parallel Computing Framework for the R System
Automatic Parallelization of Array-oriented Programs for a Multi-core Machine
ElasticActor: An Actor System with Automatic Granularity Adjustment
An efficient checkpointing method for multicomputers with wormhole routing
Parallel Speech Recognition
Evaluation of queries based on the extended relational calculi
Special Issue on OpenMP - Guest Editors' Introduction
Approximate reasoning and possibilistic models in classification
A Scalable Runtime Fault Localization Framework for High-Performance Computing Systems
Scalable and Structured Scheduling
An Efficient Scalable Runtime System for Macro Data Flow Processing Using S-Net
Advancing Interactive Parallelization: iCetus
A partially distributed deadlock detection algorithm
On the efficient implementation of retention block-structured languages
A parallel sorting algorithm for a novel model of computation
Data-Centric Transformations for Locality Enhancement
Guest Editorial: Special Issue on Algorithms and Systems on Big Graph Processing
Predictive searching for chain encoding by computers
Parallel parsing of Tree Adjoining Grammars on the Connection Machine
Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing
Efficient Dynamic Pinning of Parallelized Applications by Distributed Reinforcement Learning
Helper Thread Prefetching Control Framework on Chip Multi-processor
Efficient 3D Transpositions in Graphics Processing Units
Further remarks for the matrix type-B codes
Pathfinder: Application-Aware Distributed Path Computation in Clouds
UniCNN: A Pipelined Accelerator Towards Uniformed Computing for CNNs
Celerity-RSim: Porting Light Propagation Simulation to Accelerator Clusters Using a High-Level API
Dynamic Code Partitioning for Clustered Architectures
SkePU 2: Flexible and Type-Safe Skeleton Programming for Heterogeneous Parallel Systems
On game graph structure and its influence on pathology
Asteroid: Scalable Online Memory Diagnostics for Multi-core, Multi-socket Servers
Transformations for optimizing interprocess communication and synchronization mechanisms
The unified data structure capability in Madcap VI
Analysis for Behavioral Economics in Social Networks: An Altruism-Based Dynamic Cooperation Model
Verification of Embedded Systems Based on Interval Analysis
Parallel Iterator for Parallelizing Object-Oriented Applications
Fish School Search with Algorithmic Skeletons
Relevance of computer science to linguistics and vice versa
Minimizing redundant dependencies and interprocessor synchronizations
GPU-Based Algorithms for Processing the k Nearest-Neighbor Query on Spatial Data Using Partitioning and Concurrent Kernel Execution
Meld Scheduling: A Technique for Relaxing Scheduling Constraints
Performance Evaluation of Mixed-Mode OpenMP/MPI Implementations
The order of merging operations for queries in inverted file systems
Multi-Level Parallelism for the Cardiac Bidomain Equations
Parallelization Strategies for Spatial Agent-Based Models
OPAL: A new algorithm for optimal partitioning and learning in non parametric unsupervised environments
Graphical normal forms based on root dependencies in relational data base systems
A classification of process coordination schemes in descriptive power
The hierarchical task graph as a universal intermediate representation
Parallel Tree Accumulations on MapReduce
A communication scheme for the distributed execution of loop nests with while loops
A Tree-Based Alternative to Java Byte-Codes
Adaptive Task Pools: Efficiently Balancing Large Number of Tasks on Shared-address Spaces
PyACTS: A Python Based Interface to ACTS Tools and Parallel Scientific Applications
The applicability of program schema results to programs
Identifying Partitions in Wireless Sensor Network
Statistical inference in mathematical and computational linguistics
Machines and models for parallel computing
A Proposal to Extend the OpenMP Tasking Model with Dependent Tasks
Locality-Aware Automatic Parallelization for GPGPU with OpenHMPP Directives
Guest Editor Introduction: Special Issue on High Performance Computing for High Productivity Environments
An algorithm for the inference of tree grammars
Complexity, convexity, and unimodality
iGridEdgeDrone: Hybrid Mobility Aware Intelligent Load Forecasting by Edge Enabled Internet of Drone Things for Smart Grid Networks
Multidimensional extendible hashing for partial-match queries
Maximizing Communication-Computation Overlap Through Automatic Parallelization and Run-time Tuning of Non-blocking Collective Operations
dCompaction: Delayed Compaction for the LSM-Tree
Fault Recovery Methods for Asynchronous Linear Solvers
Some restrictions on W -grammars
Erasure-Coded Hybrid Writes Based on Data Delta
An evaluation of medium-grain dataflow code
High-Performance Computation of Bézier Surfaces on Parallel and Heterogeneous Platforms
Accelerating Smith-Waterman Alignment of Species-Based Protein Sequences on GPU
Inhomogeneous sorting
A theory of dynamic file management in a multilevel store
Algorithmic Skeletons and Parallel Design Patterns in Mainstream Parallel Programming
A data representation code for text processing systems
A Polynomial-Time Algorithm for Memory Space Reduction
Finding minimal enclosing boxes
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
An algebraic approach to information retrieval systems
Some implementation issues relating to data structures for interactive graphics
On characteristic sets and degrees of finite automata
Parallel Option Price Valuations with the Explicit Finite Difference Method
A Speculative and Adaptive MPI Rendezvous Protocol Over RDMA-enabled Interconnects
Performance Optimization of Video Coding Process on Multi-Core Platform Using Gop Level Parallelism
Remarks concerning the optimization of matrix codes
Composition of relational productions for plans and programs
LALP: A Language to Program Custom FPGA-Based Acceleration Engines
A Vectorizing Compiler for Multimedia Extensions
An Experimental Evaluation of the HP V-Class and SGI Origin 2000 Multiprocessors using Microbenchmarks and Scientific Applications
Higher order data types
Applications of graph theory in computer systems
Compiler-Assisted Checkpointing of Parallel Codes: The Cetus and LLVM Experience
DeeperThings: Fully Distributed CNN Inference on Resource-Constrained Edge Devices
A method for constructing binary search trees by making insertions at the root
A Network-Failure-Tolerant Message-Passing System for Terascale Clusters
An optimal distributed solution to the dining philosophers problem
Dataflow analysis of array and scalar references
Enabling Realistic Logical Device Interface and Driver for NVM Express Enabled Full System Simulations
Formalization of correctness of recursive definitions
Sequential classification of strings generated by SCFG's
On the method of puzzles for key distribution
List Scheduling in Embedded Systems Under Memory Constraints
A topoiogical formulation of linguistic typology
Value Prediction and Speculative Execution on GPU
Methodical specification of abstract data types via rewriting systems
Systolic architecture for B-spline surfaces
Backtracking-Based Instruction Scheduling to Fill Branch Delay Slots
A Scalable Similarity Join Algorithm Based on MapReduce and LSH
Implementing a Scheme-based parallel processing system
Sage commentary
Automated Compiler Optimization of Multiple Vector Loads/Stores
On-Line Testing of Lab-on-Chip Using Reconfigurable Digital-Microfluidic Compactors
Fast Automated Processing and Evaluation of Identity Leaks
Software Trace Cache for Commercial Applications
Characterizations for the regular prefix codes and related families
Effectiveness of Statistical Features for Early Stage Internet Traffic Identification
Entity-relationship diagrams which are in BCNF
DRAMSys4.0: An Open-Source Simulation Framework for In-depth DRAM Analyses
Smart Containers and Skeleton Programming for GPU-Based Systems
Deriving parallel computations from functional specifications: A seismic example on a hypercube
Near-optimal message routing and broadcasting in faulty hypercubes
A Case Study on Compiler Optimizations for the Intel ® Core TM 2 Duo Processor
PolyJIT: Polyhedral Optimization Just in Time
The Implementation of a High Performance GPGPU Compiler
Energy-Aware Modeling of Scaled Heterogeneous Systems
A Parallelization Approach for Hard Real-Time Systems and Its Application on Two Industrial Programs - Strategy and Two Case Studies for the Parallelization of Hard Real-Time Systems
Impact of Reverse Computing on Information Locality in Register Allocation for High Performance Computing
pocl: A Performance-Portable OpenCL Implementation
Partial-PreSET: Enhancing Lifetime of PCM-Based Main Memory with Fine-Grained SET Operations
Adaptive granularity: Transparent integration of fine- and coarse-grain communication
A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming
The polaris internal representation
How are parallel systems invented?
Multi-ML: Programming Multi-BSP Algorithms in ML
A join algorithm for combining AND parallel solutions in AND/OR parallel systems
Reducing and Vectorizing Procedures for Telescoping Languages
A Double Adaptive Algorithm for Multidimensional Integration on Multicore Based HPC Systems
Rough sets
Frequency decomposition technique for large archivable databases
A Comparative Analysis of Adaptive Solutions for Grid Environments
Cellular topology and its applications in image processing
Hypercube embedding heuristics: An evaluation
Optimal Modulo Scheduling Through Enumeration
Explicit Fourth-Order Runge-Kutta Method on Intel Xeon Phi Coprocessor
An APL approach to the representation and manipulation of data structures
Scaling the Maximum Flow Computation on GPUs
Time Optimal Software Pipelining of Loops with Control Flows
Guest Editorial for High-Level Parallel Programming and Applications
An MPI Implementation of a Self-Submitting Parallel Job Queue
Interconnection Network Simulation Using Traces of MPI Applications
Boolean difference techniques in fault tree analysis
Dense Gaussian Networks: Suitable Topologies for On-Chip Multiprocessors
Fast Data-Obtaining Algorithm for Data Assimilation with Large Data Set
A procedure to determine intersections between polyhedral objects
Guest Editorial: The Parallel Storage, Processing and Analysis for Big Data
Parallel path consistency
Evaluation of Different Processor Architecture Organizations for On-Site Electronics in Harsh Environments
DRAMSpec: A High-Level DRAM Timing, Power and Area Exploration Tool
Verification of System Level Model Transformations
Correlating Radio Astronomy Signals with Many-Core Hardware
Scalable, parallel computers: Alternatives, issues, and challenges
Generalization of Large-Scale Data Processing in One MapReduce Job for Coarse-Grained Parallelism
A Bipartite Genetic Algorithm for Multi-processor Task Scheduling
Exploiting GPUs with the Super Instruction Architecture
Microcode compaction: Extending the boundaries
Runtime Vectorization Transformations of Binary Code
Characterizing sets of data structures by the connectivity relation
Performance Characterization of Python Runtimes for Multi-device Task Parallel Programming
Fairness and the axioms of control predicates
A Power-Aware Hybrid Cache for Chip-Multi Processors Based on Neural Network Prediction Technique
On the message complexity of distributed problems
Y-Invalidate: A New Protocol for Implementing Weak Consistency in DSM Systems
A Map-Reduce Approach for the Dijkstra Algorithm in SDN Over Osmotic Computing Systems
Parallel branch-and-bound search in Parlog
Computation in the Context of Transport Triggered Architectures
Introduction to the Special Issue on the 18th International Symposium on Computer Architecture and High Performance Computing
Queue-Based and Adaptive Lock Algorithms for Scalable Resource Allocation on Shared-Memory Multiprocessors
A note on regular-controlled apical-growth filamentous systems
Big Data Processing using Internet of Software Defined Things in Smart Cities
Checking similarity of planar figures
MemJam: A False Dependency Attack Against Constant-Time Crypto Implementations
An Optimal Page-Level Power Management Strategy in PCM-DRAM Hybrid Memory
When is pull better than push?
Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs
A network of microprocessors to execute reduction languages, part II
Fortress Abstractions in X10 Framework
A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
A parallel algorithm to construct a dominance graph on nonoverlapping rectangles
SMSG: Profiling-Free Parallelism Modeling for Distributed Training of DNN
Extending OpenMP to Survive the Heterogeneous Multi-Core Era
Heterogeneous parallel_for Template for CPU-GPU Chips
RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading
Parallel Computation of Discrete Orthogonal Moment on Block Represented Images Using OpenMP
Vehicle Detection Using Spatial Relationship GMM for Complex Urban Surveillance in Daytime and Nighttime
Limits of Data Value Predictability
On data retrieval from unambiguous bit matrices
Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons
Parallel-access memory management using fast-fits
Editor's Note: Special Issue on International Embedded Systems Symposium (2019)
Semantic equivalence of covering attribute grammars
Dynamic Instruction Scheduling in a Trace-based Multi-threaded Architecture
A Comparative Study of Parallel RANSAC Implementations in 3D Space
A Framework for Incremental Extensible Compiler Construction
Concatenated hash code selection
Decomposed software pipelining: A new perspective and a new approach
An Analytical Evaluation of Data Dependence Analysis Techniques
On the Design and Implementation of a Shared Memory Dispatcher for Partially Clairvoyant Schedulers
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
Expert systems for decision support in EDP auditing
Assessing Application Efficiency and Performance Portability in Single-Source Programming for Heterogeneous Parallel Systems
Lightweight Artificial Intelligence Technology for Health Diagnosis of Agriculture Vehicles: Parallel Evolving Artificial Neural Networks by Genetic Algorithm
Erratum to: Parallelization Strategies for Spatial Agent-Based Models
A Fuzzy Approach for Estimating Quality of Aspect Oriented Systems
Time series model for texture synthesis
A Generic Implementation of Tree Skeletons
Towards Scalable Java HPC with Hybrid and Native Communication Devices in MPJ Express
Sense-controlled flexible robot behavior
Parallel rendering of fractal surfaces
Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring
Mapping Conjugate Gradient Algorithms for Neutron Diffusion Applications onto SIMD, MIMD, and Mixed-Mode Machines
A general packing algorithm for multidimensional resource requirements
Avoiding Conversion and Rearrangement Overhead in SIMD Architectures
Representation of temporal information
Adaptation and Evaluation of the Multisplitting-Newton and Waveform Relaxation Methods Over Distributed Volatile Environments
Comprehensive Evaluation of a New GPU-based Approach to the Shortest Path Problem
Parallel Programming Paradigms and Frameworks in Big Data Era
Scheduling the monitoring of EDP controls in online systems
Parallel Task for Parallelising Object-Oriented Desktop Applications
Empirical Optimization for a Sparse Linear Solver: A Case Study
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++
Have Your Cake and Eat it (Too): A Concurrent Hash Table with Hardware Transactions
Compacting homogeneous text for minimizing storage space
Analysis of Model Parallelism for AI Applications on a 64-core RV64 Server CPU
A Timed-Value Stream Based ESL Timing and Power Estimation and Simulation Framework for Heterogeneous MPSoCs
An empirical performance comparison of some variations of the k-d Tree and BD tree
On partitioning and mapping for hypercube computing
Energy Optimization of PR-LEACH Routing Scheme Using Distance Awareness in Internet of Things Networks
Querying databases with a domain-oriented natural language understanding system
A parallel implementation of Flat Concurrent Prolog
HARE: History-Aware Adaptive Routing Algorithm for Endpoint Congestion in Networks-on-Chip
A Profile-Based AI-Assisted Dynamic Scheduling Approach for Heterogeneous Architectures
Recovery Strategies for Streaming Media Service in a Cluster-Based VOD Server with a Fault Node
Stateless turing machines and fixed points
GPU Accelerated Parallel Algorithm of Sliding-Window Belief Propagation for LDPC Codes
Type theory and concurrency