yusuke1997/dblp-id-title huggingface dataset:
A Comprehensive Review of ns-3-Based Simulation Frameworks for LEO Satellite Constellations: Capabilities and Limitations
An adaptive plan-oriented and continuous software migration to cloud in dynamic enterprises
Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report
Trilateration-based indoor localization engineering technique for visible light communication system
CA-PK: conditional access for broadcast networks
Two Implementations of the Ada Program Library
Parameter Passing Mechanisms and Run Time Data Structures
The Myth of Virtual Memory
Arithmetic Equality Constraints as C++ Statements
Utility Servers in Charlotte
Generating content and display of library catalogue cards using XML technology
Some Statistics on the Reasons for Compiler
Security benchmarks of OSGi platforms: toward Hardened OSGi
Scalable framework for parsing: from Fortress to JavaScript
Performance of the most common non-cryptographic hash functions
Applying design metrics to predict fault-proneness: a case study on a large-scale software system
HANDIN-A System for Helping with the Teaching of Programming
Object-Oriented Patterns: Lessons from Expert Systems
Selecting a software engineering tool: lessons learnt from mutation analysis
The μTOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures
Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle
A New Data Structure for Cumulative Frequency Tables
Tailored Compression of Java Class Files
Using execution trace data to improve distributed systems
Performance analysis of distributed storage clusters based on kernel and userspace traces
Cobol Generation of Source Programs and Reports
Determinization and minimization of finite acyclic automata by incremental techniques
cxterm: A Chinese Terminal Emulator for the X Window System
PRBP: A prioritized replica balancing policy for HDFS balancer
A Jini-based software framework for developing distributed cooperative decision support systems
Parallel Processing in FORTRAN with Floating-Point Hardware
On the Access-control Mechanism of the Program Component Manager
SOLO-System for On-Line Optimization
Vartalaap: a Distributed Multicast Communication System
A distributed tracing pipeline for improving locality awareness of microservices applications
FOSSES: Framework for open-source software evaluation and selection
Stretching letter and slanted-baseline formatting for Arabic, Hebrew, and Persian with ditroff/ffortid and dynamic PostScript fonts
COVID-19 and future pandemics: A blockchain-based privacy-aware secure borderless travel solution from electronic health records
Drawing database schemas
Quick Compiler Construction Using Uniform Code Generators
Bringing Scheme programming to the iPhone - Experience
A Flexible Command Generation Technique for Application in Dialogue Systems
Spotting the difference
The Newcastle Connection or UNIXes of the World Unite!
An effective and efficient Web content extractor for optimizing the crawling process
Parallel Processing in an Adaptable Application Oriented Language Processor
Computing Advice at a Distance: the 'Remote Advisory' Concept
Building Syntax Graphs from Syntax Equations: A Case Study in Modular Programming
Implementation of the Database Programming Language Modula/R on the Personal Computer Lilith
Formal specification and verification of a team formation protocol using TLA +
Kernel for a Responsive and Graphical User Interface
Achieving high and consistent rendering performance of Java AWT/Swing on multiple platforms
Operating system support for persistent systems: past, present and future
A Critique of UNIX
K6-A Protected Mode Kernel for the iAPX286
InterProcedural Alias Analiysis: Implementation and Empirical Results
Fast Approximate String Matching
A proxy-based framework to support synchronous cooperation on the Web
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Correcting a Widespread Error in Unification Algorithms
Cloudnativesim: A Toolkit for Modeling and Simulation of Cloud-Native Applications
Vmalloc: A General and Efficient Memory Allocator
Enforcing direct communications between clients and Web servers to improve proxy performance and security
Structured Programming in Macro Assembly Languages
A novel forgery classification method based on multi-scale feature capsule network in mobile edge computing
Energy-efficient task scheduling and resource management in a cloud environment using optimized hybrid technology
Stack virtualization for source level debugging
Autonomic computing and incremental learning for the management of big services
Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report
Productivity Analysis of Object-Oriented Software Development in a Commercial Environment
PROTOB: An Object-oriented CASE Tool for Modelling and Prototyping Distributed Systems
On Optimizing Resources for Real-Time End-to-End Machine Learning in Heterogeneous Edges
Using Data Clustering to Improve Cleaing Performance for Flash Memory
SIMD compression and the intersection of sorted integers
Special Issue: Identification, Information, and Knowledge in the Internet of Things
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study
Software Maintenance: An Approach to Impact Analysis of Objects Change
Structured Text Formatting
Adding Classes to the C Language: An Exercise in Language Evoluation
Agents in object-oriented software engineering
Improving responsiveness of time-sensitive applications by exploiting dynamic task dependencies
Evaluation metrics for a translation memory system
A Code Generator Synthesizer for the Non-specialist
A business process-driven approach for generating software modules
A Real-time Messaging System for Token Ring Networks
The Runabout
A Relational Approach to Support Software Architecture Analysis
Adapting FreeRTOS for multicores: an experience report
A Hybrid Implementation of a Process-oriented Programming Language for System Simulation
SDK4ED: A platform for technical debt management
An AIoT-driven smart healthcare framework for zoonoses detection in integrated fog-cloud computing environments
On the Energy Consumption of ATL Transformations
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
The Implementation of Concurrency for a PL/I-like Language
A Case Study of Run-Time Errors in Pascal Programs
An energy-aware virtual machines consolidation method for cloud computing: Simulation and verification
Implementation of the Sentry System
FORALL: An Extensible Fortran System for Conversationally Accessing Subroutine Libraries
Policy-directed certificate retrieval
Implementing Generalized Operator Overloading
Parallel Programming for Chess Endgame Database
Implementation Techniques for Prolog Databases
A Software Architecture for the 70's: Part I - The General Approach
A Debugger for Distributed Programs
Adaptive Markov-based approach for dynamic virtual machine consolidation in cloud data centers with quality-of-service constraints
On Publication Pascal
Linguistic Mechanisms for Resource Management Strategies
Dedicated, Distributed and Portable Operating Systems: a Structuring Concept
Adapting traditional software processes to virtual environments development
RBE: A Rule-by-Example Active Database System
Exploring architecture blueprints for prioritizing critical code anomalies: Experiences and tool support
Panacea: An Automatic Data Migration Framework for Constructing Internet-Scale Open Data Lakes
An evaluation of Java implementations of message-passing
Scheduling component replacement for timely execution in dynamic systems
ProcessAtlas: A scalable and extensible platform for business process analytics
Tcl/Tk-Based Agents for Mail and News Notification
Work practices and challenges in continuous integration: A survey with Travis CI users
Using new scheduling heuristics based on resource consumption information for increasing throughput on rule-based spam filtering systems
Low-level Programming in Modula-2: an Experience with Local Area Network Access
Design, Implementation and Evaluation of ICARE: An Efficient Recoverable DSM
Formally modeling and analyzing cost-aware job scheduling for cloud data center
Engineering faster double-array Aho-Corasick automata
The Kent On-Line System
Ranking enterprise application integration platforms from a performance perspective: An experience report
An Object-Oriented Framework for Modeling and Designing Intelligent Training Systems
Case-based curve behaviour prediction
Embedding Non-determinism
Automated System Administration with Feedback Regulation
Mixed Language Programming
SPARE Parts: a C++ toolkit for string pattern recognition
FORTRAN-As Provided by Some Major Machine Manufacturers in 1970
RATSNO-An Experiment in Software Adaptability
A 3 M: an agent architecture for automated manufacturing
AMORA: An Advanced Malleable and Operational Framework for Performance Prediction of Big Data Systems
An Execution Profiler for Modular Programs
Continuous Checkpointing: Joining the Checkpointing with Virtual Memory Paging
Guard: A Relative Debugger
RIFLING: A reinforcement learning-based GPU scheduler for deep learning research and development platforms
Euclidean affine functions and their application to calendar algorithms
Portable and accurate sampling profiling for Java
UnThemida: Commercial obfuscation technique analysis with a fully obfuscated program
Real-time Checkout: The 'Source Error First'
A System for Analysing Ada Programs at Run-time
A Highly-structured Interpreter for a SNOBOL4 Subset
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems
Exploiting Partial Order with Quicksort
Lightweight POSIX tracing
An asynchronous hierarchical router for networks-on-chip-based three-dimensional multi-processor system-on-chip
Three Way Branching Self Consistency Checking of Hardware and Software
A trust-based noise injection strategy for privacy protection in cloud
Mastering crosscutting architectural decisions with aspects
Program Tools for Algorithm Animation
JCrasher: an automatic robustness tester for Java
An analysis of programming language statement frequency in C, C++, and Java source code
Mirror-based reflection in AmbientTalk
On the use of mutations and testing for debugging
COSMOPEN: dynamic reverse engineering on a budget. How cheap observation techniques can be used to reconstruct complex multi-level behaviour
Rapid Prototyping of Protocols from LOTOS Specifications
Effective pattern matching of source code using abstract syntax patterns
Process Scheduling and UNIX Semaphores
The Design and Implementation of Dynamic Hashing for Sets and Tables in Icon
A Message-driven Programming System for Fine-grain Multicomputers
Two decades of live coding and debugging of virtual machines through simulation
Experiences in Translating Z Designs to Haskell Implementations
Modularity. The Key to System Growth Potential
SUPERMAC-A Macro Facility that can be Added to Existing Compilers
The influencing causes of software unavailability: A case study from industry
Exploiting exceptions
A Compact Function for Regular Expression Pattern Matching
Application of data mining methods for effort estimation of software projects
Catching two rabbits: adaptive real-time support for embedded Linux
VIS: A Virtual Image System for Image-understanding Research
Role models - implementation-based approaches to using roles
A negotiation-based service selection approach using swarm intelligence and kernel density estimation
On the replacement of objects from round-based applications over heterogeneous environments
Lightweight monitors for the Java virtual machine
How to develop and to reuse the UniPDM framework
Adaptable secure communication for the Cloud of Things
Design of an Interactive Debugger for FORTRAN:MANTIS
An efficient radix trie-based semantic visual indexing model for large-scale image retrieval in cloud environment
Confidential Computing Across Edge-To-Cloud for Machine Learning: A Survey Study
The Programming of Structural Relationships in Dynamic Environments
A general purpose adaptivity driver for FE software
A HELP System for the User Community
Command-line interfaces can be efficiently brought to graphics: COLIMATE (the COmmand LIne MATE)
Software component identification and selection: A research review
Recoverability Aspects of a Distributed File System
PRTDS - A Pascal Run-Time Diagnostics System
Implementation of the Blit Debugger
A comparison of interactivity in the Linux 2.6 scheduler and an MLFQ scheduler
Florida public hurricane loss model: Software system for insurance loss projection
Building design-time and run-time knowledge for QoS-based component assembly
Towards scalable virtuality in C++
The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs
A PASCAL Compiler for ICL 1900 Series Computers
Extensive review of cloud resource management techniques in industry 4.0: Issue and challenges
AutoCRW: Learning based robust watermarking for smart city applications
A base62 transformation format of ISO 10646 for multilingual identifiers
Guarded and Unguarded Coroutines: an Implementation in BCPL
WSH-A New Command Interpreter for UNIX
The Translation and Interpretation of STAB-12
Monitoring the Run-time Activity of Algol 68-R Programs
Explaining code for publication
Video-Slide: A Presentation Aid for the BBC Microcomputer
Autonomic resource contention-aware scheduling
Active Text for Structuring and Understanding Source Code
Simple algebraic data types for C
Playing Cards on the PERQ: An Algorithm for Overlapping Rectangles
Extensions to a Microcoded Pascal Compiler
A consensus-based strategy to improve the quality of fault localization
Exploiting Machine-Specific Pointer Operations in Abstract Machines
ISA[ k ] Trees: a Class of Binary Search Trees with Minimal or Near Minimal Internal Path Length
Ontology-based Grid resource management
Field programmable gate array-based all-layer accelerator with quantization neural networks for sustainable cyber-physical systems
A case study using lightweight formalism to review an information system specification
Multiprocessor platform for partitioned real-time systems
Charging stations-oriented electric vehicle charging strategy based on battery characteristics
Security Risks in the Encryption of Database Connection Strings
SUMLOW: early design-stage sketching of UML diagrams on an E-whiteboard
Android malware detection using network traffic based on sequential deep learning models
Event-driven asynchronous method calls with the D-Bus message system
The Design and Inplementation of the GINO 3D Graphics Software Package
Object-oriented processing of Java source code
HTEL: a HyperText Expression Language
Developing legacy system migration methods and tools for technology transfer
Survey on open-source digital twin frameworks-A case study approach
A Method for Fast Tape Backups and Restores
Colony: An Artificial Life Model for Active Autonomous Objects
DIALOG: A Scheme for the Quick and Effective Production of Interactive Applications Software
Derivation of Local Software Quality Metrics (Software Quality Circles)
Efficient Automata-Driven Pattern-Matching for Equational Programs
A realistic involvement of formal methods
Profiling Software through the Use of Metrics
Analysis of operating system diversity for intrusion tolerance
Scanning HTML at Tens of Gigabytes Per Second on ARM Processors
Developing multi-agent systems with a FIPA-compliant agent framework
A Design for a Text Editor
RATMAC: A Preprocessor for Writing Portable Scientific Software
PARC++: A Parallel C++
Improving the scalability of the CORBA event service with a multi-agent load balancing algorithm
An Improved Adaptive String Searching Algorithm
Assemblers for Microcomputers
Architectural partitioning and deployment modeling on hybrid clouds
A Graphical Notation for Describing System Implementation
Creating a reusable GUI component
GLAL: An OpenGL Arabization Library
Adaptive trade-off between consistency and performance in data replication
An approach to developing complex database schemas using form types
AIDA-A Dynamic Data Flow Anomaly Detection System for Pascal Programs
Improving LSM-trie performance by parallel search
A Contextual Analysis of Pascal Programs
Solving a Timetabling Problem Using Hybrid Genetic Algorithms
Extracting Text from PostScript
Empirical evidence about the UML: a systematic literature review
TOSI: A Tree Oriented String Interpreter for the Design and Implementation of Semantics
VidNet: Distributed Processing Environment for Computer Generated Animation
The benefits of posing application software as a language interpreter
A fast algorithm for constructing nearly optimal prefix codes
Pattern languages: addressing the challenges
Experience with Logical Code Analysis in Software Maintenance
A survey of practical algorithms for suffix tree construction in external memory
Quasiparallel Programming
IDL: A Machine-independent Data Language
A framework to support interoperable Game-based Assessments as a Service (GBAaaS): Design, development, and use cases
BCEdge: Blockchain-based resource management in D2D-assisted mobile edge computing
Scaling scrum with a customized nexus framework: A report from a joint industry-academia research project
MidCloud: an agent-based middleware for effective utilization of replicated Cloud services
How to place your apps in the fog: State of the art and open challenges
Enhanced Architecture of Structure Semantics for Syntax-Aware Code Generation
CHEF: a Versatile Portable Text Editor
Programming and Compiling Strategies for Paging Systems
Multimedia E-mail: the Evolution Approach Based on Adapters
A Simulation Sequencing Algorithm
Software Design Representation: A Case Study
"The Canary in the Coal Mine..." A cautionary tale from the decline of SourceForge
Reusable specification modules for type analysis
Practice and Experience with BASIS: an Interactive Programming System for Introductory Courses in Informatics
Manipulating Wi-Fi packet traces with WiPal: design and experience
Software systems for data-centric smart city applications
A review of middleware approaches for energy management in distributed environments
A framework for preprocessor-aware C source code analyses
SESAG: an object-oriented application framework for real-time systems
A resource management interface for the Java platform
VAnDroid: A framework for vulnerability analysis of Android applications using a model-driven reverse engineering technique
Optimizing Procedure Calls in Block-Structured Languages
A Design Rationale for a Language-based Editor
Evaluate Chat-GPT's programming capability in Swift through real university exam questions
Deep learning the semantics of change sequences for query expansion
A Convenient Way to Incorporate Semantic: Actions in Two-pass Compiling Scheme
Overhead in FORTRAN Preprocessors
Improved methods for extracting frequent itemsets from interim-support trees
A Language-independent System to Aid the Development of Structured Programs
The use of pattern participants relationships for integrating patterns: a controlled experiment
The Programming Language SuperPascal
Utilizing commodity hardware and software to distribute a real-world application: maximizing reuse while improving performance
Developing analysis and testing plug-ins for modern IDEs: an experience report
An Algorithm for Programming Electrostatic Plotter Type Devices
Big data analytics in Industry 4.0 ecosystems
A taxonomy of market-based resource management systems for utility-driven cluster computing
C-strider: type-aware heap traversal for C
Rational Arithmetic for Minicomputers
CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms
The Lambda Library: unnamed functions in C++
Infinite Power Series
Acculock: accurate and efficient detection of data races
Real time flood disaster monitoring based on energy efficient ensemble clustering mechanism in wireless sensor network
Remote Access to Multimedia Databases: An Object Oriented Approach
Debugging Tools for High Level Languages
Applying Gaia and AUML for the development of multiagent-based control software for flexible manufacturing systems: addressing methodological and implementation issues
Copying of Dynamic Structures in a Pascal Environment
DOLAR: virtualizing heterogeneous information spaces to support their expansion
A File Server for a Network of Low Cost Personal Microcomputers
FOAM: A Two-Level Approach to Text Formatting on a Microcomputer System
Some Improvements to the MINIMOP Multi-Access Operating System
Special section: software architectures and application development environments for Cloud computing
Fixing some Space Leaks with a Garbage Collector
A Performance Study of Deadlock Prevention Algorithms in a Distributed File System
ASAB: a Chinese screen reader
TMS: A Free-form Text-management System
A comprehensive solution for application-level adaptation
Tlex
Douglas T. Ross (1929-2007)
Remote Database Access in the Distributed Computing Environment
FAHP approach for autonomic resource provisioning of multitier applications in cloud computing environments
Portability-Some Experiences with FORTRAN
The PHS Protocol
NeuCheck: A more practical Ethereum smart contract security analysis tool
Compiler transformations for effectively exploiting a zero overhead loop buffer
High Speed Data Acquisition: Running a Realtime Process and a Time-shared System (UNIX) Concurrently
Forced Termination of Loops
Methodology and intermediate layer for the automatic creation of ontology instances stored in relational databases
Open Issues in Object-Oriented Programming - A Scandinavian Perspective
Structural Dimensions of Small Programming Environments
MUSYS. Software for an Electronic Music Studio
Scheduling for Immediate Turnround
The Duality of Fault-tolerant System Structures
Implementation of a Computer Job Scheduling Algorithm
An approach to feature-based software construction for enhancing maintainability
Marking musical dictations using the edit distance algorithm
User-interface Design for Text Editing
A Practical Study of Semi-automatic OSI Protocol Implementation
A Flexible Real-Time Scheduling Abstraction: Design and Implementation
Implementation of Reliable Multicast Protocol
Code Generation for a Systolic Computer
NovAtel's Novel Approach to CPU Usage Measurement
Reference Count Garbage Collection
A Comparison of the ANSI and ISO Pascal Word Standards
Ytracc: a Parse Browser for Yacc Grammars
Time-aware service recommendation: Taxonomy, review, and challenges
Developing applications in large scale, dynamic fog computing: A case study
Big forensic data management in heterogeneous distributed systems: quick analysis of multimedia forensic data
Implementation of a Pascal Compiler for the IBM 360
Data Compression for PC Software Distribution
How to evaluate an Internet of Things system: Models, case studies, and real developments
Experimental Performance Analysis of Data Consistency Levels in NoSQL Databases
A Microprogrammed occam Interpreter for the HLH Orion
Regulation of Appropriate Prompts for Users in Text-Based Generative Artificial Intelligence Programs
An experimental evaluation of scalar replacement on scientific benchmarks
Systematic Programming of Scheduling Algorithms
String Matching in the DNA Alphabet
The Programming Language Oberon
Prioritizing the creation of unit tests in legacy software systems
Implementing an embedded compiler using program transformation rules
Understanding Web server configuration issues
Specifications.: Formal and Informal-A Case Study
Cache-aware design of general-purpose Single-Producer-Single-Consumer queues
A study of irreducibility in C programs
An extensible and lightweight architecture for adaptive server applications
An Implementation of Algol 68 for a Small Computer
Object-Versioning in an ODMG-compliant Object Daatabase System
Message Passing in Concurrent C: Synchronous Versus Asynchronous
TBFLP-A Simple Preprocessor for Tables
RNFREE-Keyword Free-format Input