yusuke1997/dblp-id-title huggingface dataset:
A Sensitivity Analysis Procedure for Quality Function Deployment (QFD)
Memory Leak Visualization using Evolving Software Cities
Use Case Point Methode als Zweitschätzung für Softwareprojekte
Test nichtfunktionaler Anforderungen in der Praxis am Beispiel einer netzzentrierten JEE-Anwendung
Bericht des AK Soft Skills Required
FG Ada: Tagungsbericht der Automotive - Safety & Security 2004 und der Ada Deutschland Tagung 2004
A Canonical Form of Arithmetic and Conditional Expressions
On the Role of Program Comprehension in Embedded Systems
Teamscale - Die Software-Intelligence-Plattform
Deutscher Preis für Software-Qualität 2025
Detection of High-Level Changes in Evolving Java Software
ISTQB und die Standards - Freund oder Feind?
Data Reengineering and Evolution in (industriellen) Legacy Systemen
Wo stehen wir und wo wollen wir hin? Erfüllungsgrade von RE-Praktiken
Acceptance test-driven LLM development
Developing Stop Word Lists for Natural Language Program Analysis
Grußwort der neuen Herausgeberin
Differenzierbare Forschungssoftware
IT Security in Automotive Software Development
Wiedergewinnung von Informationen über Legacy-Systeme in Reengineeringprojekten
Weshalb eine Requirements-Definition erst mit Risiko-Management vollständig ist
Aktionsforschung in der Software-Visualisierung
Variantendokumentation in Lastenheften: State-of-the-Practice
Analyse und Entwicklung einer µ-Controller-basierten Echtzeitsteuerung für Sensorsysteme mit Ada-Raven
Ernst-Erich Doberkat über J. Leslie KEEDY: In Stufen zum Ziel - Zur Einführung von Bachelor- und Master-Graden an deutschen Universitäten
The Raspberry Pi: A Platform for Replicable Performance Benchmarks?
FG TAV: Bericht und Beiträge vom FG-Treffen am 17. und 18. Februar 2004 in Bremen
Structured Model-Based Engineering of Long-living Embedded Systems: The SPES Methodological Building Blocks Framework
Requirements-Management und Testen effektiv integrieren
(Linear) Algebra for Program Analysis Dynamische Programmanalyse
Bericht des GI-Arbeitskreises "Requirements Engineering und Projektmanagement" über das Jahr 2008
Challenges in Secure Software Evolution - The Role of Software Architecture
Ein Werkzeugsystem zur Automatisierung von GUI-Tests
Towards Understanding the Performance of Distributed Database Management Systems in Volatile Environments
Two algorithms for barrier synchronization
Evaluating the Effects of Predicated Execution on Branch Prediction
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design
Increasing the Instruction Fetch Rate via Block-Structured Instruction Set Architectures
Programming recursively defined functions infortran
Data-Driven Thread Execution on Heterogeneous Processors
CSMqGraph: Coarse-Grained and Multi-external-storage Multi-queue I/O Management for Graph Computing
Simple-english for data base communication
Target Detection Based on 3D Multi-Component Model and Inverse Projection Transformation
Automatic parallelization of while -loops using speculative execution
CovertInspector: Identification of Shared Memory Covert Timing Channel in Multi-tenanted Cloud
Eliminating Barrier Synchronization for Compiler-Parallelized Codes on Software DSMs
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation
A simple way to near minimization of microprogram control memory
DMR: A Deterministic MapReduce for Multicore Systems
The M-machine multicomputer
Cut point languages of markov DTOL systems
Parallel Communication-Avoiding Algorithm for Triangular Matrix Inversion on Homogeneous and Heterogeneous Platforms
Transforming generate-and-test programs to execute under committed-choice AND-parallelism
Protocol Customization for Improving MPI Performance on RDMA-Enabled Clusters
Combining Hadoop with MPI to Solve Metagenomics Problems that are both Data- and Compute-intensive
Guest Editor Introduction: Special Issue on Nano/Bio-Inspired Applications and Architectures
Finding a minimal set of base paths of a program
Compiler-assisted Operator Template Library for DNN Accelerators
A multiprocessor using protocol-based programming primitives
Instruction Fusion for Multiscalar and Many-Core Processors
Support for Implementation of Evolutionary Concurrent Systems
Towards Systematic Parallelization of Graph Transformations Over Pregel
Using affine closure to find legal reordering transformations
Runtime Techniques to Enable a Highly-Scalable Global Address Space Model for Petascale Computing
Applications of fuzzy algebra to hazard detection in combinational switching circuits
Parsers for indexed grammars
Enhanced Co-Scheduling: A Software Pipelining Method Using Modulo-Scheduled Pipeline Theory
Guest Editor's Note: High-Level Parallel Programming 2019
Survey of GPU Based Sorting Algorithms
Attempting guards in parallel: A data flow approach to execute generalized guarded commands
Memory Referencing Behavior in Compiler-Parallelized Applications
High-Level and Productive Stream Parallelism for Dedup, Ferret, and Bzip2
Optimizing the Matrix Multiplication Using Strassen and Winograd Algorithms with Limited Recursions on Many-Core
Two-Level Task Scheduling for Irregular Applications on GPU Platform
A portable implementation of SIMPLE
Fault-Tolerant and Unicast Performances of the Data Center Network HSDC
Probabilistic performance analysis for parallel search techniques
On the relative execution times of distributed protocols
Statistical parameters of cluster validity functionals
An attribute grammar approach to compiler optimization of intra-module interprocess communication
Partition Scheduling on Heterogeneous Multicore Processors for Multi-dimensional Loops Applications
Foreword to the special issues
On mapping processes to processors in distributed systems
Editorial: Special Issue on Side-Channel and Fault Analysis of High-Performance Computing Platforms
Compilation Techniques for Multimedia Processors
Code Rejuvenation: From Vector Compiler Intrinsics to Portable Standardized SIMD
Tolerating Radiation-Induced Transient Faults in Modern Processors
Software Speculation on Caching DSMs
Interactive Performance Visualization and Analysis of Execution Traces for Pattern-Based Parallel Programming
MulticoreBSP for C: A High-Performance Library for Shared-Memory Parallel Programming
Real-Time Big Data Stream Processing Using GPU with Spark Over Hadoop Ecosystem
Binding environments for parallel logic programs in non-shared memory multiprocessors
Process synchronization in high-level languages
Simplified odd-even sort using multiple shift-register loops
Performance Evaluation of the Hitachi SR8000 Using SPEC OMP2001 Benchmarks
A Transportable Programming Language (TPL) System. I. overview
Convoider: A Concurrency Bug Avoider Based on Transparent Software Transactional Memory
Architectural Exploration of Heterogeneous Multiprocessor Systems for JPEG
Reducing Communication Overhead in Multi-GPU Hybrid Solver for 2D Laplace's Equation
Block Red-Black Ordering: A New Ordering Strategy for Parallelization of ICCG Method
Inheritance on processes, exemplified on distributed termination detection
Guest Editor Introduction: Special Issue on Multiprocessor-based Embedded Systems
The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang
Computer aided design of database internal schema
Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks
Vshadow: Promoting Physical Servers into Virtualization World
An optimal scheduling procedure for matrix inversion on linear array at a processor level
Memory Tampering Attack on Binary GCD Based Inversion Algorithms
Performance Evaluation of a Multi-Zone Application in Different OpenMP Approaches
Query costs in HB(1) trees versus 2-3 trees
List-based Data Structures for Efficient Management of Advance Reservations
Investigating Autonomic Runtime Management Strategies for SAMR Applications
Optimization of VLIW compatibility systems employing dynamic rescheduling
Communication Optimization for Affine Recurrence Equations Using Broadcast and Locality
Determination of the number of unambiguous bit matrices
A Wait-Free Hash Map
SMA: A Self-Monitored Adaptive Cache Warm-Up Scheme for Microprocessor Simulation
A distributed fair polling scheme applied to OR-parallel logic programming
Programming Heterogeneous Parallel Machines Using Refactoring and Monte-Carlo Tree Search
Exponentiation modulo a polynomial for data security
Empirical Installation of Linear Algebra Shared-Memory Subroutines for Auto-Tuning
Efficient Techniques for Automatic Verification-Oriented Test Set Optimization
Computationally efficient algorithms for a one-time pad scheme
Parallel Evaluation of the Transitive Closure of a Database Relation
Schema manipulation in self-describing and self-documenting data models
Architectural support for variable addressing in Ada - A design approach
Analyzing Conflicts in Hardware-Supported Memory Transactions
Computing largest empty circles with location constraints
An Experimental Ontology Server for an Information Grid Environment
A New Parallel Skeleton for General Accumulative Computations
A Novel Auction-Based Query Pricing Schema
The notion of a probabilistic cellular acceptor
Graphs for Mining-Based Defect Localization in Multithreaded Programs
The Scalability of Disjoint Data Structures on a New Hardware Transactional Memory System
Hardware-Based Profiling: An Effective Technique for Profile-Driven Optimization
VPPE: A Novel Visual Parallel Programming Environment
Introspection-Based Memory Pruning for Live VM Migration
Functional Program Transformation for Parallelisation Using Skeletons
Automatic CPU/GPU Generation of Multi-versioned OpenCL Kernels for C++ Scientific Applications
Efficient Broadcast in Heterogeneous Networks of Workstations Using Two Sub-Networks
Accelerating Time and Depth Seismic Migration by CPU and GPU Cooperation
Virtual time and virtual space
Case studies in asynchronous data parallelism
Parallelism in multigrid methods: How much is too much?
Special Issue On Embedded Processors - Guest Editor Introduction
Graph Programming Interface (GPI): A Linear Algebra Programming Model for Large Scale Graph Computations
Hardware Transactional Memory Exploration in Coherence-Free Many-Core Architectures
A hybrid clustering procedure for concentric and chain-like clusters
Mixing Static and Dynamic Partitioning to Parallelize a Constraint Programming Solver
Some efficient solutions to the affine scheduling problem. I. One-dimensional time
Preface to the Special Issue on Sequential Code Parallelization
A GPU Implementation of OLPCA Method in Hybrid Environment
Dynamic resolution: A runtime technique for the parallelization of modifications to directed acyclic graphs
Data Layout Transformation Exploiting Memory-Level Parallelism in Structured Grid Many-Core Applications
A Task-Aware Fine-Grained Storage Selection Mechanism for In-Memory Big Data Computing Frameworks
SAC - A Functional Array Language for Efficient Multi-threaded Execution
Distributed Jacobi Joint Diagonalization on Clusters of Personal Computers
Integrating Transactions into the Data-Driven Multi-threading Model Using the TFlux Platform
Trace, failure and testing equivalences for communicating processes
Network and Parallel Computing
High-Level Programming of FPGA-Accelerated Systems with Parallel Patterns
BlockGraphChi: Enabling Block Update in Out-of-Core Graph Processing
A Spill Code Minimization Technique-Application in the Metrowerks StarCore C Compiler
Synthesizing MPI Implementations from Functional Data-Parallel Programs
Simplification of fuzzy switching functions
Accelerating Data Analytics on Integrated GPU Platforms via Runtime Specialization
Active Control of Engine Sound Quality in a Passenger Car Using a Virtual Error Microphone
SkePU 3: Portable High-Level Programming of Heterogeneous Systems and HPC Clusters
Heuristically aided set-covering algorithms
Efficient Sequential Consistency Using Conditional Fences
Optimal loop storage allocation for argument-fetching dataflow machines
A natural language understander based on a freely associated learned memory net
An Opportunistic Network Coding Routing for Opportunistic Networks
Parallel solution of recurrences on a tree machine
B-Queue: Efficient and Practical Queuing for Fast Core-to-Core Communication
Scaling Properties of Parallel Applications to Exascale
Using the First-Level Caches as Filters to Reduce the Pollution Caused by Speculative Memory References
An approach to computer-aided document examination
Performance of an OR-parallel logic programming system
Multilevel Data Processing Using Parallel Algorithms for Analyzing Big Data in High-Performance Computing
GLE-Dedup: A Globally-Locally Even Deduplication by Request-Aware Placement for Better Read Performance
Minimal data dependence abstractions for loop transformations: Extended version
Zoom-thresholding technique for boundary determination
Generalized inverse solutions of multiattribute accounting problems
A Comparison of MPI, SHMEM and Cache-Coherent Shared Address Space Programming Models on a Tightly-Coupled Multiprocessors
An NC algorithm for recognizing tree adjoining languages
Self-Adaptive Micro-Batching for Low-Latency GPU-Accelerated Stream Processing
Architectural Support for Fault Tolerance in a Teradevice Dataflow System
An operational semantics for occam
Guest Editorial: High-Level Parallel Programming and the Road to High Performance
Fault-Management in P2P-MPI
Automatic recognition of handwritten characters via feature extraction and multi-level decision
Synchronization Validation for Cross-Thread Dependences in Parallel Programs
The Parallelization of Back Propagation Neural Network in MapReduce and Spark
A parallel algorithm for the 0-1 knapsack problem
Formal timing analysis of distributed systems
MICPAT: Micro-Architecture Independent Characteristics Profiling Analysis Tool for GPU Programs
Techniques for critical path reduction of scalar programs
Message Passing Optimization in Robot Operating System
Auto-tuning Similarity Search Algorithms on Multi-core Architectures
A Simple Algorithm for the Generation of Efficient Loop Structures
2-SLIDS: A two-stage linked storage structure with link-dependent data capabilities
Systolic parsing of context-free languages
Modeling concurrency with partial orders
Nebelung: Execution Environment for Transactional OpenMP
The butterfly barrier
Optimized Unrolling of Nested Loops
Retraction Note: QoS and QoE Enhanced Resource Allocation for Wireless Video Sensor Networks Using Hybrid Optimization Algorithm
Piranha scheduling: Strategies and their implementation
UniTi: Unified Composition and Time for Multi-domain Model-based Design
On optimizing the evaluation of a set of expressions
A Novel Security Model for Cooperative Virtual Networks in the IoT Era
Modulo Path History for the Reduction of Pipeline Overheads in Path-based Neural Branch Predictors
Index Set Splitting
Notes on canonical label languages
Calculation of Distributed-Order Fractional Derivative on Tensor Cores-Enabled GPU
From the guest editors
BPLG: A Tuned Butterfly Processing Library for GPU Architectures
A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness
A Heuristic-adaptive procedure for segmentation of time patterns
OpenMP Parallelization Strategies for a Discontinuous Galerkin Solver
Efficiently Adapting Java Binaries in Limited Memory Contexts
An Optimization-Based Scheme for Efficient Virtual Machine Placement
Computer algebra for the calculus of variations, the maximum principle, and automatic control
Solutions and debugging for data consistency in multiprocessors with noncoherent caches
Extensibility and Composability of a Multi-Stencil Domain Specific Framework
Another view of functional and multivalued dependencies in the relational database model
Memory Renaming: Fast, Early and Accurate Processing of Memory Communication
The Cetus Source-to-Source Compiler Infrastructure: Overview and Evaluation
Capturing and Analyzing the Execution Control Flow of OpenMP Applications
Pipelined search on coarse grained networks
A Transaction-Based Environment for System Modeling and Parallel Simulation
Automatic Task-Based Code Generation for High Performance Domain Specific Embedded Language
Binary input, output, and manipulation extensions of conversational programming with some biological applications
Software Controlled Adaptive Pre-Execution for Data Prefetching
Fast LH∗
ECG waveform feature extraction and its application to automated prognosis
LCS: An Efficient Data Eviction Strategy for Spark
Scheduling speculative work in MUSE and performance results
A structure theorem for the elementary functions and its application to the identity problem
Metacomputing with Mobile Agents
Czip: A Fast Lossless Compression Algorithm for Climate Data
Algorithms for list structure condensation
Scalable Unified Transform Architecture for Advanced Video Coding Embedded Systems
Amdahl's Law Revisited for Single Chip Systems
An implementation base for efficient data structuring
An Empirical Study on Improving the Speed and Generalization of Neural Networks Using a Parallel Circuit Approach
Parallel Programming and Performance Evaluation with the URSA Tool Family
Partial ordering models for concurrency can be defined operationally
A Hybrid Machine Learning Model for Code Optimization
Page Migration with Dynamic Space-Sharing Scheduling Policies: The Case of the SGI O2000
Using Packet Processing Object Modules Interchangeably as Stand-Alone Programs or "Multi-app" Components
Accelerating Massively Distributed Deep Learning Through Efficient Pseudo-Synchronous Update Method
Simulating logic circuits: A multiprocessor application
OREGAMI: Tools for mapping parallel computations to parallel architectures
LL(1) grammars and Sub-LL(1) grammars
Exploiting Value Locality to Exceed the Dataflow Limit
File allocation in a distributed database
On the design of one-level indexed sequential files
Parallel Implementation of a Machine Learning Algorithm on GPU
OR-parallel execution of Prolog on a multi-sequential machine
An assessment of multilisp: Lessons from experience
Cost analysis of recovery block scheme and its implementation issues
Application of fuzzy logic to the detection of static hazards in combinational switching systems
Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution
Hierarchic syntax error repair for LR grammars
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays
Time required for reference count management in retention block-structured languages. Part 1
Scalability and Parallel Execution of Warp Processing: Dynamic Hardware/Software Partitioning
A Case for Chip Multiprocessors Based on the Data-Driven Multithreading Model
Task scheduling for parallel sparse Cholesky factorization
Specification of software pipelining using petri nets
Accelerating Single Iteration Performance of CUDA-Based 3D Reaction-Diffusion Simulations
Aircraft Landing Scheduling Using Embedded Flower Pollination Algorithm
Development of models of optimal complexity using self-organization theory
Adaptive Runtime-Assisted Block Prefetching on Chip-Multiprocessors
Tracing and Profiling Machine Learning Dataflow Applications on GPU
A Novel Artificial Bee Colony Optimization Algorithm with SVM for Bio-inspired Software-Defined Networking
An off-line simulation system for development of real-timefortran programs
Knowledge engineering
Encoding of parallel program schemata by vector addition systems
Adaptive Thread Scheduling in Chip Multiprocessors
Editor's Note: Special Issue on High-level Programming for Heterogeneous Parallel Systems (2019)
GPU-Friendly Parallel Genome Matching with Tiled Access and Reduced State Transition Table
Quadrant Based Neighbor to Sink and Neighbor to Source Routing Protocol and Alternate Node Deployment Strategies for WSN
New Data Structures to Handle Speculative Parallelization at Runtime
Predicting the Soft Error Vulnerability of Parallel Applications Using Machine Learning
Reducing Off-Chip Memory Access via Stream-Conscious Tiling on Multimedia Applications
The Multicluster Architecture: Reducing Processor Cycle Time Through Partitioning
Learning under a VEDIC teacher
Countering Statistical Attacks in Cloud-Based Searchable Encryption
A Parallel Skeleton for Divide-and-conquer Unbalanced and Deep Problems
Power Efficiency for Hardware/Software Partitioning with Time and Area Constraints on MPSoC
Safety in grammatical protection systems
Left-noncounting languages
A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner
QoS and QoE Enhanced Resource Allocation for Wireless Video Sensor Networks Using Hybrid Optimization Algorithm
High Performance RDMA-Based MPI Implementation over InfiniBand
An Algorithm Template for Domain-Based Parallel Irregular Algorithms
A hierarchical approach to instruction-level parallelization
Alloyed Branch History: Combining Global and Local Branch History for Robust Performance
A comparison of iterative and defined classes of search trees
PragFormer: Data-Driven Parallel Source Code Classification with Transformers
Extended parallelism in the Gröbner basis algorithm
A Partitioning-Independent Paradigm for Nested Data Parallelism
Complexity and computability of solutions to linear programming systems
A network of microprocessors to execute reduction languages, part I
Redundancy check technique for designing optimal networks by branch-and-bound method
Parallel Implementations of the Cooperative Particle Swarm Optimization on Many-core and Multi-core Architectures
A Flexible Framework for Communication Evaluation in SoC Design
Online Mesh Refinement for Parallel Atmospheric Models
The RePhrase Extended Pattern Set for Data Intensive Parallel Computing
ADL-Based Specification of Implementation Styles for Functional Simulators
Landslide Multi-attitude Data Measurement of Bedding Rock Slope Model
Automatic source-code parallelization using HICOR objects
Selective Branch Inversion: Confidence Estimation for Branch Predictors
Adapting MCP and HLFET Algorithms to Multiple Simultaneous Scheduling
Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons
Quantitative Evaluation of Register Pressure on Software Pipelined Loops
Experiences Developing the OpenUH Compiler and Runtime Infrastructure
Asynchronous Stream Processing with S-Net
GPU-based Acceleration of System-level Design Tasks
Compilation of Constraint Programs with Noncyclic and Cyclic Dependencies to Procedural Parallel Programs
Coscheduling based on runtime identification of activity working sets
Comparison of Estimating Missing Values in IoT Time Series Data Using Different Interpolation Algorithms
A Communication-Driven Routing Technique for Application-Specific NoCs
PETRA: Performance Evaluation Tool for Modern Parallelizing Compilers
Accurately Selecting Block Size at Runtime in Pipelined Parallel Programs
Efficient Stack Distance Computation for a Class of Priority Replacement Policies
A Real-Time Data Mining Approach for Interaction Analytics Assessment: IoT Based Student Interaction Framework
Evaluating the performance of a SISAL implementation of the abingdon cross image processing benchmark
Erratum to: Optimizing the Matrix Multiplication Using Strassen and Winograd Algorithms with Limited Recursions on Many-Core
OFScheduler: A Dynamic Network Optimizer for MapReduce in Heterogeneous Cluster
Programming Parallelism on FPGAs with Eclat
On the Correctness of Program Execution When Cache Coherence Is Maintained Locally at Data-Sharing Boundaries in Distributed Shared Memory Multiprocessors
Statistical Analysis Based Intrusion Detection System for Ultra-High-Speed Software Defined Network
CHITRA: Cognitive handprinted input-trained recursively analyzing system for recognition of alphanumeric characters
AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns
Recovery requirements of branch prediction storage structures in the presence of mispredicted-path execution
pi-par: A Dependently-Typed Parallel Language with Algorithmic Skeletons
A Channel-Aware Duty Cycle Optimization for Node-to-Node Communications in the Internet of Medical Things