yusuke1997/dblp-id-title huggingface dataset:
Tools and strategies for debugging distributed stream processing applications
How to Improve Computer Advisory Services
The University of Warwick Modular One Operating System
Composing annotations without regret? Practical experiences using FeatureC
A Software Development System Based on a Macroprocessor
MultiLex, A Pipelined Lexical Analyzer
Uniform Syntax for Type Expressions and Declarators
Simulating the DYNIX Operating System Parallel Programming Interface on a UNIX System
A Processing Algorithm for Master-Detail Records in a Relational Database
Object-oriented Implementation Issues in an Experimental CAD System
Lossless asymmetric single instruction multiple data codec
Model checking aircraft controller software: a case study
SDFunc: Modular spreadsheet design with sheet-defined functions in Microsoft Excel
DMT-a Demonstration Tool
Maintaining Consistency in a Replicated Software Archive
Configurable three-way model merging
Lessons learned from programmers' experiences with one-way constraints
Introduction to the Special Issue on Software Engineering in Practice
Adopting microservices and DevOps in the cyber-physical systems domain: A rapid review and case study
On the Usability of Reactive Programming APIs: A Mixed Evaluation
An approach for the systematic development of domain-specific languages
Use of Modelica language to simulate electrified railway lines and trains
Server consolidation techniques in virtualized data centers of cloud environments: A systematic literature review
Microcomputer Comparison
Modelling, validating, and ranking of secure service compositions
An Algorithm for Displaying a Class of Space-filling Curves
An empirical comparison of commercial and open-source web vulnerability scanners
Hipec: A System for Application Customized Virtual-Memory Caching Management
HyperTree: A Structural Approach to Web Authoring
Inline wireless mobile sensors and fog nodes placement for leakage detection in water distribution systems
Tuning a Parallel Database Algorithm on a Shared-memory Multiprocessor
Schedulability analysis and efficient scheduling of rate constrained messages in the TTEthernet protocol
An enhanced thread synchronization mechanism for Java
Exceptions in remote procedure calls using C++ template metaprogramming
Experiences in Database System Implementation Using a Persistent Programming Language
Experiences of Parallelising Finite-element Problems in a Functional Style
A novel watermarking method for software protection in the cloud
RGraph: Asynchronous graph processing based on asymmetry of remote direct memory access
Efficient Timestamp Input and Output
Introduction to Enhanced C (EC)
Experiences implementing efficient Java thread serialization, mobility and persistence
Software Design Representation: Analysis and Improvement
PolyRec Gesture Design Tool: A tool for fast prototyping of gesture-based mobile applications
Worst-case execution time analysis for a Java processor
Design of a MUMPS Interpreter
Function delivery network: Extending serverless computing for heterogeneous platforms
Eternal - a component-based framework for transparent fault-tolerant CORBA
Miniscules and Majuscules
The Analysis of the Bus Chaining Phenomenon in Traffic Congestion
Design, implementation, and performance analysis of PKI certificate repository using LDAP Component Matching
Dynamically Structured Data
Ontology reuse for multiagent system development through pattern classification
Developing an object-oriented framework for content-based image retrieval
An Implementation of Structured Multiprogramming
Integrating FMI and ML/AI models on the open-source digital twin framework OpenTwins
SlowSort: An Enhanced Sorting Algorithm for Large-Scale Integer Datasets
A note on software tools and techniques for monitoring and prediction of cloud services
Coping with aliasing in the GNU Eiffel Compiler implementation
Design of a Safe String Library for C
Chicon - A Chinese Text Manipulation Language
The New Mexico State University Ring-Star System: A Distributed UNIX Environment
Dissimilarity-based test case prioritization through data fusion
Functions as a service for distributed deep neural network inference over the cloud-to-things continuum
Data collection and restoration for heterogeneous process migration
Heuristics and metaheuristics for dynamic management of computing and cooling energy in cloud data centers
An Implementation of Monitors
A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation
Message filters for hardening the Linux kernel
Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience
The Text Editor sam
Guest Editorial: Special issue on blockchain and decentralized applications
Coloring, a versatile technique for implementing object-oriented languages
Adding Fault-tolerant Transaction Processing to LINDA
Implementing scripted conversations by means of smart assistants
Index Preparation and Processing
Process Administration in a High Level Language
Customized scheduling for shared bus with deadlines
On-line Software Version Change Using State Transfer Between Processes
Using Formalized Temporal Message-flwo Diagrams
A simple and fast DNA compressor
Towards a computerized Arabic Braille environment
Jgroup/ARM: a distributed object group platform with autonomous replication management
A Structure for Efficient Update, Incremental Redisplay and Undo in Graphical Editors
VulGraB: Graph-embedding-based code vulnerability detection with bi-directional gated graph neural network
Vertical Migration of Numerical Routines in Software and Microcode
Fault-Tolerant RT-Mach (FT-RT-Mach) and an Application to Real-Time Train Control
Scheduling model-to-model transformations with continuations
Application of a Size Measurement Standard for Data Warehouse Projects
A framework for fuzzy knowledge based control
Pretty-Printing of Trees
MCL: a MobiGATE coordination language for highly adaptive and reconfigurable mobile middleware
Tree Matching and Simplification
SISS-CSA: Secret image sharing scheme with ciphertext-based share authentication for malicious model
A C++ Simulator Generator from Graphical Specifications
A Parallel Database-driven Protocol Verification System Prototype
A study of e-mail patterns
An Experiment with Reactive Data-Flow Tasking in Active Robot Vision
Secure data dissemination techniques for IoT applications: Research challenges and opportunities
Semantic eSystems: Engineering methods, techniques, and tools
A Unix Tool for Managing Reusable Software Components
Locating faulty code by multiple points slicing
A relational-XML data warehouse for data aggregation with SQL and XQuery
Satisfying quality requirements in the design of a partition-based, distributed stock trading system
Python meets JIT compilers: A simple implementation and a comparative evaluation
Deep learning and SVM-based emotion recognition from Chinese speech for smart affective services
Some Comments on the Portability of a Large ALGOL Program - The Implementation of SID on KDF9
Introducing Graphics Capabilities to Several High-level Languages
Simple Generational Garbage Collection and Fast Allocation
Application of security reference architecture to Big Data ecosystems in an industrial scenario
A transformation-based approach to testing concurrent programs using UML activity diagrams
Threat intelligence platform for the energy sector
Complex Performance Measurements with NICE (Notation for Interval Combinations and Events)
A software architecture for virtualized educational multimedia games in IPTV environments
An integration experience of a software architecture and a monitoring infrastructure to deploy applications with non-functional requirements in computing grids
Visualizing Program Dependencies: An Experimental Study
Developing an Eclipse editor for MARC records using Xtext
Applications of Finite Automata Representing Large Vocabularies
Scenarios-based testing of systems with distributed ports
Experiences in implementing a distributed object platform for multimedia applications
Kwyjibo: automatic domain name generation
A powerful software-defined cyber-physical system to expand CPS adoption
Practical Experience with OS/2 Installable File Systems
The Community File Station
Global Variables Versus Local Variables
LMA: A generic and efficient implementation of the Levenberg-Marquardt Algorithm
Comparing techniques for authorship attribution of source code
Memory Optimization in Function and Set Manipulation with BDDs
TinyVM: an energy-efficient execution infrastructure for sensor networks
HSCR: Hierarchical structured cluster routing protocol for load balanced wireless sensor networks
Ajalon: Simplifying the authoring of wearable cognitive assistants
An Implementation of the Object-oriented Concurrent Programming Language SINA
A Simple Nucleus Written in Modula-2: A Case Study
Buffer overflow and format string overflow vulnerabilities
KIND-DAMA: A modular middleware for Kinect-like device data management
Abmash: mashing up legacy Web applications by automated imitation of human actions
A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues
Improving the performance and functionality of Mondrian open-source OLAP systems
Analysis and Design for a Standard Transport Protocol
A Software Trace Facility for OS/MVT
Recognising our distinguished referees
Software Development and Integration in a Computer Supported Cooperative Work Environment
Memory-aware kernel mechanism and policies for improving internode load balancing on NUMA systems
Job Scheduling in Multiprogrammed Computer Systems
The Production of Special Function Routines for a Multi-Machine Library
Writing Fast X Servers for Dumb Color Frame Buffers
Unearthing open source decision-making processes: A case study of python enhancement proposals
Journey from cloud of things to fog of things: Survey, new trends, and research directions
The Cloud Adoption Toolkit: supporting cloud adoption decisions in the enterprise
The accuracy of dependency analysis in static architecture compliance checking
Feature-Oriented Engineering of PBX Software for Adaptability and Reuseability
NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates
Stabdump-A Dump Interpreter Program to Assist Debugging
Comparing keyword search to semantic search: a case study in solving crossword puzzles using the Google TM API
Persistence in the E Language: Issues and Implementation
Simple Register Spilling in a Retargetable Compiler
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem
Ceres-Net: A Low-cost Computer Network
Software Tools for First-Order Logic
Threaded Code for Laboratory Computers
OIntEd: online ontology instance editor enabling a new approach to ontology development
TridentFS: a hybrid file system for non-volatile RAM, flash memory and magnetic disk
Detecting and visualizing online dispute dynamics in replying comments
Making C++ Objects Persistent: the Hidden Pointers
Source Code Analysis for Performance Enhancement of the Mean Shift Algorithm
Experience with a Unix System-Administration Tool
Developing IntegrityCatalog, a software system for managing integrity-related metadata in digital repositories
Remote Rendezvous
Design and implementation of a multiagent stock trading system
An Experiment with the Interchangeability of Processes and Monitors
Dragonmail: An Exercise in Distributed Computing
A Group Process for Defining Local Software Quality: Field Applications and Validation Experiment
Implementing heap-object behavior prediction efficiently and effectively
Adding Graphics to a High-level Programming Language
Automating Data Conversion for Heterogeneous Distributed Shared Memory
A Modula Based Language Supporting Hierarchical Development and Verification
Metropolitan intelligent surveillance systems for urban areas by harnessing IoT and edge computing paradigms
Value Numbering
Tools and Techniques for Teaching Microprocessor Software Development
A Symbolic System for Computer-aided Development of Surface Interpolants
On the implementation of bytecode compression for interpreted languages
An approach to forecast impact of Covid-19 using supervised machine learning model
SCENARIOS: An Event Management Package
iQuantum: A toolkit for modeling and simulation of quantum computing environments
STRESS: a Simulator for Hard Real-time Systems
Space-efficient data structures for the inference of subsumption and disjointness relations
Distributing Concurrent Ada Programs by Source Translation
Vectorized and performance-portable quicksort
Microservice-driven privacy-aware cross-platform social relationship prediction based on sequential information
DataMill: a distributed heterogeneous infrastructure for robust experimentation
FLight: A lightweight federated learning framework in edge and fog computing
Lexical state analyzer for JavaCC grammars
BCOOPL: Basic concurrent object-oriented programming language
SPE-The Early Years
Compression Techniques for Chinese Text
Exploring reliable edge-cloud computing for service latency optimization in sustainable cyber-physical systems
Use of a Software Monitor in the Validation of an Analytic Computer System Model
Applying agile methods to aircraft embedded software: an experimental analysis
Implementing the Link-Cut Tree
On the Realization of Extended Control Structures in FORTRAN
An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars
International workshop on smalltalk technologies 2011 special issue
Side-effects in Automatic File Updating
MAPLIB-A Data Bank of FORTRAN Functions describing Material Properties
A review on the computation offloading approaches in mobile edge computing: A game-theoretic perspective
The Syntax of Interactive Command Languages
A flexible and easy to use molecular biology workbench efficiently developed in Tcl/Tk
Generating Reversible Programs
Graph Plotting in ALGOL 68-R
Bibliographic Manipulation
LLAMA: The low-level abstraction for memory access
Is superoptimization viable for VM instruction sets?
A component-based framework for radio-astronomical imaging software systems
An efficient and flexible toolkit for composing customized method dispatchers
A deep recurrent Q network towards self-adapting distributed microservice architecture
A Machine-independent Debugger
A self-applicable online partial evaluator for recursive flowchart languages
An advanced certificate validation service and architecture based on XKMS
A Specification Schema for Indenting Programs
Application of Deadlock Risk Evaluation of Architectural Models
A wireless sensor network framework based on light databases
Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine
A model-driven process for engineering a toolset for a formal method
Notes on the case Statement
A component model for hard real-time systems: CCM with ARINC-653
Fuel: a fast general purpose object graph serializer
A Metamodel-Based Approach for Describing Quantum Gates
The Distributed Ada Run-time System DARTS
Compact Coding of Syntax Tables
Implementation of a Management Game
Dbxtool: A Window-Based Symbolic Debugger for Sun Workstations
Virtual-machine-based heterogeneous checkpointing
The MISSTRESS User's Book
Revisiting bounded context block-sorting transformations
Searching long patterns with BNDM
Java 3D, 3D graphical environments and behaviour
A Graph Theoretical Method for the Management and Synchronization of Large Software Updates
A Case for make
Towards evolvable software architectures based on systems theoretic stability
Introspective Sorting and Selection Algorithms
Programming the data path in network processor-based routers
The evolution of the Arjuna transaction processing system
On Squeezing the UNIX Quart into a Data General Eclipse Pint Pot
GraphSET, a tool for simultaneous graph drawing
A General-Purpose Software Measurement Tool
A Methodology and Notation for Compiler Front End Design
A Programmer-friendly LL(1) Parser Generator
Synthetic-perturbation Techniques for Screening Shared Memory Programs
Type-Safe Casting
Software abstractions for mobile RFID-enabled applications
Approximate String Matching using Within-word Parallelism
The STAR Fault Manager for Distributed Operating Environments. Design, Implementation and Performance
A Non-general-purpose Operating System
A tool for the semantic annotation, validation and optimization of business process models
Selective friends in C++
Smart Enumeration in C++: Virtual Construction, Message Dispatching and Tables
Does APL Really Need Run-time Parsing
Efficient implementation of multiprocessor scheduling algorithms on a simulation testbed
Declarative generation of synthetic XML data
PPM compression without escapes
An incomplex algorithm for fast suffix array construction
Implementing design patterns in Object Teams
A Debugger for a Graphical Workstation
The Software Tools Project
TRIPOS-A Portable Operating System for Mini-computers
Optimising unicode regular expression evaluation with previews
SmartHerd management: A microservices-based fog computing-assisted IoT platform towards data-driven smart dairy farming
The Design and Implementation of CODD
Large-scale characterization of Java streams
Modula: a Language for Modular Multiprogramming
An assistance tool employing a systematic methodology for GCC retargeting
The Little META Translator Writing System
JavAdaptor - Flexible runtime updates of Java applications
Horizontal communication: a style to compose control software
A High Level Language Based System for Cross-Assembler Definition
A High Level Plotting System
Programming Abstract Data Types, Iterators and Generic Modules in C
Practical rearrangement methods for dynamic double-array dictionaries
Modeling and verification of Web services composition based on model transformation
Reducing Object Storage Requirements in a Multi-user Environment
A Simple Technique for Controlled Communication Among Separately Compiled Modules
Pitfalls of Conservative Garbage Collection
The Dynamic Domain Reduction Procedure for Test Data Generation
On the Generation and Use of Space-filling Curves
P#: a concurrent Prolog for the .NET framework
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process
Longest-match String Searching for Ziv-Lempel Compression
Definition of REST web services with JSON schema
A Mainframe Implementation of Concurrent Pascal
Redesigning the BSD Timer Facilities
ISDMS-A Scientific Data Management System
Using Ada for Discrete Event Simulation
Does APL Really Need Run-time Checking?
Object Identification in the Lego Kernel
A survey of self-healing systems frameworks
Post BWT stages of the Burrows-Wheeler compression algorithm
A survey on approaches to gridification
Empirical study of the dynamic behavior of JavaScript objects
Equivalent mutant identification using hybrid wavelet convolutional rain optimization
A Parallel Implementation of the Douglas-Peucker Line Simplification
Comparison of Syntactic Error Handling in LR Parsers
A security framework for reflective Java applications
Compiler-assisted dynamic scratch-pad memory management with space overlapping for embedded systems
The evaluation of two software watermarking algorithms
Energy consumption analysis of data stream processing: a benchmarking approach
Drawing non-layered tidy trees in linear time
Book Review: UML Toolkit by Hans-Erik Eriksson and Magnus Penker
Memory Exclusion: Optimizing the Performance of Checkpointing Systems
Profiling a Large Program
Modified Petri Nets as Flowcharts for Recursive Program
A novel model-driven approach for seamless integration
VCluster: a thread-based Java middleware for SMP and heterogeneous clusters with thread migration support
A comprehensive survey of UPPAAL-assisted formal modeling and verification
Independent Testing of Compiler Phases Using a Test Case Generator
Executable Semantic Descriptions
The DigiHome Service-Oriented Platform
The Active Deallocation of Objects in Object-oriented Systems
How the adoption of feature toggles correlates with branch merges and defects in open-source projects?
Combining MASCOT with Modula-2 to aid the Engineering of Real-time Systems
Treatment of Tab Characters by a Compiler
A Comparison of Approximate String Matching Algorithms
Architecting cloud-enabled systems: a systematic survey of challenges and solutions
An energy efficient and low overhead fault mitigation technique for internet of thing edge devices reliable on-chip communication
SELFNET 5G mobile edge computing infrastructure: Design and prototyping
Transporting TEX into the HITAC VOS3 Environment
PRESTO: A System for Object-oriented Parallel Programming
A Low-Cost Implementation of Coroutines for C
Resolving cyclic dependencies between packages with enriched dependency structural matrix
On a Loose Communication Between Dissimilar CDC6000 Operating Systems
Tool integration for flexible simulation of distributed algorithms
Impacts, causes, and solutions of architectural smells in microservices: An industrial investigation
A semantic and social-based collaborative recommendation of friends in social networks
Exploring the use of blockchain in resource-constrained fog computing environments
Interpretation and Code Generation Based on Intermediate Languages
Development of an Advanced Satellite System
Impact of competence on agile effort estimation in academic setting
A Machine-Independent Debugger - Revisited
Reusability Through Fine-grain Inheritance
A Costing Model for Software Conversions
Regulation Management and Logic Programming
A framework for adaptive execution in grids
Burrows-Wheeler post-transformation with effective clustering and interpolative coding
Building KidPad: an application for children's collaborative storytelling
An instruction for direct interpretation of LZ77-compressed programs
Bringing semantics to multicloud service compositions
Software product lines: a case study
Ariadne: Architecture of a Portable Threads System Supporting Thread Migration
A comparison of BWT approaches to string pattern matching
A Multiprogramming System for a Microcomputer
The effectiveness of producer-side machine-independent optimizations for mobile code
An Electronic Form System-An Experience in Prototyping
Multiplication by Integer Constants
Developing end-user tailorable Web applications using a compositional framework
Modelling the Software Development Process Using an Expert Simulation System Having Fuzzy Logic
DeepPlayer: An open-source SignalPlant plugin for deep learning inference
Explaining Microservices' Cascading Failures From Their Logs
Pipeline provenance for cloud-based big data analytics
Generation of Quantum Software From Truth Tables
The Construction of a Portable Editor
LCCD, A Language for Chinese Character Design
An Algorithm for The Selection Problem
Using Conditional Execution to Exploit Instruction Level Concurrency
Location-aware scalable service composition
The X Window System
Hierarchical Monitors
CudaFilters: A SignalPlant library for GPU-accelerated FFT and FIR filtering
Bytecode verification on Java smart cards
A service graph based extraction of microservices from monolith services of service-oriented architecture
A novel acceleration method for molecular dynamics of crystal silicon on GPUs using OpenACC
Spectral-based fault localization using hyperbolic function
Generic windowing support for extensible stream processing systems
A domain-specific modeling approach to realizing user-centric communication
Some technical and non-technical issues in implementing a knowledge server
Syntax-directed Correction of Syntax Errors
Distributed OSGi built over message-oriented middleware
Managing more physical with less virtual
Swap compression: resurrecting old ideas
An effective monitoring framework and user interface design
Handling Asynchronous Interrupts in a PL/1-like Language
A Debugger for Concurrent Programs
The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms
Medical social network content analysis for medical image retrieval purpose
MyNeutronDAQ: A general program for data acquisition of neutron scattering spectrometers at China Mianyang Research Reactor and on-line data-analysis
The ECLIPSE User Interface