yusuke1997/dblp-id-title huggingface dataset:
The architectural template method: templating architectural knowledge to efficiently conduct quality-of-service analyses
Synchronization under a Commercial Operating System
Performance evaluation for VBR Continuous Media File Server admission control
A Note on Deleting Trailing Blanks
Optimizing Procedure Calls for Delayed Non-Local Execution Protocol
Multiple-length Division Revisited: a Tour of the Minefield
A SIMULA Program to Automate Wire-wrap Schedule Generation
Finding and documenting the specialization interface of an application framework
Integration of control system design and implementation over the internet using the Jini technology
AutoToolVCC: Variable consistency check tool for automotive software projects
A Portable High-level Database Debugger and Software Performance Monitor
A systematic approach toward security in Fog computing: Assets, vulnerabilities, possible countermeasures
Dynamo: design, implementation, and evaluation of cooperative persistent object management in a local area network
Full-mesh VPN performance evaluation for a secure edge-cloud continuum
Modelling a family of systems for crisis management with concern-oriented reuse
Recent Developments in Machine-Independent Job Control Languages
A Set of Strategy-independent Restructuring Algorithms
Prioritizing tests for software fault diagnosis
Supporting the Structured Development of Complex PL/I Software Systems
An Efficient Method for Version Control of a Tree Data Structure
Multi-Net strategy: Accelerating physics-informed neural networks for solving partial differential equations
Reliable self-deployment of distributed cloud applications
Unifying program slicing and concept assignment for higher-level executable source code extraction
Reactive C: An Extension of C to Program Reactive Systems
An Implementation of Phrase Structures in ALGOL
The Long Division Algorithm of Linger, Mills and Witt
A negotiation description language
Polymorphic Programming I. Another Language Designed on Semantic Principles
The Elmwood Multiprocessor Operating System
Aspect-oriented component assembly - a case study in parallel software design
Grammar engineering for multiple front-ends for Python
Root causing, detecting, and fixing flaky tests: State of the art and future roadmap
DAOR: Distinguish Similar Machine Learning APIs Based on Official Documents and Reviews
Quality aspects for component-based systems: A metrics based approach
Developing dynamic-reconfigurable communication protocol stacks using Java
Improving spectral-based fault localization using static analysis
A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns
Adding Compression to a Full-text Retrieval System
Applying a framework for the improvement of software process maturity
Generalized non-Recursive Traversal of Binary Trees
DAVE-A Validation Error Detection and Documentation System for Fortran Programs
A Proxy Approach to e-Mail Security
Designing Software for Children
Developing tools as plug-ins: TOPI 2012 special issue
Specification and Quality Assurance of Timing Constraints in Real-time Systems Development
A Large Scale Network Storage Facility
A multiswarm for composite SaaS placement optimization based on PSO
Privacy-preserving task offloading in mobile edge computing: A deep reinforcement learning approach
Distributed Process Creation within a Shared Data Space Framework
Design and implementation of a video browsing system for the Internet
A Notation Describing Corrections in Files
Orthogonal persistence in nonvolatile memory architectures: A persistent heap design and its implementation for a Java Virtual Machine
Microbenchmarks for determining branch predictor organization
Kibitz-Connecting Multiple Interactive Programs Together
Micro-IDE: A tool platform for generating efficient deployment alternatives based on microservices
Special issue on efficient management of microservice-based systems and applications
Extended Memory Management (XMM): Lessons Learned
On Evaluating Boolean Expressions
Communications in Meglos
Automatic benchmark profiling through advanced workflow-based trace analysis
SwingStates : adding state machines to Java and the Swing toolkit
The Systems Programming Language, Malus
Web-oriented business intelligence solution based on Associative Query Logic
Model variables: cleanly supporting abstraction in design by contract
Programs to Process Trees, Representing Program Structures and Data Structures
Attribute Grammars in Constraint-based Graphics Systems
CDC 6000-Series Register Save/Restore
Design methods for software architectures in the service-oriented computing and cloud paradigms
Bug numbers matter: An empirical study of effort-aware defect prediction using class labels versus bug numbers
Making XML document markup international
Towards a Readiness Model for Usable-Software Development in Organizations
Editorial: Web Technologies
MUSS-The User Interface
The Elaboration Order Problem of Ada
A Microcode Compiler for the Watch-oriented RISC Processor
COMLNK-a File Transport and Job Entry Utility for a Communication Link
Micro- and macro-optimizations of SaaT search
Reliable Software: A Selective Annotated Bibliography
Writing Portable Fortran Programs for Microcomputer
Algorithms for all-pairs Hamming distance based similarity
Compact inverted index storage using general-purpose compression libraries
Ancilla-A Server for the Cambridge Model Distributed System
Advanced control-flow and concurrency in C∀
Experiences building a communication-oriented JavaOS
Improving online learning activity interoperability with Acos server
Management of DevSecOps Process: An Empirical Investigation
Interactive Hypermedia Applications: A Model and its Implementation
Energy and cost-aware virtual machine consolidation in cloud computing
Automated library mapping approach based on cross-platform for mobile development programming languages
Design of a Simple Screen Editor
Incremental inconsistency detection with low memory overhead
Bio-Broker: a tool for integration of biological data sources and data analysis tools
A Deadlock Detection Tool for Concurrent Java Programs
Flexible XML-based configuration of physical simulations
Compiler optimizations for processors with SIMD instructions
LDMBL: An architecture for reducing code duplication in heavyweight binary instrumentations
Modelling of Space-efficient one-pass Translation using Attribute Grammars
Live Text
Partitioned and Prioritized Access to Timesharing Services: the Reserved Availability
A specification language and service-oriented architecture to support distributed data management
Generating transition probabilities to support model-based software testing
CBack: A Simple Tool for Backtrack Programming in C
Interchanging Specifications and Implementations in Evolutionary Prototyping
Extending applications using an advanced approach to DLL injection and API hooking
Map algebra on raster datasets represented by compact data structures
Operating System Support for Sharing Writable Control Store
EPE-Mobile - A framework for early performance estimation of mobile applications
Toward Complete Programming Language Descriptions that are both Formal and Understandable
An Overview of a System for Automatic Generation of File Conversion Programs
Reflections on the virtues of modularity: a case study in linux security modules
The Flat File System FFG: A Database System Consisting of Primitives
A component-based middleware platform for reconfigurable service-oriented architectures
Establishing structural testing criteria for Java bytecode
Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach
Efficient plagiarism detection for large code repositories
Hierarchical Dialogue Structures in Interactive Computer Systems
MOUSE4: An Improved Implementation of the RATFOR Preprocessor
Microcomputers as Protective Interfaces in Computing Networks
Modular Programming with Pascal
The Implementation and Use of Toolpack/1 on a Graphics Workstation
An Operator Precedence Parser for Standard Prolog Text
The Spider Environment
Implementation of Predicate-based Protection in MULTISAFE
Construction of robust class hierarchies
A Killer Adversary for Quicksort
High-error approximate dictionary search using estimate hash comparisons
Static virtualization of C source code
Simulating a Small Machine for Teaching Purposes
Ada, as Seen from Simula
Using independence to enable parallelism on multicore computers
Improving scalability of event-driven distributed objects architectures
Three empirical studies of a software reuse reference model
Six PL/I Compilers
Android Source Code Smells: A Systematic Literature Review
E2R-F2N: Energy-efficient retailing using a femtolet-based fog network
A Formal Introduction to the Compilation of Java
Introspective sorting and selection revisited
Number parsing at a gigabyte per second
Management of Replicated Files in a UNIX Environments
ASRMG: Business Topic Clustering-Based Architecture Smell Refactoring for Microservices Granularity
A self-learning fuzzy approach for proactive resource provisioning in cloud environment
RAINBOW - A Multi-Purpose CAD System
Evaluation of design pattern alternatives in Java
Keywords-driven web APIs group recommendation for automatic app service creation process
VIFOR: A Tool for Software Maintenance
Classifying product families using platform coverage and variation mechanisms
An Experiment in Parallel Program Design
indx and findphrases, A System for Generating Indexes for Ditroll Documents
Optimizing computational resource management for the scientific gateways ecosystems based on the service-oriented paradigm
Comparing and evaluating computer graphics and visualization software
LSRAM: A Lightweight Autoscaling and SLO Resource Allocation Framework for Microservices Based on Gradient Descent
Language design and analyzability: a retrospective
An MHP framework to provide intelligent personalized recommendations about digital TV contents
Practical and secure multifactor authentication protocol for autonomous vehicles in 5G
Optimized k -shortest-paths Algorithm for Facility Restoration
A Study of a C Function Inliner
Robust and efficient memory management in Apache AsterixDB
Comparison of Different Disk Searching Methods
Featured Cover
GloudSim: Google trace based cloud simulator with virtual machines
Speculative optimizations for interpreting environments
Chitra Venkatramani, Michael Vernick: Design and Implementation of the Stony Brook Video Server
Optimizing MapReduce for energy efficiency
Cdt: A Container Data Type Library
The PULSE Distributed File System
Algorithm Simplification Through Object Orientation
Architecture of a time-sensitive provisioning system for cloud-native software
An efficient scheme for secure feature location using data fusion and data mining in internet of things environment
Fault masking as a service
A lightweight virtualization model to enable edge computing in deeply embedded systems
Implementation of visual languages using pattern-based specifications
A threat model-based approach to security testing
How to Make Your Own Simulation System
Workload management and server speed setting for cost-performance ratio optimization
BOX: Browsing objects in XML
APISonar: Mining API usage examples
A Sentence Generator for a Compiler for PT, a Pascal Subset
Supporting the development of CAM/DAOP applications: an integrated development process
Software Malpractice-A Distasteful experience
A portable AWT/Swing architecture for Java game development
An Evaluation of Throw-away Compiling
Formatting Texts Accessed Randomly
The DeltaUp constraint solver: minimizing the number of method selections in DeltaBlue
S 4 W: a problem-solving environment for wireless system design
Reproducibility as a service
Pythia and Pythia/WK: Tools for the Performance Analysis of Mass Storage Systems
Coordinating distributed components on the web: an integrated development environment
Lock-and-key Strategies for Handling Undefined Variables
Abstract Execution: A Technique for Efficiently Tracing Programs
Writing a Roll-out-Roll-in Facility for Small Machines
A secure fog-based platform for SCADA-based IoT critical infrastructure
Towards a Conversational Language-Sensitive System for Pascal
A novel instance-based method for cross-project just-in-time defect prediction
An Assessment of Concurrent Pascal
An approach to optimization of fault tolerant architectures using HiP-HOPS
From zero to fog: Efficient engineering of fog-based Internet of Things applications
Effectiveness of multiple pageable page sizes for commercial applications
Deploying IoT services on the fog infrastructure: A graph partitioning-based approach
CDTC: Automatically establishing the trace links between class diagrams in design phase and source code
Using SR for Discrete Event Simulation: A Study in Concurrent Programming
Designing Structured Cobol Programs
Using Stack Overflow content to assist in code review
A Framework for Execution Monitoring in Icon
Managing Multi-Party Documents in a Network Computing Environment
A multiple layer model to compare RNA secondary structures
Evaluating the benefits of empowering model-driven development with a machine learning classifier
The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces
Editorial: Mobile agent systems
A Java Extension with Support for Dimensions
ContainerCloudSim: An environment for modeling and simulation of containers in cloud data centers
Java threads and SugarCubes
Design Considerations for Array Processing Languages
Code Generation Using an Orthogonal Model
Wirebrush4SPAM: a novel framework for improving efficiency on spam filtering services
Coroutine Behaviour and Implementation
An Object-oriented Approach to Application Generation
Autonomic resource provisioning for multilayer cloud applications with K-nearest neighbor resource scaling and priority-based resource allocation
A Methodology for Constructing Predicate Transition Net Specifications
Dynamic reconfiguration of cloud application architectures
Compiling Lazy Functional Programs to Java Bytecode
Taming the PL/I Syntax
Strategies and software support for the management of hardware performance counters
A policy-centric approach to protecting OS kernel from vulnerable LKMs
Optimization Techniques for Parallel Processing
Providing Multi-Users Access to Distributed Array Processors
Moving the business logic tier to the client. Cost-effective distributed computing for the WWW
Identifying composite crosscutting concerns through semi-supervised learning
A large-scale empirical study of low-level function use in Ethereum smart contracts and automated replacement
TraceAnalyzer: a system for processing performance traces
An architecture for adaptive intrusion-tolerant applications
JUMBO-A Demonstration Program to Illustrate the Use of BCPL in a Real-time Graphics Application Requiring Scaled Arithmetic
Elastic Windows: Design, Implementation, and Evaluation of Multiwindow Operations
Branded interface toolkits
AQuoSA - adaptive quality of service architecture
Documentation and the Management of a Software Project - A Case Study
Thread- and Process-Based Implementations of the pSystem Parallel Programming Environment
A Comparison of Two Paradigms for Distributed Shared Memory
Object-oriented design patterns for debugging heterogeneous languages and virtual machines
Static Analysis of Exception Handling in Ada
A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures
PLaTHEA: a marker-less people localization and tracking system for home automation
Profiling Techniques for Communication in Fine-Grained Parallel Languages
A novel monitoring mechanism by event trigger for Hadoop system performance analysis
Experience with Fagan's Inspection Method
Compilation of the Pascal Case Statement
Toward scalable cloud data center simulation using high-level architecture
Bid evaluation in combinatorial auctions: optimization and learning
Versions in Ode: Implementation and Experiences
Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives
Feature-based high-availability mechanism for quantile tasks in real-time data stream processing
A Storage Mapping Technique for the Implementation of Protective Domains
CADiZ: An Architecture for Z Tools and its Implementation
Torii: An aspect-based sentiment analysis system that can mine conditions
Design of frameworks for self-adaptive service-oriented applications: A systematic analysis
Clock synchronization for distributed media applications
Practical Considerations of Global and Local Variables
Single-scan: a fast star-join query processing algorithm
Ontology population for open-source intelligence: A GATE-based solution
Code Compaction for Parallel Architectures
Editorial: Enterprise frameworks
Hypertext Development Using a Model-based Approach
SaaS software performance issue identification using HMRF-MAP framework
Displaying Trace Files
On the (un-)adoption of JavaScript front-end frameworks
The Design of the Internal Structure of the ICL GEORGE 3 Operating System
Editorial: Aliasing in object-oriented systems
Maintaining Cross References in Manuscripts
Reorganization in a Simple Database System
An Interactive Data Visualization System
UNISEX: A UNIX-based Symbolic EXecutor for Pascal
PSAMS: a communication protocol specification assessment and measurement system
Microservice reference architecture design: A multi-case study
On a Formal Definition and Application of Dimensional Design
A cloud-edge service offloading method for the metaverse in smart manufacturing
Lexical Analysis of Inflected Arabic Words using Exhaustive Search of an Augmented Transition Network
DCAV: A software system to evaluate next-generation cloud data center availability through a friendly graphical interface
Identifying evolution patterns: a metrics-based approach for external library reuse
SUPRA-RPC: SUbprogram PaRAmeters in Remote Procedure Calls
Implementing SASL using Categorical Multi-combinators
Evaluation of the basic remote backup and replication methods for high availability databases
Slisp: A Flexible Software Toolkit for Hybrid, Embedded and Distributed Applications
SAHAYO: A Test Bed Evaluating Dynamic Load-sharing Policies
Methods for Saving and Restoring Register Values across Function Calls
Real-time multicast tree visualization and monitoring
Efficient Storage for Amorphous Data
Privacy-preserving targeted mobile advertising: requirements, design and a prototype implementation
A Software Tool for Top-down Programming
Static analysis of Android Auto infotainment and on-board diagnostics II apps
Empowering software startups with agile methods and practices: A design science research
PHOEBE: an automation framework for the effective usage of diagnosis tools in the performance testing of clustered systems
A transformer-based approach for improving app review response generation
Security in the Ajanta mobile agent system
Model-driven engineering for simulation models interoperability: A case study in space industry
End-user programming of reconfigurable systems
PBASIC-A Verifier for BASIC
Message Transport on the Cambridge Ring-A Simulation study
Synchronization of Nested Atomic Actions
The Distributed Programming Language SR-Mechanisms, Design and Implementation
Portable Real-Time Software for 8-bit Microprocessors
A VLSI Interactive Layout Editor (VILRE)
Contention management in federated virtualized distributed systems: implementation and evaluation
Interoperable domain-specific languages families for code generation
Generating high quality printouts from content management systems: a cost-effective approach
Self-compiling Compilers: An Appraisal of their Implementation and Portability
Blockchain and explainable AI for enhanced decision making in cyber threat detection
A generic static analyzer for multithreaded Java programs
A comprehensive survey on nature-inspired algorithms and their applications in edge computing: Challenges and future directions
An Overview of Ada
A Web-based distributed system for hurricane occurrence projection
The MyProxy online credential repository
Synthesizing secure software development activities for linear and agile lifecycle models
A system for extracting structural information from Social Network accounts
AWK as Glue for Programs
TPDL: Extended Temporal Profile Description Language
IUP/LED: A Portable User Interface Development Tool
Non-functional information transmission patterns for distributed real-time Java
( MC 2 ) 2 : criteria, requirements and a software prototype for Cloud infrastructure decisions
Full autonomic repair for distributed applications
Speech-dependent data augmentation for own voice reconstruction with hearable microphones in noisy environments
Improving low-resource Tibetan end-to-end ASR by multilingual and multilevel unit modeling
Analytical Features: A Knowledge-Based Approach to Audio Feature Generation
Environmental Sound Synthesis, Processing, and Retrieval
A review of infant cry analysis and classification
Semi-supervised feature selection for audio classification based on constraint compensated Laplacian score
Expressed music mood classification compared with valence and arousal ratings
A signal subspace approach to spatio-temporal prediction for multichannel speech enhancement
A novel voice conversion approach using admissible wavelet packet decomposition
From raw audio to a seamless mix: creating an automated DJ system for Drum and Bass
Audio-Visual Speech Recognition Using Lip Information Extracted from Side-Face Images
Trainable windows for SincNet architecture
Dual-branch attention module-based network with parameter sharing for joint sound event detection and localization
System for fast lexical and phonetic spoken term detection in a Czech cultural heritage archive
Time-domain adaptive attention network for single-channel speech separation
Improving speech recognition systems for the morphologically complex Malayalam language using subword tokens for language modeling
Predominant audio source separation in polyphonic music
Dance2Music-Diffusion: leveraging latent diffusion models for music generation from dance videos
Automatic Music Boundary Detection Using Short Segmental Acoustic Similarity in a Music Piece
A Low Delay and Fast Converging Improved Proportionate Algorithm for Sparse System Identification
A speech enhancement algorithm based on a non-negative hidden Markov model and Kullback-Leibler divergence
Automatic Query Generation and Query Relevance Measurement for Unsupervised Language Model Adaptation of Speech Recognition
Experiments on Automatic Recognition of Nonnative Arabic Speech
Sparse coding of the modulation spectrum for noise-robust automatic speech recognition
An overview of machine learning and other data-based methods for spatial audio capture, processing, and reproduction
Learning domain-heterogeneous speaker recognition systems with personalized continual federated learning
PlugSonic: a web- and mobile-based platform for dynamic and navigable binaural audio
Analysis of Salient Feature Jitter in the Cochlea for Objective Prediction of Temporally Localized Distortion in Synthesized Speech
Semi-fragile digital speech watermarking for online speaker recognition
ALBAYZIN Query-by-example Spoken Term Detection 2016 evaluation
On the Utility of Syllable-Based Acoustic Models for Pronunciation Variation Modelling
Reassigned spectrum-based feature extraction for GMM-based automatic chord recognition
Basis approach to estimate the instantaneous frequencies in multicomponent AM-FM signals
Acoustic DOA estimation using space alternating sparse Bayesian learning
Music expression with a robot manipulator used as a bidirectional tangible interface
Pitch- and Formant-Based Order Adaptation of the Fractional Fourier Transform and Its Application to Speech Recognition
A robust polynomial regression-based voice activity detector for speaker verification
Speech enhancement based on Bayesian decision and spectral amplitude estimation
ICRCycleGAN-VC: a robust one-to-one voice conversion method based on CycleGAN and inception-ResNet blocks