yusuke1997/dblp-id-title huggingface dataset:
Automatic adaptation of mobile applications to different user devices using modular mobile agents
Modularization of Large Programs
Construction of a Peephole Optimizer
The Implementation of Case Statements in Pascal
Elastic Memory: Buddy Systems Interface
Automatic generation of compiler backends
Another Look at Type Compatibility in Pascal
PLEIADES: An Internet-based parallel/distributed system
Network Management in a Local Computer Network
A 1900 FORTRAN Post Mortem Dump System
Chameleon - a group communication framework for smartphones
The Evolution of Job Control Languages
A lightweight adaptive random testing method for deep learning systems
Generation of test sequences from formal specifications: GSM 11-11 standard case study
MultiArray: a C++ library for generic programming with arrays
A Method for the Quality-Aware Automated Selection of Deployment Technologies
An Object-Oriented Cooperative Distributed Problem Solving Shell with Groupware Management Ability
Input/Output in High Level Programming Languages
Incremental Compiler Transformations for Multiple Instruction Retry
Recursion in Small Storage
CloudSim 7G: An Integrated Toolkit for Modeling and Simulation of Future Generation Cloud Computing Environments
An illustrative example of refactoring object-oriented source code with aspect-oriented mechanisms
P/CL: A Flexible Input Processor
IN-Tune: An In-Situ Non-Invasive Performance Tuning Tool for Multi-threaded Linux on Symmetric Multiprocessing Pentium Workstations
Compact Fenwick trees for dynamic ranking and selection
The Evolution of an Object-orietented Compiler Framework
Federated Learning Architectures: A Performance Evaluation With Crop Yield Prediction Application
An Evaluation of Tagging
Socially aware microcloud service overlay optimization in community networks
Printing Arabic Text Using Dot Matrix Printers
Software Reliability Models for Computer Implementations - An Empirical Study
Page Replacement Algorithm for Large-array Manipulation
PARMON: a portable and scalable monitoring system for clusters
Helenos: A realistic benchmark for distributed transactional memory
SDN/NFV security framework for fog-to-things computing infrastructure
Practical Fast Searching in Strings
A Review of Experiences with Reliable Multicast
A rule-based approach for availability of service by automated service substitution
The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula
Unrolling Loops in FORTRAN
A General-Purpose Text Editor for OS/360
Profiling Under UNIX by Patching
An Application of Causal Analysis to the Software Modification Process
Special Issue on Edge Intelligence Software Systems for Internet of Autonomous Unmanned Vehicles Journal of Software: Practice and Experience (Wiley Press)
Splaysort: Fast, Versatile, Practical
Partial redundancy elimination for access expressions by speculative code motion
The Parser Generating System PGS
A Draft Description of Pascal
User experience design and agile development: managing cooperation through articulation work
Incrementally Maintained Network - Relational Database Mapping
A ReScUE XML/EDI model
Improvements to Burrows-Wheeler compression algorithm
Eliminating Recursion from Combinatoric Procedures
An On-Line Retail Collection Data System
Object-process based graphics recognition class library: principles and applications
Uses of the SIMULA Process Concept
Deadline scheduling in the Linux kernel
Design, implementation and evolution of object oriented frameworks: concepts and guidelines
Restructuring for Style
Drawing Syntax Diagrams in Haskell
Efficient Generation of Lexical Analysers
An efficient load balancing using seven stone game optimization in cloud computing
Detecting safety-related components in statecharts through traceability and model slicing
Performance Measurement, Visualization and Modeling of Parallel and Distributed Programs using the AIMS Toolkit
Simple Transforms for Instrumenting FORTRAN Decks
Python shared atomic data types
Practical JFSL verification using TACO
Concurrent C++: Concurrent Programming with Class(es)
CloudSim express: A novel framework for rapid low code simulation of cloud computing environments
A scheme for reliable real-time messaging with bounded delays
An Experimental Investigation of Distributed Matrix Multiplication Techniques
On the modularization and reuse of exception handling with aspects
Robust power optimization scheme for cooperative wireless relay system in smart city
A comparison between handwritten and automatic generation of C code from SDL using static analysis
Unparsing Expressions with Prefix and Postfix Operators
Procedures for Managing Extendible Array Files
A Resource-Oriented Time-Sharing Monitor
Distributed Processing in a Small Office
An Integrated Verification and Testing Environment
Grammatical and context-sensitive error correction using a statistical machine translation framework
Benchmark frameworks and τ Bench
Domain adaptation metric learning method embedded with structural information for person re-identification in internet of autonomous unmanned vehicles
Developing Human-Computer Interface Models and Representation Techniques
How to Build an Interface Graph
SMArDT modeling for automotive software testing
Adam: An Ada-based Language for Multiprocessing
Semantic Extension Possibilities in the Proposed New Fortran
Polynomial Search
A User-Oriented Approach to Control Languages
ANTLR: A Predicated- LL(k) Parser Generator
A taxonomy and survey of grid resource management systems for distributed computing
Profile-guided Automatic Inline Expansion for C Programs
Dynamic hierarchical intrusion detection task offloading in IoT edge networks
The Evolution of a Graphics System for Linked Computers
An Empirical Analysis of COBOL Programs
Predicting just-in-time software defects to reduce post-release quality costs in the maritime industry
Leveraging legacy codes to distributed problem-solving environments: a Web services approach
Compressed bitmap indexes: beyond unions and intersections
A mobile data offloading framework based on a combination of blockchain and virtual voting
Random variate generator
Iterative Development of Information Systems: A Case Study
Faster range minimum queries
Intelligent sentiment analysis approach using edge computing-based deep learning technique
Timetabling Through Constrained Heuristic Search and Genetic Algorithms
The Design and Use of a Prolog Trace Generator for CSP
Profiling Prolog Programs
Automatic detection and replacement of syntactic constructs causing shift/reduce conflicts
A Simulator for Real-Time Software Debugging and Testing
Data dimensionality reduction techniques for Industry 4.0: Research results, challenges, and future research directions
Filter objects for Java
Quasiparallel Tracing
Linkage Analysis of Processes
Toward an autonomic approach for Internet of Things service placement using gray wolf optimization in the fog computing environment
Evaluation and optimization of method calls in Java
UKI: universal Kinect-type controller by ICE Lab
A Hypervideo System Generator
The Avatars of a Package for Calendars in Ada
Developing tools as plug-ins: TOPI 2011 special issue editorial
Early Response Framework for Accident Detection and Prevention Through Multi-Zone Fog-Cloud Collaboration for Safety-Critical Applications
Music-A Language for Typesetting Music Scores
A Portable Trace for the Pascal Heap
River: an intermediate language for stream processing
A unified and flexible solution for integrating CRL and OCSP into PKI applications
ADARC: An anomaly detection algorithm based on relative outlier distance and biseries correlation
Seamlessly integrating similarity queries in SQL
PL/I as a Discrete Event Simulation Tool
Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model
Recovering disk storage metrics from low-level trace events
Ode Triggers: Monitoring the Stock Market
Evaluating management and orchestration impact on closed-loop orchestration delay
Extension Table Built-ins for Prolog
Postlude to a PASCAL-Compiler Bootstrap on a DECSystem-10
ClassBench: A Framework for Automated Class Testing
Making Form Follow Function: An Exercise in Functional Programming Style
A Monitor for Small Computers
Bootstrapping XPL to an XDS Sigma 5 Computer
A Comparison of Object-oriented Programming in Four Modern Languages
Routines: An Argument against the Conventional Approach to Functions and Procedures
Inter-process Communication in MVS/XA and Applications for Scientific and Engineering Information Processing
A Functional Processor for the Relational Algebra on a Microcomputer
Editorial: Middleware
Automatic layout of statecharts
Profiling under ELXSI UNIX
Representing variability in a family of MRI scanners
A systematic literature review on the detection of smells and their evolution in object-oriented and service-oriented systems
Implementing an Extended Functional Data Model Using PS-algol
Klava: a Java package for distributed and mobile applications
Development of the ZED Text Editor
Consistently faster and smaller compressed bitmaps with Roaring
Efficient task offloading with swarm intelligence evolution for edge-cloud collaboration in vehicular edge computing
Evaluating Multi-Label Machine Learning Models for Smart Home Environments
Software Engineering Techniques used in the Development of the Cambridge Multiple-Access System
Non-recursive Top-down Syntax Analysis
More comments on 'A cohesion measure for object-oriented classes' by Heung-Seok Chae, Yong-Rae Kwon and Doo-Hwan Bae
Failover strategy for fault tolerance in cloud computing environment
The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs
Hardware trace reconstruction of runtime compiled code
Experience with PMS-Prolog: a Distributed Coarse-grain-parallel Prolog with Processes, Modules and Streams
PD-Gait: Contactless and privacy-preserving gait measurement of Parkinson's disease patients using acoustic signals
Scheduling for a Share of the Machine
Engineering information integration using object-oriented mediator technology
The role of superior image composition in children's analogical reasoning
The Ilem Project: Pascal to Algol in Easy Stages I: Outward Bound
Odyssey: a high-performance clustered video server
A survey report of enhancements to the visitor software design pattern
Assigning people to roles in software projects
Efficient Combination of Index Tables and Hashing
A New Algorithm for Generating Hilbert Curves
Special issue on Big Data and Cloud of Things (CoT)
The Performance of Message-passing Using Restricted Virtual Memory Remapping
Implementation Issues in the Development of the PARSEC Parser
Designing a resource broker for heterogeneous grids
An Effective Program Development Environment for BCPL on a Small Computer
FC++: Functional tools for object-oriented tasks
The Floyd-Warshall all-pairs shortest paths algorithm for disconnected and very sparse graphs
A flexible approach for virtual machine selection in cloud data centers with AHP
Experiences with a Schematic Logic Preprocessor
Reverse engineering 4.7 million lines of code
A moth-flame optimization algorithm for web service composition in cloud computing: Simulation and verification
Edison -N-an Edison Implementation for a Network of Microcomputers
Bridging concrete and abstract syntaxes in model-driven engineering: a case of rule languages
Toward Linux kernel memory safety
Standard versus uniform binary search and their variants in learned static indexing: The case of the searching on sorted data benchmarking software platform
Optimizing data stream processing for large-scale applications
P 3 : a code and design conventions preprocessor for Java
Differential Evaluation: a Cahe-based Technique for Incremental Update of Graphical Displays of Structures
Scaling J2EE TM application servers with the Multi-tasking Virtual Machine
Using Convert to Transform Source Code
Designing and Implementing Multi-user Applications: a Case Study
A Semiblock Structure for Low-level Languages
Syntax Directed Program Editing
Predicting change in newly created files in a software product line project
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP
Detecting memory leaks in managed languages with Cork
An empirical evaluation of several test-a-few strategies for testing particular conditions
Scientific computing with Java and C++: a case study using functional magnetic resonance neuroimages
A Modula-2 Kernel for Supporting Monitors
Optimization of Structured Programs
EURECA: End-user requirements engineering with collaborative animation
On the Distributed Parallel Simulation of Hopfield's Neural Networks
GraphRedex: Look at your research
A multi-dimensional incentive mechanism based on age of update in hierarchical federated learning
Transducers are Type-converters
Implementing a Zooming User Interface: Experience Building Pad++
Service-level agreement-aware scheduling and load balancing of tasks in cloud
FIDEL: Fog integrated federated learning framework to train neural networks
Evaluation of a CPU Scheduling Mechanism for Multimedia Systems
Interconnecting Interactive and Remote Parallel Components Using Schooner
Implementing a Simulation Tool in a High-Level Language with no Multitasking Facilities
Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR
TraceChain: A blockchain-based scheme to protect data confidentiality and traceability
Roaring bitmaps: Implementation of an optimized software library
Implementing ALGOL 68 Predicates
A method to acquire cross-domain requirements based on Syntax Direct Technique
Error Reporting and Recovery in Sangrah
TALK-An Interactive System for a Small Computer
A First Exploration of PrologIII's Capabilities
A Process Oriented Simulation Model Specification and Documentation Language
Model-driven design of collaborative Web applications
A Structure for Access Control Lists
Adaptability mechanisms for autonomic system implementation with AAOP
Energy-aware resource management in fog computing for IoT applications: A review, taxonomy, and future directions
Blackboard-based Extensions in Prolog
InteropUnityCUDA: A Tool for Interoperability Between Unity and CUDA
Next-generation human-robot interaction with ChatGPT and robot operating system
Tm: a Code Generator for Recursive Data Structures
Online anomaly detection for multi-source VMware using a distributed streaming framework
Microcomputers vs. Mainframe Simulations: a Case Study
Transformer: an adaptation framework supporting contextual adaptation behavior composition
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
An Internet of Things-enabled decision support system for circular economy business model
SRE-A Syntax Recognizing Editor
Lightweight migration for web applications with framework separation
Computer Programming and the Human Thought Process
The Distributed Operating System of the SMD Project
A Systematic Approach to Fuzzy Parsing
Migrating legacy video lectures to multimedia learning objects
Design and implementation of Acceptance Monitor for building intrusion tolerant systems
A middleware solution for integrating and exploring IoT and HPC capabilities
A thermal-aware VM consolidation mechanism with outage avoidance
An Investigation into Concurrent Semantic Analysis
Improving a lightweight LZ77 computation algorithm for running faster
On the Performance and Memory Footprint of Distributed Training: An Empirical Study on Transformers
ParTransgrid: A scalable parallel preprocessing tool for unstructured-grid cell-centered computational fluid dynamics applications
A thousand years of productivity: the JRebel story
An Event Frequency-Inverse Session Frequency Based Weighting Mechanism for Data Embedding Methodologies
Analyzing and addressing false interactions during compiler optimization phase ordering
Exploiting long-term and short-term preferences and RFID trajectories in shop recommendation
CIRL/PIWI: a GUI Toolkit Supporting Retargetability
Real-time BASIC for Laboratory Use
Step to an Efficient Program for Floating-point Summation
MMRUC3: A recommendation approach of move method refactoring using coupling, cohesion, and contextual similarity to enhance software design
Compiler Performance Analysis Tools
Adding Run-time Checking to the Portable C Compiler
The Compilation of Ada
Building Adaptive Systems Using Ensemble
Program Monitoring and Analysis: Software Structures and Architectural Support
Author classification using transfer learning and predicting stars in co-author networks
Qualitative and quantitative analysis and comparison of Java distributed architectures
A Data-directed Approach to Program Construction
Hard-coding Bottom-up Code Generation Tables to Save Time and Space
An object-oriented interface for the dynamic memory management of sparse discrete mathematical operators in numerical scientific applications
A Case Study: Productivity and Quality Gains Using an Object-Oriented Framework
Semi-automatic grammar recovery
SPOPB: Reducing solid state drive write traffic for flash-based key-value caching
LibVM: an architecture for shared library sandboxing
Climbing out of a software black hole
How I Fought with Hardware and Software and Succeeded
Foreet: A Tool for Design and Documentation of Fortran Programs
Using frameworks to develop a distributed conferencing system: an experience report
A new approach to authenticating and encrypting Voice over Internet Protocol communications
MOAManager: A tool to support data stream experiments
A framework for the development of videogames
Container lifecycle-aware scheduling for serverless computing
A model-based framework for automatic generation of a pattern language verifier
Evaluating system architectures for driving range estimation and charge planning for electric vehicles
Optimizing precision overhead for x86 processors
K8sidecar: A Modular Kubernetes Chain of Sidecar Proxies for Microservices and Serverless Architectures
A File Replication Facility for Berkeley Unix
HEART: Unrelated parallel machines problem with precedence constraints for task scheduling in cloud computing using heuristic and meta-heuristic algorithms
A Distributed Real-time Operating System
SPINE: a domain-specific framework for rapid prototyping of WBSN applications
Tools for Visual and Numerical Data Entry
Cluster Computing: The Commodity Supercomputer
How do open source app developers perceive API changes related to Android battery optimization? An empirical study
A large-alphabet-oriented scheme for Chinese and English text compression
Pascal-Plus-Another Language for Modular Multiprogramming
Non-'Interpretive' FORTRAN Input/Output
Cross-profiling for Java processors
Debugging mixed-environment programs with Blink
DOMICO: Checking conformance between domain models and implementations
Incremental frequency count - a post BWT-stage for the Burrows-Wheeler compression algorithm
Automated test case generation for the stress testing of multimedia systems
Development Methodologies for Scientific Software
Structured Dataflow Analysis for Arrays and its Use in an Optimizing Compiler
Implementation of a Special-purpose Language using Pascal Implementation Methodology
Workload characterization of JVM languages
Scheduling parameter sweep applications on global Grids: a deadline and budget constrained cost-time optimization algorithm
Experimental evaluation and improvements to linear scan register allocation
Freeze'nSense : estimation of performance isolation in cloud environments
Hints on Distributing Portable Software
A Design Medium for Software
Conditioned semantic slicing for abstraction; industrial experiment
The Measured Cost of Conservative Garbage Collection
Code Generation with a Recursive Optimizer
C : Adding modern programming language features to C
The Design and Implementation of Parametric Types in Pascal
IoT-fog-cloud based architecture for smart systems: Prototypes of autism and COVID-19 monitoring systems
Software release management for component-based software
Multiple query optimization in middleware using query teamwork
A Modular Operating System for the CRAY-1
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification
Implementation of a Retrospective Tracing Facility
Building extensible routers using network processors
Toward characterizing HTML defects on the Web
Cold object identification in the Java virtual machine
Using Multicast Communications to Distribute Code and Data in Wide Area Networks
Does your code need comment?
Selecting the Median and Two Quartiles in a Set of Numbers
Cross-layer resource control and scheduling for improving interactivity in Android
Catching Remote Administration Trojans ( RATs )
A New Fast and Safe Marking Algorithm
RCS - A System for Version Control
Declarative Specification of the Architecture of a Software Development Environment
Efficient compilation strategy for object-oriented languages under the closed-world assumption
Component and service-oriented distributed embedded real-time systems (Extended papers from ISORC 2010)
Diagnostic Messages
Documentation for Computer Users
Innovative software systems for managing the impact of the COVID-19 pandemic
The automatic creation of OLAP cube using an MDA approach
Marmot: an optimizing compiler for Java
The PROSIT tool: Toward the optimal design of probabilistic soft real-time systems
Search Multiple Types of Research Assets From Jupyter Notebook
Comparative study of support vector machines and random forests machine learning algorithms on credit operation
Code optimizations for a VLIW-style network processing unit
DewSim: A trace-driven toolkit for simulating mobile device clusters in Dew computing environments
Engineering order-preserving pattern matching with SIMD parallelism
An Implementation of Disk Objects in the Logical Machine Monitor
The Costs an Benefits of Lazy Interactive Input in Pascal
Experiences with the Portability of Concurrent PASCAL
Model-based digital twins of medicine dispensers for healthcare IoT applications
Minivital: A Compiler Case Study
Availability analysis of design configurations to compose virtual performance-optimized data center systems in next-generation cloud data centers
MIRA-3D: A Three-Dimensional Graphical Extension of Pascal
LOCAL++: A C++ framework for local search algorithms
A sensitive object-oriented approach to big surveillance data compression for social security applications in smart cities
A rule-based procedure for automatic recognition of design patterns in UML diagrams
RADF: Architecture decomposition for function as a service
An Analysis of Pascal Programs in Compiler Writing
FPFTS: A joint fuzzy particle swarm optimization mobility-aware approach to fog task scheduling algorithm for Internet of Things devices
MRPC: A High Performance RPC System for MPMD Parallel Computing
An Assessment of Modula
Use of a Formal Notation for Static Semantics in Compiler Design
Ontology-based employer demand management
Ada's Derived Types and Units of Measure
UbiCrawler: a scalable fully distributed Web crawler
A Static Analysis of Pascal Program Structures
An iterative mathematical decision model for cloud migration: A cost and security risk approach
Towards a Toolkit for Building Language Implementations
Concurrency Contracts for Designing Highly Available Replicated Data Types
Client ahead-of-time compiler for embedded Java platforms
Eliminate Flowchart Drawings
Deep domain adversarial residual neural network for sustainable wind turbine cyber-physical system fault diagnosis
Design of a Remote Procedure Call System for Object-Oriented Distributed Programming
The PFORT Verifier
A Program Structuring Preprocessor for a Macro Assembly Language
A Message Distribution Technique and its Application to Network Control
Techniques for File System Simulation
A comparison study of 12 paradigms for developing embodied agents
Resource provisioning in collaborative fog computing for multiple delay-sensitive users
A Portable Virtual Machine for Ada
An Inheritance Model for Supporting Flexible Displays of Data Structures
A Space-efficient Code Generation Scheme for BCPL
A Note on Searching in a Binary Search Tree
An event routing service for distributed applications: computer telephony - a case study