yusuke1997/dblp-id-title huggingface dataset:
Another Program for Drawing Diagrams
GMB: A Tool for Manipulating and Animating Graph Data Structures
Metaheuristics in cloud computing
Object counting in remote sensing via selective spatial-frequency pyramid network
EDISON-DATA: A flexible and extensible platform for processing and analysis of computational science data
A System for Adaptive Disk Rearrangement
Parsing Non-LK( k ) Grammars with Yacc
Unbounded Computational Structures
On-Demand Deployment of Edge Cloud Infrastructures for Federated Learning
A survey on statistical disclosure control and micro-aggregation techniques for secure statistical databases
Optimized succinct data structures for massive data
A New Programming Discipline
CloudSimSDN-NFV: Modeling and simulation of network function virtualization and service function chaining in edge computing environments
Heuristic compression of an English word list
Executable Specifications with Data-flow Diagrams
Inaccuracies in Program Profilers
Some Features of a Real-time BASIC Executive
Designing expression templates with concepts
A Multi-protocol Campus Time Server
DevOps benefits: A systematic literature review
Conversion of Simulation Processes to Pascal Constructs
SCOZ: A system-wide causal profiler for multicore systems
A compliant persistent architecture
Virtual Prototyping of Cellular Phones
Scalar Replacement in the Presence of Conditional Control Flow
A semantically enabled architecture for interoperable edge-cloud continuum applied to the e-health scenario
Efficient Prolog Programming
Retrieval of Reusable Components Using Functional Similarity
Compiler-assisted Full Checkpointing
A multidomain virtual network embedding algorithm based on multiobjective optimization for Internet of Drones architecture in Industry 4.0
Editing Mathematical Formulae
FUMBLR: A Pascal Program for Initializin Memory
Cover Image Volume 48, Issue 11
Vertex-labeling algorithms for the Hilbert spacefilling curve
MASH: tool integration made easy
MPL1700-A High(er)-level Microprogramming Language
Identification of monolith functionality refactorings for microservices migration
Java Native Interface idioms for C++ class hierarchies
Runtime and Language Support for Compiling Adaptive Irregular Programs on Distributed-memory Machines
Timing Trials, or the Trials of Timing: Experiments with Scripting and User-Interface Languages
Modification of the Pascal-P Compiler for a Single-accumulator One-address Minicomputer
The Portability of the BCPL Compiler
Coroutines for C Reconsidered
Synchronous/Reactive Programming of Concurrent System Software
Context-based transfer learning for low resource code summarization
Partial migration technique for GPGPU tasks to Prevent GPU Memory Starvation in RPC-based GPU Virtualization
Strongly Typed User Interfaces in an Abstract Data Store
A model-driven approach to automatic conversion of physical units
Evaluating the suitability of state-based formal methods for industrial deployment
Leveraging the Power of Images: Image Recommendation to Enhance Issue Reports
Talents: an environment for dynamically composing units of reuse
On the design of CGAL a computational geometry algorithms library
The Oberon System Family
Ongoing verification of a multiphysics community code: FLASH
DILAF: A framework for distributed analysis of large-scale system logs for anomaly detection
Low Cost Computer Graphics for Micro Computers
Proximate sharing of geo data using the credit-considered mobile edge computing server switching control scheme
Contextual attribute-based access control scheme for cloud storage using blockchain technology
A dependency-aware ontology-based approach for deploying service level agreement monitoring services in Cloud
VM aware journaling: improving journaling file system performance in virtualization environments
Installing an ASP System
Encoding and Decoding the Hilbert Order
Managing schema evolution in a container-based persistent system
Experiences Structuring Software in a Periodic Real-time Environment
Fast matrix multiplication via compiler-only layered data reorganization and intrinsic lowering
An infrastructure for generating and sharing experimental workloads for persistent object systems
Executing Continuation Semantics
PIGS-A System for Programming with Interactive Graphical Support
Pragmatic integrated scheduling for clustered VLIW architectures
Transcoding web pages via stylesheets and scripts for saving energy on the client
Service level agreement specification for end-to-end IoT application ecosystems
A Layer on Top of Prolog for Composing Behavioural Constraints
Browserbite: cross-browser testing via image processing
Efficient POSIX submatch extraction on nondeterministic finite automata
Fast Allocation and Deallocation of Memory Based on Object Lifetimes
Using adaptive resource allocation to implement an elastic MapReduce framework
Towards design pattern definition language
GISQAF: MapReduce guided spatial query processing and analytics system
Data Metastructures
Record Manipulation in Prolog
The Myth of Multiprogramming
Focus section on program debugging
Improving software security with static automated code analysis in an industry setting
Improving the Efficiency of Direct-Memory-Access Output Operations
Multiple Precision Floatingpoint Computation in FORTRAN
An Experiment with the Newcastle Connection Protocol
XHAMI - extended HDFS and MapReduce interface for Big Data image processing applications in cloud computing environments
PICTURES-68 MK1
SDSN@RT: A middleware environment for single-instance multitenant cloud applications
On the comprehension of application programming interface usability in game engines
FcgiOCSP: a scalable OCSP-based certificate validation system exploiting the FastCGI interface
Experiences with object group systems
An optimal container update method for edge-cloud collaboration
Round-Pound Arithmetic
Runtime Monitoring Abnormalities in Object Detection With Spatial and Temporal Abstractions
Software Visualization of LR Parsing and Synthesized Attribute Evaluation
Incremental Semantic Evaluation in Language-based Editors
Decorating tokens to facilitate recognition of ambiguous language constructs
Data fusion analysis for attention-deficit hyperactivity disorder emotion recognition with thermal image and Internet of Things devices
CONA-A Conversational Algol System
PICASSO: a Graphical Query Language
Solving Synchronization Problems using Semaphores
Buffer Management Issues in the Implementation of Fast Interprocess Communication
The Mobile Programming System, Janus
The Structure of the MARY/2 Compiler
MACRO SPITBOL-a SNOBOL4 Compiler
An Optimizing Compiler for the Icon Programming Language
A Syntax-directed Integrated Programming Environment for Developing SIMD Supercomputer Software
Software Cost Estimation
Lalr - A Generator for Efficient Parsers
Meta: A Language System for Bitslice Applications
RESeED: A secure regular-expression search tool for storage clouds
Domain-specific visualization system based on automatic multiseed recommendations: Extracting stratigraphic structures
The Design and Implementation of a High-level Language Converter
Assignment of Independent Tasks to Minimize Completion Time
iFogSim: A toolkit for modeling and simulation of resource management techniques in the Internet of Things, Edge and Fog computing environments
A process partitioning technique for constructing decentralized web service compositions
A Software Teletype Exchange
A bit-counting algorithm using the frequency division principle
Erratum: A highly modular and extensible architecture for an integrated IMS-based authoring system: the <e-Aula> experience
Software Concurrency in Real Time Control Systems
Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity
Platform-independent profiling in a virtual execution environment
On Guards and Symbol Dependencies in Substring Search
Memoryless Execution: A Programmer's Viewpoint
SDFS: A software-defined file system for multitenant cloud storage
Predicting locally manageable resource failures of high availability clusters
SIPmsign: a lightweight mobile signature service based on the Session Initiation Protocol
Incremental Back-up Procedures
DIKE: a system supporting the semi-automatic construction of cooperative information systems from heterogeneous databases
A little language for modularizing numerical PDE solvers
Special Issue on benchmarking, experimentation tools, and reproducible practices for data-intensive systems from edge to cloud
Ontology patterns for service-oriented software development
Horn rule discovery with batched caching and rule identifier for proficient compressor of knowledge data
EasyLocal++: an object-oriented framework for the flexible design of local-search algorithms
The Implementation of Generators and Goal-directed Evaluation in Icon
Resource provisioning in Science Clouds: Requirements and challenges
Translating the ARM Neon and VFP instructions in a binary translator
TPF: a dynamic system thrashing protection facility
Deriving Complexity Information from a Formal Communication Protocol
The Practicality of Text Signatures for Accelerating String Searching
The Solo Operating System: A Concurrent Pascal Program
Cover Image Volume 48, Issue 8
Active Objects Made Easy
The Effect of Scope Delimiters on Program Comprehension
RuleSIM: a toolkit for simulating the operation and improving throughput of rule-based spam filters
DRIP: Segmenting individual requirements from software requirement documents
Illustrating Client and Implementation Readability Tradeoffs in Ada and C++
Collaborative experience between scientific software projects using Agile Scrum development
A Multithreaded Scheduler for a High-Speed Spacecraft Simulator
Path Testing of Computer Programs with Loops Using a Tool for Simple Loop Patterns
State-of-the-practice in quality assurance in Java-based open source software development
A Critique of Java
EdgeAuth: An intelligent token-based collaborative authentication scheme
Timing analysis of the PREEMPT RT Linux kernel
Design and implementation of task scheduling strategies for massive remote sensing data processing across multiple data centers
A Note on the Multics Command Language
Parsing millions of URLs per second
STLlint: lifting static checking from languages to libraries
Sensei: Enforcing secure coding guidelines in the integrated development environment
Sampled suffix array with minimizers
On the synthesis of metadata tags for HTML files
A Distributed Load-balancing Policy for a Multicomputer
Hardware/Software Trade-offs for Bitmap Graphics on the Blit
Flow-sensitive runtime estimation: an enhanced hot spot detection heuristics for embedded Java just-in-time compilers
Run-time Detection of Undefined Variables Considered Essential
PORTREP: A Portable Repeated String Finder
Providing digital identity and academic attributes through European eID infrastructures: Results achieved, limitations, and future steps
A Modular Fully-lazy Lambda Lifter in HASKELL
A Multicast Interface for UNIX 4.3
Validation of dynamic Web pages generated by an embedded scripting language
Assessing architectural drift in commercial software development: a case study
A MATLAB subset to C compiler targeting embedded systems
Towards a data-driven IoT software architecture for smart city utilities
Experiences with a Status Database
The Eductive Implementation of a Three-dimensional Spreadsheet
Using < stdio.h > in the Output of the FORTRAN to C Translator, f2c
Construction of an Interactive Programming Environment for Control of Theatrical-set Effects via Object-oriented Methods
User-level operating system transactions
An Empirical Analysis of Approach-Based Metrics Model for Architectural Erosion Detection
A Tutorial on Reed-Solomon Coding for Fault-Tolerance in RAID-Like Systems
Rapid simulator development for multicast protocol analysis
Implementing BCPL on the Borroughs B6700
A Simple Network Interacting Program's Executive (SNIPE)
In quest of the science in statistical fault localization
A Joyce Implementation
Implementing an Efficient Part-Of-Speech Tagger
Task Management in Ada-A Critical Evaluation for Real-time Multiprocessors
A data model for enabling deep learning practices on discovery services of cyber-physical systems
The Cost of Lexical Analysis
A Device Driver for Display Terminals
Vmgen - a generator of efficient virtual machine interpreters
Pewss: A platform of extensible workflow simulation service for workflow scheduling research
Partial dead code elimination on predicated code regions
The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization
Automatic Generation of Useful Syntax Error Messages
An Alternative to Young's Module Facility for Pascal
On the design of an advanced business rule engine
Dynamic slicing of concurrent AspectJ programs: An explicit context-sensitive approach
Syntax Driven COBOL Compilers-An Assessment
A crosswalk pedestrian recognition system by using deep learning and zebra-crossing recognition techniques
Modular Design for Simulation
Improving TLB performance on current chip multiprocessor architectures through demand-driven superpaging
COIVA: context-aware and ontology-powered information visualization architecture
Developing Java applications for a nuclear fusion experiment: a test case for Java applicability in a demanding environment
XSLT-based evolutions and analyses of design patterns
A music notation construction engine for optical music recognition
Evaluating the recovery-oriented approach through the systematic development of real complex applications
The Implementation of DTL
Programming distributed and adaptable autonomous components - the GCM/ProActive framework
A Simple Solver for Linear Equations Containing Nonlinear Operators
Debugging Programs that use Macro-Oriented Data Abstractions
A Scalability Test for Parallel Code
A Case Study in Rapid Prototyping
Exploiting the European Union trusted service status list for certificate validation in STORK: design, implementation, and lessons learnt
New Format for Flowcharts
Compaction of Diagnostic Messages for Compilers
Code-level model checking in the software development workflow at Amazon Web Services
Experimenting with Data Structures
Evaluating High Level Parallel Programming Support for Irregular Applications in ICC++
Shimba - an environment for reverse engineering Java software systems
An Operating System for Interactive Terminals
A Critical Comparison of Several Programming Language Implementations
An Intelligent Pascal Editor for a Graphical Oriented Workstation
Considerations for the Design of Array Processing Languages
STXXL: standard template library for XXL data sets
An empirical study of software change classification with imbalance data-handling methods
A real-time attack defense framework for 5G network slicing
Inter-Cloud architectures and application brokering: taxonomy and survey
The Design of an Operating System for a Scalable Parallel Computing Engine
Experience with a Conversational Parser Generating System
A Human-Computer Interface for Non-computer Specialists
Algorithm-oriented Generic Libraries
A computational approach for progressive architecture shrinkage in action recognition
Parallel Assignment Revisited
Autonomic rejuvenation of cloud applications as a countermeasure to software anomalies
GSL: A Requirements Specification Language for End-User Intelligibility
An Experiment with Inline Substitution
Orthogonality of Concerns in Module Closure
A Note on Radix Conversion for Integers
A Domain-Independent Software Reuse Framework Based on a Hierarchical Thesaurus
An Experiment in Abstract Machine Design
'Long Return': A Technique for Improving the Efficiency of Inter-module Communication
A metaheuristic-based data replica placement approach for data-intensive IoT applications in the fog computing environment
Data privacy protection model based on blockchain in mobile edge computing
Reformulation of the performance portability metric
Micro MUMPS: An Interactive Database Language for Micro-Computers
Comprehensive Tools for Assembler Construction
Understanding the behavior of compiler optimizations
A self-scalable load injection service
Virtual Storage on ICL 1900's
Analyzing business process management capabilities of low-code development platforms
An interactive method for extracting grammar from programs
Fast insertion methods of a double-array structure
Towards efficient federated learning-based scheme in medical cyber-physical systems for distributed data
Buffering for Sustained, High Speed Transfers
A recommendation system for repairing violations detected by static architecture conformance checking
Formulating efficient software solution for digital image processing system
An automatically-tuned sorting library
Inter-JVM Sharing
The use of mTags for mandatory security: a case study
DrawCAD: using deductive object-relational databases in CAD
Dynamic code compression for JavaScript engine
A novel vulnerability measure based on complex network communities
Notebook-as-a-VRE (NaaVRE): From private notebooks to a collaborative cloud virtual research environment
Adding multidimensionality to procedural programming languages
A secure neural network-based ranking approach for document searching in cloud data center
Llun - a high-level debugger for generated parsers
Applying artificial bee colony algorithm to the multidepot vehicle routing problem
CD++: a toolkit to develop DEVS models
Using meta-modeling in design and implementation of component-based systems: the SOFA case study
RATFOR-A Preprocessor for a Rational Fortran
When to use splay trees
Editorial to the Special Issue of Rapid System Prototyping'10
PAxSPL: A feature retrieval process for software product line reengineering
J3DV: A Java-based 3D database visualization tool
Response to 'More comments on: A cohesion measure for object-oriented classes'
Even Faster LR Parsing
Issues in Porting Software from C to C++
Spatio-Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety
The case for using Bridge Certificate Authorities for Grid computing
The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'
Name analysis for modern languages: a general solution
Design, implementation and verification of MILS systems
A Direct Access Technique for Sequential Files with Variable Length Records
A new evolutionism based self-adaptive multi-objective optimization method to predict software cost estimation
Experimental evaluation of various register-pressure-reduction heuristics
A Persistent Graphics Facility for the ICL PERQ
A Highly Reliable File System which Supports Multiprocessing
The Evaluation of Software Systems' Structure Using Quantitative Software Metrics
Editors: Two for the Price of One
A Fortran Language System for Mutation-based Software Testing
System and software designs for transaction processing in asymmetric communication environments
An efficient list-based task scheduling algorithm for heterogeneous distributed computing environment
A Distributed Graphics Library System
Standalone noise and anomaly detection in wireless sensor networks: A novel time-series and adaptive Bayesian-network-based approach
Fast String Matching using an n -gram Algorithm
Concurrent Pascal with Backward Error Recovery: Language Features and Examples
A Semantically-based Formatting Discipline for Pascal
A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software
Re-creation of Source Code from Reverse Polish Form
COPAS-A Conversational Pascal System
Unix Music Tools at Bellcore
Automating Algorithm Experiments With ALGator: From Problem Modeling to Reproducible Results
Instrumenting and tuning dataView - a networked application for navigating through large scientific datasets
Executing Large Graphics Programs with a Small Computer
Designing Storage Management Schemes for Block-structured Languages
Finite-state model extraction and visualization from Java program execution
DeViouS: A Distributed Environment for Computer Vision
Engineering faster sorters for small sets of items
Some Aids for Program Documentation
A New Dimension for the Unix File System
Taming access control security: extending capabilities using the views relationship
JAC: an aspect-based distributed dynamic framework
Profiling with AspectJ
Just-in-time defect prediction for software hunks
The design of a Virtual Library of Emblem Books
Specifying a role-based guide for learning to work with an enterprise framework
Message piece dissemination approach for opportunistic underwater sensor network invaded by underwater spy-robots
A dependency constraint language to manage object-oriented software architectures
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation
Relative debugging in an integrated development environment
Monitoring and Debugging Distributed Real-time Programs
Experience with Distributed Smalltalk
Grammar-based test generation with YouGen
LETOS - a lightweight execution tool for operational semantics
RDB2RDF: A relational to RDF plug-in for Eclipse
Variable Association in SNOBOL4
Online multitarget tracking system for autonomous vehicles using discriminative dictionary learning with embedded auto-encoder algorithm
An Overview of the Yale Gem System
Forward-adaptive Method for Context-based Compression of Large Binary Images
The Design and Implementation of Genesis
SubCollaboration: large-scale group management in collaborative learning
An Empirical Study of FORTRAN Programs
Array Handling in Cobol Compilers
A research C# compiler
Pointer Variables in Concurrent Pascal
Platform-independent code conversion within the C++ locale framework
Towards pattern-based architectures for event processing systems
An Assessment of the XR Project for Compiler Development and Transportation
Security analytics for real-time forecasting of cyberattacks
Automated scheduling for clone-based refactoring using a competent GA
A large-scale study of the evolution of Web pages
The Object-JavaScript language
User Acceptance: Design Considerations for a Program Generator
A High-level Debugger for PL/I, Fortran and Basic
An Architectural Approach to Improved Program Maintainability
The Design of a Terminal Independent Package
Towards a pattern-based model transformation framework
Migrating monolithic applications to function as a service
A secure migration process for mobile agents
An efficient object promotion algorithm for persistent object systems
A novel malware for subversion of self-protection in anti-virus
Concurrent C
Advanced data integration in banking, financial, and insurance software in the age of COVID-19
Developing WWW-based highly interactive and collaborative applications using software components
A parallel portfolio approach to configuration optimization for large software product lines
Automated test-data generation for exception conditions
Managing business lifecycle using ebIOP
Symbol Ranking Text Compressors: Review and Implementation
Efficiency in the serverless cloud paradigm: A survey on the reusing and approximation aspects
Perly-UNIX with Buttons
Workload Characterization for Timesharing System Selection
A translator system for the MATLAB language
Microservices migration patterns
A Vector C and Fortran Compiler for the FPS T-Series: Experiences with Compiling to occam I
Revisiting dictionary-based compression
GitRanking: A ranking of GitHub topics for software classification using active sampling
Generation of Interactive Displays from FORTRAN using the PDP-10/LSD-1 Computer Graphics System
Query by Diagram: a Visual Environment for Querying Databases
Segments on Bit-mapped Graphics Displays
A Secure On-line Submission System
Field of experts optimization-based noisy image retrieval
Backtrack Search Algorithms and the Maximal Common Subgraph Problem
A Source Code Control System Based on Semantic Nets
Safe, multiphase bounds check elimination in Java
Hadoop framework: impact of data organization on performance
The Portable Compiling Systems of MUSS
Higher Level Programming and Data Abstractions-A Case Study Using Enhanced C
Regression test suite minimization using integer linear programming model
Immediate Files