yusuke1997/dblp-id-title huggingface dataset:
SafeMan: A unified framework to manage cybersecurity and safety in manufacturing industry
Design and Implementation of Data Abstraction Definition Facility
Administrators and Multiprocessor Rendezvous Mechanisms
Index compression using 64-bit words
Kulla-RIV: A composing model with integrity verification for efficient and reliable data processing services
Fault-tolerant timestamp-based two-phase commit protocol for RESTful services
The Esperanto Broker: a communication platform for nomadic computing systems
Description of a Menu Creation and Interpretation System
IoTSim-Edge: A simulation framework for modeling the behavior of Internet of Things and edge computing environments
Grammar-driven generation of domain-specific language debuggers
Reducing the network overhead of user mobility-induced virtual machine migration in mobile edge computing
Software Engineering in a Development Group
Run-time Diagnostics in Pascal
JiST: an efficient approach to simulation using virtual machines
Response to Comments on: A cohesion measure for object-oriented classes
Memory Allocation Costs in Large C and C++ Programs
Two Simple Windowing Algorithms
Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds
Microservice transition and its granularity problem: A systematic mapping study
Design and Implementation of National Engineering Education Delivery System
Bad and good news about using software assurance tools
A Management System for Dirty Data
The personalized context-aware mobile advertisement system using a novel approaching detection method over cellular networks
Engineering a Hard Real-time System: From Theory to Practice
Temporal determinization of mutating finite automata: Reconstructing or restructuring
A methodology for transparent knowledge specification in a dynamic tuning environment
Translation of technical terminologies between English and Korean based on textual big data
Short Communication: Correction to 'Producing Good Code for the case Statement'
A Simple System for Constructing Distributed, Mixed-language Programs
DASD Sharing in DOS/VSE
Two-phase trace-driven simulation (TPTS): a fast multicore processor architecture simulation approach
Statistics on Graph Reduction of SASL Programs
All-in-one implementation framework for binary heaps
Token-by-token Syntax-directed Editing (Using an LR Parser)
A comparative evaluation of generic programming in Java and C++
Cloud application architecture appraiser (CA3): A multicriteria approach and tool for assessing cloud deployment options based on nonfunctional requirements
Finding Approximate Matches in Large Lexicons
Secure and efficient data transfer using spreading and assimilation in MANET
Designing real-time systems using imprecise discrete-event system specifications
A physiological data-driven model for learners' cognitive load detection using HRV-PRV feature fusion and optimized XGBoost classification
Implementation and performance evaluation of a distributed conjugate gradient method in a cloud computing environment
Editorial: Experiences with Auto-adaptive and Reconfigurable Systems (Application Level Adaptation)
Efficient Storage of Weather Radar Data
Frameworks compiled from declarations: a language-independent approach
Engineering software reuse for on-board embedded real-time systems
Agile software product line engineering: enabling factors
D'Agents: Applications and performance of a mobile-agent system
Quantifying and evaluating the space overhead for alternative C++ memory layouts
Self-admitted technical debt detection by learning its comprehensive semantics via graph neural networks
Software testing using model programs
A Programmable Text-editing System
A Formalization and Explication of the Michael Jackson Methofd of Program Design
Is the edge really necessary for drone computing offloading? An experimental assessment in carrier-grade 5G operator networks
The Structure and Uses of the Edinburgh Remote Terminal Emulator
Practical Implications of Traceability
Standards-based modeling and deployment of serverless function orchestrations using BPMN and TOSCA
Model replication: transformations to address model scalability
Synchronization for fast and reentrant operating system kernel tracing
The SugarCubes Tool Box: A Reactive Java Framework
Mechanisms for object caching in distributed applications using Java RMI
RESCUE: Enabling green healthcare services using integrated IoT-edge-fog-cloud computing environments
Experience with fault injection experiments for FMEA
SIB: Sorted-Integers-Based Index for Compact and Fast Caching in Top-Down Logic Rule Mining Targeting KB Compression
Insecurities in FORTRAN DO-loops
The Necessity for Accurate Compiler-provided Routines when Evaluating Special Functions
A Supercomputer Program Development System
Kubernetes in Action: Exploring the Performance of Kubernetes Distributions in the Cloud
Application of an Optimistic Concurrency Control Method
Netkit: network emulation for education
Pairwise testing for systems with data derived from real-valued variable inputs
Trust-Enabled Decentralized Task Offloading for Collaborative Edge Computing Using Blockchain and Deep Reinforcement Learning
The Design of an Interactive Graphics System for the Display of Meteorological Fields
Evolutionary mutation testing for IoT with recorded and generated events
A Heuristic for Software Evaluation and Selection
A model driven and clustering method for service identification directed by metrics
Debugging Methods in Recursive Structured FORTRAN
Case Studies on Cache Performance and Optimization of Programs with Unit Strides
Cloud-based video analytics using convolutional neural networks
Calculation of Co-ordinates for Optimal Hatching
DEMOS/MP: The Development of a Distributed Operating System
Policy-driven customization of cross-organizational features in distributed service systems
Algorithms for a Persistent Heap
MOLE: A mobile agent system
Resource management of IoT edge devices: Challenges, techniques, and solutions
FLAME GPU 2: A framework for flexible and performant agent based simulation on GPUs
DDoS attack detection in smart home applications
Flexible Symbol Table Structures for Compiling C++
Pattern-based multi-cloud architecture migration
Posits and the state of numerical representations in the age of exascale and edge computing
A compiler for parsing schemata
CCC: A Caching Compiler for C
Transparent adaptation of sharing granularity in MultiView-based DSM systems
Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation
DRS: A deep reinforcement learning enhanced Kubernetes scheduler for microservice-based system
A Stable Quicksort
Input/Output Facilities in LISP1.9
An empirical time analysis of evolutionary algorithms as C programs
Realizing active data warehouses with off-the-shelf database technology
Indexing with Codes Deltas-A Data Compaction Technique
Implementation of a TMO-structured real-time airplane-landing simulator on a distributed computing environment
Practical Adaptive Dynamic Bitvectors
Efficient annotated terms
Proactive content caching in edge computing environment: A review
Recommending software features to designers: From the perspective of users
An approach of class integration test order determination based on test levels
Using composition trees to matching software requirements - An external agency's approach to support software acquisition
The Cambridge Multiple-Access System in Retrospect
Discovering and Using Entity Mappings in Federated Databases
Subkv: Quantizing Long Context KV Cache for Sub-Billion Parameter Language Models on Edge Devices
A model-based framework for inter-app Vulnerability analysis of Android applications
Reliable user-level rollback recovery implementation for multithreaded processes on windows
EASE: A Software Environment for Automatic Implementation of Application Protocol
Implementation and performance evaluation of a scheduling algorithm for divisible load parallel applications in a cloud computing environment
Deployment of a cloud pipeline for real-time visual inspection using fast streaming high-definition images
Hashing as a Compaction Technique for LR Parser Tables
The pervasiveness of evolution in GRUMPS software
Visualizing and exploring profiles with calling context ring charts
Object-oriented wrappers for the Linux kernel
MFHS: A modular scheduling framework for heterogeneous system
List Iterators in C++
The Definition of Comments in Programming Languages
Optimizing Procedure Calls and Returns
Sequence Error Recovery Considered Misleading
Engineering plug-in software components to support collaborative work
Hybrid Electro search beetle optimization based task scheduling and game theory SOA based resource allocation in multi cloud computing
Alchemy: Distributed financial quantitative analysis system with high-level programming model
Success Rate of Interpolation in Subsegment Prediction
The Cambridge Ring and UNIX
A General Purpose Task Queueing Mechanism for Small Machines
An Integrated Data Dictionary to Facilitate Automatic Report Generation in a Network Database
Real-time BASIC
Valuating requirements arguments in the online user's forum for requirements decision-making: The CrowdRE-VArg framework
Design and implementation of an enhanced CORBA property service
A highly secured and streamlined cloud collaborative editing scheme along with an efficient user revocation in cloud computing
Experiences in creating a software tool to analyze and postprocess simulated and measured data
Supporting Flexible Consistency Management via Discrete Change
A Portable LISP Compiler
A Design Language for the Definition of a Retrieval System Interface for Casual Users of a Relational Database
Debugging with Dynamic Slicing and Backtracking
Macros without Tears
Fine-grained management of software artefacts: the ADAMS system
Specifying features of an evolving software system
CoFeed: privacy-preserving Web search recommendation based on collaborative aggregation of interest feedback
The Kernel of the EMAS 2900 Operating System
The Errors of TEX
Pulsar: An Extensible Tool for Monitoring Large Unix Sites
A Study of Machine-level Software Profile
ManPy: an open-source software tool for building discrete event simulation models of manufacturing systems
Enabling continuous deployment techniques for quantum services
Migrating legacy software to the cloud: approach and verification by means of two medical software use cases
The Standardization of RTL/2
A General Character to Integer Conversion Method
Edison Programs
JSetL: a Java library for supporting declarative programming in Java
Object Request Broker: Foundation for Distributed Simulation
Hermes Language Experiences
Restructuring Software: A Case Study
A File Comparison Program
Special Issue on "Ensuring security for artificial intelligence applications in mobile edge computing software systems"
Optimal and Near-Optimal Global Register Allocation Using 0-1 Integer Programming
Integrating Library Modules into Pascal Programs
Improved String Searching
Structured Debugging Using a Domain Specific Language
SafeOSL: Ensuring memory safety of C via ownership-based intermediate language
EJVM: an economic Java run-time environment for embedded devices
A Browser for Directed Graphs
A Multiprocessor Implementation of Joyce
Design and implementation of a fully transparent partial abort support for software transactional memory
m-JGRIM: a novel middleware for Gridifying Java applications into mobile Grid services
Continuous QoS-compliant orchestration in the Cloud-Edge continuum
The LTPL-E Tasking Proposals
An Interpreter for LOTOS, a Specification Language for Distributed Systems
Note: Correction to the 1997 tutorial on Reed-Solomon coding
Another Approach to the Implementation of Synchronization Primitives
Current techniques and future trends in embedded system's virtualization
The Advantages of Stream Output Procedures over Format-dominated Record Transmissions
Linking a CYBER76 to a 3600
An empirical evaluation of a three-tier conduit framework for multifaceted test case classification and selection using fuzzy-ant colony optimisation approach
Customizing the swarm storage system using agents
SeeMe: An intelligent edge server selection method for location-aware business task computing over IIoT
Semantic Web approach to smart link generation for Web navigations
Cobol minefield detection
Timing isolation and improved scheduling of deep neural networks for real-time systems
Multistage Indexing for Speeding Prolog Executions
Implementations and Performance of Two RPC-based LAN Gateway Applications
Use of Executable Formal Specifications in User Validation
Extending Regular Expressions with Context Operators and Parse Extraction
Guarded Attribute Grammars
SOFTLIB-A Documentation Management System
Fooling the User of a Programming Language
MM/1, A Man-Machine Interface
Usability implications in software architecture: The case study of a mobile app
Analyzing performance traces using temporal formulas
Safeguarding Networks From Malicious Intrusions Using Quantum Machine Intelligence
An Exercise in the Transportation of an Operating System
App store mining for iterative domain analysis: Combine app descriptions with user reviews
Building an Information System for Collaborative Researchers: A Case Study from the Brain-Tumor Research Domain
ISAMadapt: abstractions and tools for designing general-purpose pervasive applications
Design and Implementation of a Client-Server Architecture for Taxonomy Manager
Retraction: Al Said, N, Gorbachev, Y, Avdeenko, A. An unmanned aerial vehicles navigation system on the basis of pattern recognition applications - Review of implementation options and prospects for development. Software: Practice and Experience 2021; 51: 1509-1517. https://doi.org/10.1002/spe.2964
MaDViWorld: a software framework for massively distributed virtual worlds
Two-phase scale-based reduction method for fulfilling monitoring service on mobile devices
Performance of the Prototype Fortran D Compiler
An Analysis of Microcomputer Implementation of Pascal
Load balancing aware scheduling algorithms for fog networks
Interactive Programs in a Functional Language: A Functional Implementation of an Editor
Fortran to Lisp Translation using f2cl
An Exercise in Program Design Using SIMULA Class Invariants
Trustworthy artificial intelligence: A decision-making taxonomy of potential challenges
Experience with a Portable Debugging Tool
Experience with Remote Procedure Calls in a Real-time Control System
Synchronous and Asynchronous Handling of Abnormal Events in the System
A Heterogeneous Dual Processor
EESSI: A cross-platform ready-to-use optimised scientific software stack
Evaluation of a high-volume, low-latency market data processing system implemented with IBM middleware
A Survey of some Text Editors
Reducing and Manipulating Complex Trace Data
A system for debugging via online tracing and dynamic slicing
Incremental Register Reallocation
Application invariants: Design by Contract augmented with deployment correctness logic
Symmetric multiprocessing from boot to virtualization
K-MING: A mobile proxy handoff control scheme for proximate group-based geodata sharing
Efficient Implementation of Suffix Trees
Evaluation of users' privacy concerns by checking of their WhatsApp status
Distributed Resource Administration Using Cfengine
Cloud-aided online EEG classification system for brain healthcare: A case study of depression evaluation with a lightweight CNN
Sequence-Based Software Specification of Deterministic Systems
Corrections to "A New Data Structure for Cumulative Frequency Tables"
Multi-objective materialized view selection using flamingo search optimization algorithm
Automatic recommendation to appropriate log levels
On Code Generation in a PASCAL Compiler
Sharing of precompiled database statements in J2EE applications
Allocating Computer Resources to Satisfy User and Management Demands
Exception Handling in C Programs
A Parallel Version of Cook and Kim's Algorithm for Presorted Lists
Symmetry Partition Sort
Distributed computation of the critical path from execution traces
Compilation of Functional Languages using Flow Graph Analysis
An elastic framework construction method based on task migration in edge computing
Evaluating alternative DaaS solutions in private and public OpenStack Clouds
Microprocessor Debugging Techniques and Their Application in Debugger Design
A System to Assist Survey Analysts
EMUSIM: an integrated emulation and simulation environment for modeling, evaluation, and validation of performance of Cloud computing applications
Application and programming experience with the Ara mobile agent system
Addressing Types and Objects in Ada
Obfuscation for object-oriented programs: dismantling instance methods
Peter Brown (1939-2007)
Self-adaptive brainstorming for jobshop scheduling in multicloud environment
Sequential File Processing in Fortran
A Requirements Capture Method and its use in an Air Traffic Control Application
Decentralized identifier based illegal digital content distribution tracking system using the format-preserving encryption algorithm
Scanner Design
A Graphical User Interface Server for UNIX
Integrated model-driven engineering of blockchain applications for business processes and asset management
The Viúva Negra crawler: an experience report
Towards the Design of Secure Systems
Reverse Reachability Analysis a New Technique for Deadlock Detection on Communicating Finite State Machines
A Format Editor
Privacy-aware shared UI toolkit for nomadic environments
A Tale of Three Spelling Checkers
Discovering Patterns: An Industry Report
Squinting at Power Series
Gamifying software engineering subject to enhance the quality of knowledge
A page-shift transformation format of ISO 10646
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C
Model-based design of IoT systems with the BIP component framework
Module Reuse by Interface Adaptation
Framework for cloud-based software test data generation service
Optimizing Two-state Case Statements in Pascal
A layered hyperanimation system
ZipfAllocation: an algorithm for static allocation of movies in a cluster of video servers
A Rapid Lookup Table Method for Trigonometric Functions
XML data mining
KAL: kernel-assisted non-invasive memory leak tolerance with a general-purpose memory allocator
GCI-A Tool for Developing Interactive CAD User Interfaces
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking
A Customisable Memory Management Framework for C++
Choosing a Tag-list Algorithm for a Compiler with Special Application to the ALEPH Compiler
A User Interface Specification for a Program Debuggung and Measuring Environment
Access control and trust in the use of widely distributed services
Cybersecurity protection on in-vehicle networks for distributed automotive cyber-physical systems: State-of-the-art and future challenges
An Improved Algorithm for Identifying Objects in Code
Field Experiments with Local Software Quality Metrics
A scalable framework for healthcare monitoring application using the Internet of Medical Things
Support for situation awareness in trustworthy ubiquitous computing application software
Organizing the Description of a Relational Data Base
A large scale parallel fluid-structure interaction computing platform for simulating structural responses to a detonation shock
An environment for modeling and simulation of message-passing parallel applications for cloud computing
Alternative Perspectives on Object Technology
BigDataSDNSim: A simulator for analyzing big data applications in software-defined cloud data centers
A multicriteria optimization model for cloud service provider selection in multicloud environments
Application Integration: Constructing Composite Applications from Interactive Components
A String Pattern Matching Extension to Pascal and Some Comparisons with SNOBOL4
UNIX File System Behaviour and Machine Architecture Dependency
A Distributed Programming Assistant
NOAH: A CSP-based language for describing the behaviour of coupled models
Using a qualitative research method for building a software maintenance methodology
Designing power-efficient SRAM cells with SGFinFETs using LECTOR technique
Performance Analysis and Comparison of Node.Js and Java Spring Boot in Implementation of Restful Applications
Selecting linear algebra kernel composition using response time prediction
A Note on Recreating Source Code from the Reverse Polish Form
Random Search on the 8-Queens Problem
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model
One-pass Compilation at its Limits-A Modula-2 Compiler for the Xerox Dragon Computer
Using PROTEAN for Verifying a Complex Protocol - A Case Study
Reducing memory requirements in reachability-based finite automata operations
Implementing a Graphical Multi-user Interface Toolkit
The Design of a Real-Time Operating System for a Minicomputer. Part 1
The System: Providing Light-weight Concurrency on Shared-memory Multiprocessor Computers Running UNIX
A Distributed Batching System for Parallel Processing
Rapid Calculations of Subscripted Array Addresses
Portability-Prediction and Correction
The Design and Implementation of a Grammar-based Data Generator
User Interface-Application Communication in the Chimera User Interface Management System
An Optimizer for a Relational Database Command Language
A Sampling Monitor for Applications Programs
ARTK-M2: a Kernel for Ada Tasking Requirements: an Implementation and an Automatic Generator
NEWLONG: A Program for Manipulation of Data on Populations of Individuals Subject to Change
The BLISS programming language: a history
NAS Parallel Benchmarks with CUDA and beyond
Toward the adaptation of component-based architectures by model transformation: behind smart user interfaces
An Experimental COBOL Restructuring System
Ranked reservoir sampling: an extension to the reservoir sampling algorithm
Manipulation Multilinked Data Structures in a Pure Functional Language
Pattern Analysis as a Tool for Inventing Algorithms
CloudPick: a framework for QoS-aware and ontology-based service deployment across clouds
A Universal Benchmark?
A Performance Comparison of Event Calendar Algorithms: an Empirical Approach
Programmatically defining the software footprint of sensor networks using the Android platform
The Design of Edison
A Flexible Software Character Generator
Building a new sort function for a C library
Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data-oriented software systems
Market-inspired framework for securing assets in cloud computing environments
The Transfer of a BCPL Compiler to the Z80 Microcomputer
Compact Coding of Syntactically Correct Source Programs
Extending Mutation Testing to Find Environmental Bugs
The Design and Implementation of a Code Generation Tool
Design and Analysis of a Hyphenation Procedure
The Programming Language ACTUS
Aesthetics-Based Graph Layout for Human Consumption
Dual analysis for helping developers to find collaborators based on co-changed files: An empirical study
Exception handling in the development of dependable component-based systems
DJM: A Global Distributed Virtual Machine on the Internet
Leave and Recall: Primitives for Procedural Programming
LexAGen: An Interactive Incremental Scanner Generator
Object-oriented Data Management Based on Abstract Data Types
Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c-mean and MOLP
MaD-WiSe: a distributed stream management system for wireless sensor networks
Agile methods for open source safety-critical software
Deep-Q learning-based heterogeneous earliest finish time scheduling algorithm for scientific workflows in cloud
Maximizing quality of experience through context-aware mobile application scheduling in cloudlet infrastructure
Feature transfer learning by reinforcement learning for detecting software defect
Iterators, Schedulers, and Distributed-memory Parallelism
Quantum machine learning-based framework to detect heart failures in Healthcare 4.0
Load Balancing in a Session Based Distributed File-store Architecture
An Exercise in Formalizing the Description of a Concurrent System