yusuke1997/dblp-id-title huggingface dataset:
Implementing a File Transfer Protocol between PDP11 and PRIME 550 Computers
ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications
Disk Scheduling at Compile Time
An Application of Compiler Technology to the Year 2000 Problem
Stretching your data with taffy filters
Follow Set Error Recovery
Process-graph Analyser: A Front-end Tool for VHDL Behavioural Synthesis
A Framework for Modelling Graphic Interactions
GNU Emacs as a Dynamically Extensible Programming Environment
LZ trie and dictionary compression
Software Segmented Virtual Memory
STOIC, an Interactive Programming System for Dedicated Computing
Detection of microservice-based software anomalies based on OpenTracing in cloud
Enterprise frameworks for workflow management systems
Architecture violations detection and visualization in the continuous integration pipeline
Hate-UDF: Explainable Hateful Meme Detection With Uncertainty-Aware Dynamic Fusion
Design and Implementation Aspects of an Experimental C++ Programming Environment
An improved distributed concolic testing approach
Experience with the Universal Intermediate Language Janus
Enhancing OSGi with real-time Java support
A personalized search engine based on Web-snippet hierarchical clustering
The Joyce Language Report
Lazy Recursive Descent Parsing for Modular Language Implementation
Editorial: ICCCN 2001
A Debugger for Parallel Processes
A service-based runtime environment for native applications
The anatomy of big data computing
MAP: A Pascal Macro Preprocessor for Large Program Development
Software fault prediction using particle swarm algorithm with genetic algorithm and support vector machine classifier
Document Preparation Systems
A diagnostic environment for automaton networks
A Mixed Language System POP-2 and FORTRAN
Collaboration using Roles
A hybrid positioning system for technology-independent location-aware computing
'R-What?' Development of a role-based access control policy-writing tool for e-Scientists
Drug investigation tool: Identifying the effect of drug on cell image by using improved correlation
Implementing Dynamic Minimal-prefix Tries
Implementing Interactive Applications in C++
ROME4EU - A service-oriented process-aware information system for mobile devices
A standard-based architecture to support learning interoperability: A practical experience in gamification
Effective strategic programming for Java developers
GPROC-An Integrated System for the Processing of Numerical Scientific Data
Simplifying dynamic programming via mode-directed tabling
An Electronic Secretary
A review of the application of virtual and augmented reality in physical and occupational therapy
A text pattern-matching tool based on Parsing Expression Grammars
Fast, accurate call graph profiling
Systems Implementation Languages and IRONMAN
Automatic Synthesis of State Machines from Trace Diagrams
An integration approach of hybrid databases based on SQL in cloud computing environment
Exogenous coordination of concurrent software components with JavaBIP
Implementing Data Abstraction Features in a Stackbased Language
QS: a Tool for General Data Input
A Dialogue Generator
An Almost Path-free Very High-level Interactive Data Manipulation Language for a Microcomputer-based Database System
An Analysis/Synthesis Interface for Pascal Compilers
Is There a Correlation Between Readme Content and Project Meta-Characteristics?
A Database of Groups of Prime-power Order
Visualizing a Hierarchy of Performance Models for Software Systems
A static region-based compiler for the Dalvik virtual machine
NORA: Scalable OWL reasoner based on NoSQL databases and Apache Spark
Cloud broker proposal based on multicriteria decision-making and virtual infrastructure migration
Distributed applications and interoperable systems (Extended papers from DAIS'10)
An Economical Implementation of the High Level Real-time Language PEARL on Microcomputers: Intel RMX86-PEARL
The Design of an Object-oriented Command Interpreter
Compiling Techniques to Exploit the Pattern of Language Use
The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems
Aspects of Reference Locality in List Structures in Virtual Memory
SATHE: Some Aspects of an ALGOL Implementation
Guidelines for supporting real-time multi-touch applications
A data-centric framework for debugging highly parallel applications
Emulating an Operating System on Top of Another
Semantic ACID Properties in Multidatabases Using Remote Procedure Calls and Update Propagations
Comparative Timings of Three Different Set Implementations in Occam
A Practical Approach to Data Modelling in Spatial Applications
Forward-declared Procedures, Parameter-lists and Scope
The simple and powerful yfx operator precedence parser
Experience Realising a Meta-model for Wide System Understanding: The Global System Model
Automatic parallel control structures in SequenceL
Yacc in Sasl-an Exercise in Functional Programming
The Second Law of Debugging
Achieving accurate and context-sensitive timing for code optimization
JumpBackHash: Say Goodbye to the Modulo Operation to Distribute Keys Uniformly to Buckets
JAMES: An object-oriented Java framework for discrete optimization using local search metaheuristics
Building a Retargetable Local Instruction Scheduler
FIRE/J - optimizing regular expression searches with generative programming
Control of Queues in a Permissive Siciety
Programs as Higher Level Subroutines
Experiences in developing the mCRL2 toolset
A Bloom filter based semi-index on q -grams
Privacy-preserving model splitting and quality-aware device association for federated edge learning
A Programmable Text Editor
An architecture for extensible middleware platforms
The Mungi Single-Address-Space Operating System
Rapidly implementing languages to compile as C++ without crafting a compiler
Enhanced Aiot Multi-Modal Fusion for Human Activity Recognition in Ambient Assisted Living Environment
Comments on A cohesion measure for object-oriented classes by Heung Seok Chae, Yong Rae Kwon and Doo Hwan Bae
A Function for Generating Nearly Balanced Binary Search Trees from Sets or Non-random Keys
Quick Subset Construction
Big data for smart cities with KNIME a real experience in the SmartSantander testbed
A systematic mapping study of software performance research
Runtime recovery actions selection for sporadic operations on public cloud
Automatic builder of class diagram (ABCD): an application of UML generation from functional requirements
A Robust Distributed Solution to the Dining Philosophers Problem
Big data deployment in containerized infrastructures through the interconnection of network namespaces
Workplace Microkernel and OS: A Case Study
Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation
SchedSP: a Grid-based application service provider of scheduling solutions
Generation of logic designs for efficiently solving ordinary differential equations on field programmable gate arrays
A Survey of Systems Programming Languages: Concepts and Facilities
Rewriting Executable Files to Measure Program Behavior
Short Algorithms for Space-Filling Curves
To secure XML documents with the extension function of XSLT
Automatic Synthesis of Compression Techniques for Heterogeneous
Debugging Techniques
Code samples summarization for knowledge exchange in developer community
MemSafe: ensuring the spatial and temporal memory safety of C at runtime
Toward reusable SLA monitoring capabilities
Two Unusual Methods for Debugging System Software
Variable Number of Parameters in Typed Languages
The Creation of a Virtual NAG-Algol 68 Program Library
Decompilation of Binary Programs
Implementing a Symbolic Music Processing System
MILLIPEDE: Easy Parallel Programming in Available Distributed Environments
Dimensional Flowcharting
Execution profiling blueprints
Logic Programming and Compiler Writing
Writing Algorithms in ALGOL 60
Three-tier replication for FT-CORBA infrastructures
What Was, What Is and What Should Have Been. A Critical Evaluation of the Chilton Multi-Access System
Structured FORTRAN Preprocessors Generating Optimized Output
The Peregrine High-performance RPC System
Implementing a Compiler-Based Test Tool
JaRec: a portable record/replay environment for multi-threaded Java applications
Optimizing Stack Frame Accesses for Processors with Restricted Addressing Modes
The Design of a Language Processor Generator
Bug detection in Java code: An extensive evaluation of static analysis tools using Juliet Test Suites
Mining extremely small data sets with application to software reuse
Substituting outline fonts for bitmap fonts in archived PDF files
Modeling performances of concurrent big data applications
Univers: An Attribute-based Name Server
A ubiquitous IAs access platform (UIAP) over UPnP
IFCnCov: An IoT-based smart diagnostic architecture for COVID-19
An extensible probe architecture for network protocol performance measurement
A general purpose font module for multilingual application programs
Compile-Time Detection of Aliasing in Euclid Programs
The STAB Multiprocessing Environment for CYBA-M
A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines
Computing with Graphs and Graph Transformations
The analysis of architectural languages for the needs of practitioners
LR Parsing of CFGs with Restrictions
Planning the Software for a Personal Research Contract
A Network Screen Editor Implementation
A taxonomy of computer-based simulations and its mapping to parallel and distributed systems simulation tools
Non-recursive Recursion
A traffic hotline discovery method over cloud of things using big taxi GPS data
The Formal Definition of Human/Machine Communications
An Efficient Implementation of Trie Structures
Using roles in Java
Experience with an efficient parallel kernel memory allocator
Modified deep belief network based human emotion recognition with multiscale features from video sequences
Packaging software process improvement issues: a method and a case study
Blockchain for Health IoT: A privacy-preserving data sharing system
A tool for converting Linux device drivers into Solaris compatible binaries
Perfect class hashing and numbering for object-oriented implementation
NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts
Better Naive Bayes classification for high-precision spam detection
Pascal Scalars as State Indicators
Architecting and implementing distributed Web applications using the graph-oriented approach
Extending a Functional Programming System for Embedded Applications
A metaheuristic optimization approach for energy efficiency in the IoT networks
Meta-Assembly: A Fresh Assessment
An architectural pattern for designing component-based application frameworks
The Cost of a Generated Parser
Spatiotemporal-based sentiment analysis on tweets for risk assessment of event using deep learning approach
Enabling the generation of web applications from mockups
Reducing the space requirement of suffix trees
The Three-Layer architectural pattern applied to plug-in-based architectures: the Eclipse case
On the analysis of makespan and performance of the task-based execution model for enterprise application integration platforms: An empirical study
Building an automated and self-configurable emulation testbed for grid applications
Arbitrary Precision Artihmetic in Algol 68
An Interactive Manager for Pascal Software
Survey on the run-time systems of enterprise application integration platforms focusing on performance
The Robust Implementation of Sequence-Controlled Iteration
Using the Programming Walkthrough to Aid in Programming Language Design
A Review of Design Techniques for Programs and Data
Software and hardware co-design for sustainable cyber-physical systems
SOBS-An Incremental BASIC System
An Addendum to G. S. Blair, J. A. Mariani and W. D. Shepherd: 'Practical Extension to UNIX for Interprocess Communication'
Compiling Short-circuit Boolean Expressions in One Pass
Grids and Grid technologies for wide-area distributed computing
Exploring Influence Factors on LLM Suitability for No-Code Development of End User Applications
ADIC: An Extensible Automatic Differentiation Tool for ANSI-C
SALOON: a platform for selecting and configuring cloud environments
UNIX with Satellite Processors
Efficient implementation of lazy suffix trees
Designing future-context-aware dynamic applications with structured context prediction
A suite of abstract domains for static analysis of string values
Exploiting tag similarities to discover synonyms and homonyms in folksonomies
CREW: Cost and Reliability aware Eagle-Whale optimiser for service placement in Fog
Security-based code smell definition, detection, and impact quantification in Android
Comparing Observed Bug and Productivity Rates for Java and C++
PFACC: An OpenACC-like programming model for irregular nested parallelism
Early Experience with ASDL in lcc
A Structural Testing Method for JSP Designed Programs
Introducing agile customer-centered development in a legacy software product line
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
A High Speed Computer-to-Computer Data Link
Software product line migration and deployment
The Calibration and Validation of a Hybrid Simulation/Regression Model of a Batch Computer System
An on-line performance visualization technology
The Automatic Generation of Fast Lexical Analysers
DirectJ: Java APIs for optimized 2D graphics
Language Issues in the Implementation of a Kernel
An Assessment of a New Technique for the Representation of Boolean Matrices
Schrödinger's token
A federated learning attack method based on edge collaboration via cloud
SPHT: A scalable and high-performance hashing scheme for persistent memory
Effective and efficient Java-type obfuscation
A Note on Internal Merging
Emerald: A General-Purpose Programming Language
Incremental parsing in language-based editors: user needs and how to meet them
A task-based and resource-aware approach to dynamically generate optimal software architecture for intelligent service robots
TGMS: An Object-oriented System for Programming Geometry
A Simultation Testbed based on Lightweight Processes
A Numerical Profile of Commercial PL/I Programs
Issues and Experiences in Implementing a Distributed Tuplespace
An asynchronous collaborative reconciliation model based on data provenance
Applying Security Design Analysis to a service-based system
SPOON: A library for implementing analyses and transformations of Java source code
Experience report: evolution of a web-integrated software development and verification environment
An autonomous IoT service placement methodology in fog computing
Hybrid Genetic Algorithms for a Rostering Problem
The Seismic Kernel System-a Large-scale Exercise in Fortran 77 Portability
Interactive Documentation
Face detection based on multilayer feed-forward neural network and Haar features
A Portable PDP-11 Simulator
A Compact, Portable CRT-based Text Editor
Performance Analysis of Particle-match Search Algorithms for BD Trees
Parallel Context-sensitive Compilation
OPAL: An extensible framework for ontology-based program analysis
Algorithms for BD Trees
Syntax-directed Compression of Program Files
Flexible data anonymization using ARX - Current status and challenges ahead
R2D2: A scalable deep learning toolkit for medical imaging segmentation
Message Filters for Object-Oriented Systems
A Dataflow Approach to Event-based Debugging
The CORBA Activity Service Framework for supporting extended transactions
PEP: An Interactive Programming System with an Algol-like Programming Language
Extending UML to model Web 2.0-based context-aware applications
Separating Policy from Correctness in Concurrency Control Design
Developing object-oriented enterprise quality frameworks using proto-frameworks
Design and Implementation of Modula
Lightweight validation of natural language requirements
CloudsStorm: A framework for seamlessly programming and controlling virtual infrastructure functions during the DevOps lifecycle of cloud applications
Advantages of online spellchecking: a Croatian example
Straddling the crevasse: A review of microservice software architecture foundations and recent advancements
Implementation of Concurrent Pascal on LSI-11
Towards the systematic measurement of ATL transformation models
A Crash Resistant UNIX File System
Improvement of Relocatable Linkage Editor (loader) Input
Discrete Event Simulation in ALGOL 68
Investigating service-oriented system performance: a systematic study
A Simple Algorithm for Clock Synchronization in Transputer Networks
Development of electric/electronic architectures for safety-related vehicle functions
Mockup-driven fast-prototyping methodology for Web application development
Software Development Tools for Microcontrollers
Better bitmap performance with Roaring bitmaps
Controlling quality-of-service in distributed real-time and embedded systems via adaptive middleware
A blockchain-based computation offloading method for edge computing in 5G networks
Declarative static analysis for multilingual programs using CodeQL
An index allocation tool for object-oriented database systems
Decoding billions of integers per second through vectorization
Simple fast and adaptive lossless image compression algorithm
DjangoChecker: Applying extended taint tracking and server side parsing for detection of context-sensitive XSS flaws
Drawing rooted trees in linear time
Post-quantum cryptography techniques for secure communication in resource-constrained Internet of Things devices: A comprehensive survey
An exploratory study on cooccurrence of design patterns and bad smells using software metrics
POET: a scripting language for applying parameterized source-to-source program transformations
EDGE: An Extendible Graph Editor
User-Like Executives
Best practices for describing, consuming, and discovering web services: a comprehensive toolset
Macro and File Structure Preservation in Source-to-source Translation
A Fortran to Pascal Translator
Queueing Network Software for Systems Modelling
Compact Recursive-descent Parsing of Exptressions
Scalability evaluation of the Yima streaming media architecture
A Matrix Model for the Flow of Control in Prolog Programs with Applications to Profiling
Interpretation Control Using A Linear Tree Representation
Easily solving dynamic programming problems in Haskell by memoization of hylomorphisms
A Depth-first and Tool-supportable Programming Strategy
A Tool for Visualizing the Execution of Interactions on a Loosely-coupled Distributed System
A Simple Row-replacement Method
High-quality pagination for publishing
Kitrace: Precise Interactive Measurement of Operating System Kernels
Software tools and techniques for fog and edge computing
Avoiding Trickle-down Recompilation in the Mary2 Implementation
Interprocess Communication in the Ninth Edition Unix System
Curracurrong: a stream programming environment for wireless sensor networks
Decision Tables for General-purpose Scientific Programming
Using Coroutines in Pascal
A metadata driven process for assessing stability and reusability based on risk of change of software systems
Enabling OpenCL support for GPGPU in Kernel-based Virtual Machine
PDB: a Pictorial Database Oriented to Data Analysis
Program Graph Visualization
Model-based code generation for HLA federates
Supporting configurability and real time in RTD channels
PAST: accurate instrumentation on fully optimized program
Implementing Concurrent C
Isolating bugs in multithreaded programs using execution suppression
MROS-68K, a Memory Resident Operating System for MC6800H
An Evaluation of Self-adjusting Binary Search Tree Techniques
Designing highly flexible virtual machines: the JnJVM experience
Converting a Portable Pascal-code Interpreter to a Code Generator
A blockchain-based privacy-preserving advertising attribution architecture: Requirements, design, and a prototype implementation
Iconic Control Graph Representation
A probabilistic modeling and evolutionary optimization approach for serverless workflow configuration
Mapping Massive SIMD Parallelism onto Vector Architectures for Simulation
A Code Generation Interface for ANSI C
The Viscom-A System of 'Soft' Video-terminals
A Practical Extension to UNIX for Interprocess Communication
An Empirical Analysis of Spreadsheet Calculation
On the Performance of COBOL Programs in Large vs. Mini Computers
Erratum: A system for debugging via online tracing and dynamic slicing
Real-time Interrupt Handling in Ada
Ahab: A cloud-based distributed big data analytics framework for the Internet of Things
Long/Short Address Optimization in Assemblers
A brokerage system for solar data archives
A virtualized test automation framework: A DellEMC case study of test automation practice
Implementing Strings in Pascal-Again
Vocabulary and time based bug-assignment: A recommender system for open-source projects
Sort race
An evolutionary ensemble analogy-based software effort estimation
xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems
An ODA-like Multimedia Document System
A Tool to Aid in the Installation of Complex Software Systems
Iterative big data clustering algorithms: a review
From Modula to Oberon
The design and implementation of the exported procedure call
Migrating production monolithic systems to microservices using aspect oriented programming
Access Path Query Language for Relational Database Systems
Enhancing CLP branch and bound techniques for scheduling problems
A Code Compression System Based on Pipelined Interpreters
Experience With an Object-oriented Virtual Machine
Fast portable orthogonally persistent Java
Matching statistics: efficient computation and a new practical algorithm for the multiple common substring problem
The Solo Operating System: Processes, Monitors, and Classes
MOS: A Multicomputer Distributed Operating System
ALADIN: A Scanner Generator for Incremental Programming Environments
Writing Tailorable Software: The X11 Sample Server
An Approach for Decomposing N-Ary Data Relationships
Heuristic Procedures (If They Work-Leave Them Alone)
Towards a goal-driven approach to action selection in self-adaptive software
Practical testing of a C99 compiler using output comparison
Zombit: Exploiting Runs in Bitvectors
A Novel Approach to Marshalling
A New List Compaction Method
Bilingual legal document retrieval and management using XML
EDDIE Beats the Bookies
Ontology-based model-driven development of a destination management portal: Experience and lessons learned
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis
Register allocation and spilling using the expected distance heuristic
Dynamic Storage Allocation: Experiments Using the C Language
Evolutionary test data generation: a comparison of fitness functions
Reproducible Testing of Monitor
JDB: an Adaptable Interface for Debugging
Monitoring the Operation of System Software
APET-A Versatile Tool for Estimating Computer Application Performance
AuctionWhisk: Using an auction-inspired approach for function placement in serverless fog platforms
Standardized Protocol Interfaces
A Practical Approach to the Design of Concurrency in Object-Oriented Systems
The Use of a Procedure-oriented Language for Process-oriented Simulation
Program Generation for Ada-A Case Study
The StarMod Distributed Programming Kernel
A FORTRAN Implementation of Concurrent Pascal
Suitable Multiprocessor Structures and Virtual Storage Management when Applying a Feasible Scheduling Algorithm in Hard Real-Time Environment
Improving scientific application execution on android mobile devices via code refactorings
The Design and Implementation of an Interactive Document Editor
Naplus: a software distributed shared memory for virtual clusters in the cloud
FORTRAN Routines with Optional Arguments
RIOS: efficient I/O in reverse direction
An Algorithm for Drawing Planar Graphs
A Multi-Terminal Benchmark
Experiences with component-oriented technologies in nuclear power plant simulators
Performance analysis and optimization of AMGA for the large-scale virtual screening
Experiments on String Matching in Memory Structures
Object-oriented Programming Applied to a Prototype Workstation