yusuke1997/dblp-id-title huggingface dataset:
Performance Analysis of EPC Class-1 Generation-2 RFID Anti-collision Protocol
Designing Aspectual Architecture Views in Aspect-Oriented Software Development
UAV-Borne Photogrammetric Survey as USAR Firefighter Teams Support
Investigating Oil and Gas CSEM Application on Vector Architectures
Computational Science and Its Applications - ICCSA 2018 - 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II
Opportunities and Challenges of Digital Transformation in the Public Sector: The Case of Ecuador
Vehicle Priority Selection Algorithm for Evacuation Planning
Encoding Image Based on Retinal Ganglion Cell
Geo-Information Knowledge Base System for Drought Pattern Search
Forecasting Wheat Prices Based on Past Behavior: Comparison of Different Modelling Approaches
Light-Weight Cloud-Based Virtual Computing Infrastructure for Distributed Applications and Hadoop Clusters
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping
Smoothing Kernel Estimator for the ROC Curve-Simulation Comparative Study
Efficient GA Approach Combined with Taguchi Method for Mixed Constrained Circuit Design
New Package in Maxima to Build Axonometric Projections from $\mathbb {R}^{4}$ to $\mathbb {R}^{3}$ and Visualize Objects Immersed in $\mathbb {R}^{4}$
An Automatic Procedure to Select Areas for Transfer Development Rights in the Urban Market
A Comparative Study of Proposals for Establishing Security Requirements for the Development of Secure Information Systems
Reconstruction of Suboptimal Paths in the Constrained Edit Distance Array with Application in Cryptanalysis
Description Technique for Component Composition Focusing on Black-Box View
Non-photorealistic Tour into Panorama
3D Bathymetry Reconstruction from Airborne Topsar Polarized Data
Tailored Urban Regeneration Process: A Multi-method Evaluation for Waterfront Brownfield
Improving OLAM with Cloud Elasticity
Solving the Convection-Diffusion Equations via a Multiscale and Discontinuous Galerkin Approach
Application Mapping onto 3D NoCs Using Differential Evolution
Reasoning Technique for Extended Fuzzy ALCQ
A Clustering Approach for Prediction of Diabetic Foot Using Thermal Images
Mobile Based HIGHT Encryption for Secure Biometric Information Transfer of USN Remote Patient Monitoring System
Design and Implementation of a Parallel Prime Edge-Length Symmetric FFT
Performance of HECC Coprocessors Using Inversion-Free Formulae
Analysis of Weightlifting Success Predictability Using Machine Learning
Facing the Archaeological Looting in Peru by Using Very High Resolution Satellite Imagery and Local Spatial Autocorrelation Statistics
Extracting Environmental Constraints in Reactive System Specifications
Efficient Utilization of Various Network Coding Techniques in Different Wireless Scenarios
Deliberative Spatial Multi-Criteria Evaluation (DSM-CE): Forming Shared Cultural Values
A Partnership for the Climate Adaptation: Urban Agenda for the EU
Risk Prevention and Management. A Multi-actor and Knowledge-Based Approach in Low Density Territories
A Noble Structural Model for e-Learning Services in Ubiquitous Environment
Static Analysis Based Software Architecture Recovery
Mesh Generation for Symmetrical Geometries
Mobile Platform Based on ROS and LIDAR for Mapping in Civil Construction
A GIS-Based Approach to Enhance Safety and Accessibility of Shared Mobility Services
A Probability Estimation of Aircraft Departures and Arrivals Delays
Maximization of Network Survivability Considering Degree of Disconnectivity
An Analysis of the Use of Hyperspectral Data for Roundwood Tracking
Core Technology Analysis and Development for the Virus and Hacking Prevention
Theoretical Insights on the $\mathrm{S(}^{1}\mathrm{D)}~+~{\textrm{H}_{2}\textrm{O}}$ Reaction and Implications on the Chemistry at the Surface of Ice in Extraterrestrial Environments
Detection of Points of Interest from Crowdsourced Tourism Data
Energy Efficient Cluster Management Scheme for Ubiquitous Sensor Networks
A Data-Driven Approach for a City-University Mobility Plan: The Case of the University of Pisa
Fast Three-Dimensional Depth-Velocity Model Building Based on Reflection Traveltime Tomography and Pre-stack Time Migrated Images
Sustainability, Tourism and Digitalization. The City Smart Approach in Las Palmas de Gran Canaria (Canary Islands)
Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees
Modeling and Verification of Change Processes in Collaborative Software Engineering
A PBIL for Load Balancing in Network Coding Based Multicasting
Cyclic Entropy Optimization of Social Networks Using an Evolutionary Algorithm
Predictive Maintenance Experiences on Imbalanced Data with Bayesian Optimization Approach
An Implementation of the Vectorizing-Based Automatic Nesting Software NST
A Study of Tuning Hyperparameters for Support Vector Machines
Digital Signature in the XAdES Standard as a REST Service
Planning Seismic Damage Prevention in the Old Tows Value and Evaluation Matters
Architecture of a Smart Container Using Blockchain Technology
Driver Factors, Wildcards and Spatial External Effects of Urban Sprawl in Poland (2016-2022)
Spatial Tools and ppWebGIS Platforms for Sustainable Urban Development and Climate Change Adaptation - Participatory Planning in Urban Areas with Special Conditions
State of the Art in Semantic Focused Crawlers
A Nonlinear Finite Element Formulation Based on Multiscale Approach to Solve Compressible Euler Equations
Semantic Web Based Intelligent Product and Service Search Framework for Location-Based Services
Efficient Model Order Reduction of Large-Scale Systems on Multi-core Platforms
Computational Science and Its Applications - ICCSA 2010, International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I
Human Expressions Interaction Between Avatar and Virtual World
The Design and Development for Risk Analysis Automatic Tool
Contextual Analysis of Spatio-Temporal Walking Observations
MSSML: A Molecular Spectroscopic Simulations Markup Language for Rovibrational Studies
Deploying Deep Learning Models Using Serverless Computing for Diabetic Retinopathy Detection
Acceleration of Multiple Precision Matrix Multiplication Based on Multi-component Floating-Point Arithmetic Using AVX2
Machine Learning Tools for Predicting the Outcome of Pedestrian Crashes: Preliminary Findings in the Metropolitan City of Rome
The Role of Parent Concrete in Recycled Aggregate Concrete
A Multi-centrality Heuristic for the Bandwidth Reduction Problem
Implementation of the Cross-Blockchain Interacting Protocol
Stochastic Simulation Method for the Term Structure Models with Jump
Model of Intelligent Massive Open Online Course Development
Heuristics for Semantic Path Search in Wikipedia
Categorical Data Clustering Using the Combinations of Attribute Values
Overlay Ring Based Secure Group Communication Scheme for Mobile Agents
Building Networks for Image Segmentation Using Particle Competition and Cooperation
Computational Modeling of Temperature-Dependent Wavefields in Fluid-Saturated Porous Media
A Robust Watermarking Technique in Geometric Distortion of Digital Image
Modelling and Experimental Analysis Two-Wheeled Self Balance Robot Using PID Controller
A System Consisting of Off-Chip Based Microprocessor and FPGA Interface for Human-Robot Interaction Applications
Compact Linear Systolic Arrays for Multiplication Using a Trinomial Basis in GF(2 m ) for High Speed Cryptographic Processors
Habitat Degradation: A Comparative Study Between Tomar (PT) and Potenza (IT)
Structural and Semantic Proximity in Information Networks
Indoor Positioning Methods - A Short Review and First Tests Using a Robotic Platform for Tunnel Monitoring
Towards the Definition of a Low-Cost Toolbox for Qualitative Inspection of Painted Historical Vaults by Means of Modified DSLR Cameras, Open Source Programs and Signal Processing Techniques
Big Data in Civil Security Research: Methods to Visualize Data for the Geovisual Analysis of Fire Brigade Operations
AFPL, an Abstract Language Model for Firewall ACLs
Data Protection Based on Physical Separation: Concepts and Application Scenarios
Characterization of Source Code Defects by Data Mining Conducted on GitHub
Simulating Superradiant Laser Pulses Using Partial Fraction Decomposition and Derivative Procedures
Efficiencies in Binary Elliptic Curves
Sentiment Analysis Applied to Hotels Evaluation
A Two-Step Quaternionic Root-Finding Method
Solving Constrained Multilocal Optimization Problems with Parallel Stretched Simulated Annealing
Ontology-Based Sentiment Analysis of Kazakh Sentences
SLA Based Scheduler for Cloud for Storage & Computational Services
Computational Science and Its Applications - ICCSA 2021 - 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part IX
Remote Sensing Based Model Induction for Drought Monitoring and Rainfall Estimation
Computational Science and Its Applications - ICCSA 2022 Workshops - Malaga, Spain, July 4-7, 2022, Proceedings, Part I
A Covid-19 Data Analysis During the First Five Months in Senegal
A Multi-paradigm Complexity Metric (MCM)
Supporting Extended UNIX Remove Semantics in the OASIS Cluster Filesystem
Measuring the Usability of Software Applications: Metrics for Behaviorness
DDAT: Data Dependency Analysis Tool for Web Service Business Processes
Automatic Generation of Loop-Invariants for Matrix Operations
Patterns of Place in Rural Basilicata: A Point Pattern Approach to Tourism Services and Attractors
Security Consequences of Messaging Hubs in Many-to-Many E-procurement Solutions
Fingerprint Matching Algorithm Based on Voronoi Diagram
Territorial Dynamics of Housing: Structural Patterns, Market Accessibility, and Public Policy Implications
Recreation Tourist Areas. An Exam on Recreational Business Districts in Olbia (Sardinia)
A Robust Routing Protocol by a Substitute Local Path in Ad Hoc Networks
An Analysis of the Airbnb Market: A Detailed Look at Four Italian Cities
A Heuristic Diversity Production Approach
Scalable Hash Chain Traversal for Mobile Devices
"CONTOUR" Algorithm for Finding and Visualizing Flat Sections of 3D-Objects
Virtual Home Decoration in Web and Mobile Platforms
Evaluating Urban Development Plans - A New Method in the Toolbox
The Classification of Space-Time Behaviour Patterns in a British City from Crowd-Sourced Data
Media, Screen, Input, and Context Sharing System for D2D Services in Smart TV 2.0
Building a Front End for a Sensor Data Cloud
A XML Script-Based Testing Tool for Embedded Softwares
Critical Success Factors for Implementing Business Intelligence System: Empirical Study in Vietnam
Heap Slicing Using Type Systems
Blockchain as a Platform for Fog Computing
MySQL Collaboration by Approving and Tracking Updates with Dependencies: A Versioning Approach
Inverse Transformation for Several Pseudo-cylindrical Map Projections Using Jacobian Matrix
Towards the formal description of operating systems
Proceedings of the SIGPLAN Symposium on Languages for System Implementation, Lafayette, Indiana, USA, October 25-26, 1971
A study of the application of compiler techniques to the generation of micro-code
The programming language PS440 as a tool for implementing a time-sharing system
Compilation for a high-performance systolic array
The NYU Ada translator and interpreter
A Facility for the Downward Execution of a High-Level Language
A Kernel System for information system development, evolution, and operation
Predicting the effects of optimization on a procedure body
An Experiment in Table Driven Code Generation
Abstract Types Defined as Classes of Variables
English as a very high level language for simulation programming
A programming language family for the navy AADC
System correctness
Tasking in standard PL/I
Type checking, separate compilation and reusability
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, California, USA, June 25-27, 1986
Efficient compilation of linear recursive functions into object level loops
Nesting in Ada programs is for the birds
Register Allocation & Spilling via Graph Coloring
An Outline of a Mathematical Model for the Definition and Manipulation of Data
Hashed symbol tables for languages with explicit scope control
Interprocedural optimization: eliminating unnecessary recompilation
Research Directions in Abstract Data Structures
Very fast LR parsing
A flexible semantic analyzer for Ada
Current Status of a Portable Lisp Compiler
A Forward Move Algorithm for LL and LR Parsers
Incremental data flow analysis in a structured program editor
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979
An Overview of the PL.8 Compiler
A multi-language compiler system with automatically generated codegenerators
A practical method of documenting and verifying Ada programs with packages
A Data Type Encapsulation Scheme Utilizing Base Language Operators
A portable optimizing compiler for Modula-2
Programming by semantic refinement
SPIL: A language for construction of reliable system software
An Ada code generator for VAX 11/780 with Unix
Data Abstractions for Data Bases
The need and techniques to obliterate control languages
A model of a modular interactive system
A Single-Pass Syntax-Directed Front End for Ada
Attribute coupled grammars
Reflections on a language designed to write an operating system
Procedural encapsulation: A linguistic protection technique
Ada as a software transition tool
The design and implementation of a very high level language for literary scholars
Data abstraction: A static implementation strategy
Control Flow Aspects of Semantics Directed Compiling (Summary)
An Optimizing Compiler for Lexically Scoped LISP
Machine-independent register allocation
Sub-protocol-evaluators for attribute grammars
Abstract Data Types in the Model Programming Language
Discovering machine-specific code improvements
Problems of PL/I for system programming
Type resolution in Ada: an implementation report
A short discussion of interprocess communication in the sue/360/370 operating system
Report of session on transferability
Efficient computation of LALR(1) look-ahead sets
Inline routines in VAXELN Pascal
A model for implementing Euclid modules and type templates
Language for Systems Development
Report of evening session protection
A data flow language for operating systems programming
A semantic prototyping system
A microprogrammed satellite graphics system
Compiler Construction Using Attribute Grammars
Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, SIGPLAN 1983, San Francisco, California, USA, June 27-29, 1983
A Fortran compiler for the FPS-164 scientific computer
The design of an emulator for a parallel machine language
Compiler design for efficient code generation and program optimization
Abstract machines and software design
DIAM II and Levels of Abstraction
The two-level approach to data definition and space management in the LIS system implementation language
A comparison of PASCAL intermediate languages
An experience in structured programming and transferability
Data Base Abstraction
SPECL: A system programming dialect of ECL
A High-Level Data Manipulation Language for Hierarchical Data Structures
A survey of the systematic use of macros in systems building
Efficient computation of flow insensitive interprocedural summary information
Engineering a Production Code Generator
The Use of Abstract Data Types to Simplify Program Modifications
Hierarchical language definition
Tree transformation techniques and experiences
An interactive business definition system
Peep: an architectural description driven peephole optimizer
The Linear Graph Package, a Compiler Building Environment
A Technique for Implementing a Set Processor
Experience with an Experimental Compiler Generator Based on Denotational Semantics
A language-oriented instruction set for the BALM language
A general-purpose high-level language machine for minicomputers
Dynamic memory management for APL-like languages
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982
PDEL-ID: An extension of PDEL for distributed parameter system identification
Compile-time partitioning and scheduling of parallel programs
An Applicative Compiler for a Parallel Machine
A COBOL Machine
An Efficient Separate Compilation Strategy for Very Large Programs
Efficient compilation of lazy evaluation
Generation of run-time environments
A code generator generator language
Current systems implementation languages: One user's view
Semantic aspects of concurrent processes
Reflections on a systems programming language
Visibility and Types
Effectiveness of a machine-level, global optimizer
Use of APL in microprogrammable machine modeling
Proving the adequacy of protection in an operating system
A SIMPL distributed operating system and its formal definition
A retargetable instruction reorganizer
Automatic storage optimization
MEMBERS - a Microprogrammed Experimental Machine with a Basic Executive for Real-time Systems
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980
The System for Business Automation: Programming Language
Implementing RUSSELL
Incremental compilation in Magpie
Experience with Porting Techniques on a COBOL 74 Compiler
A Truly Generative Semantics-Directed Compiler Generator
gprof: a Call Graph Execution Profiler
An efficient implementation of visibility in Ada
A specification language for one-pass semantic analysis
The use of transition matrices in a recursive-descent compiler
Practical LR error recovery
Implementation of an Interactive Programming System
A Next Step in Data Structuring for Programming Languages
Program checking
Unifying view of recent LALR(1) lookahead set algorithms
Experience with the Normal Semantic Definition of HAL/S
Structured data structures
Global context recovery: A new strategy for parser recovery from syntax errors
Engineering a high-capacity Pascal compiler for high performance
Semantic charts: A diagrammatic approach to semantic processing
Ada debugging and testing support environments
Integrating code generation and optimization
A hierarchy of high order languages for systems programming
Brief survey of languages used for systems implementation
Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, Santa Monica, California, USA, March 28-29, 1974
Code generation by coagulation
An Attribute Grammar for Ada
On a formal model of the tasking concept in Ada
Strongly non-circular attribute grammars and their recursive evaluation
Global register allocation at link time
The Charrette Ada compiler
Porting the Zed compiler
High Level Domain Definition in a Relational Data Base System
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
A Practical Method for Code Generation Based on Exhaustive Search
Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars
Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages - Operating Systems, USA, 1973
GLOSS: A semantic model of programming languages
Construction of a transportable, multi-pass compiler for extended Pascal
An experience with parallelism in Ada
Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976
Denotational Semantics as a Specification of Code Generators
Some Ideas on Data Types in High Level Languages
Source-to-source translation: Ada to Pascal and Pascal to Ada
Efficient incremental evaluation of aggregate values in attribute grammars
Towards a compiler front-end for Ada
On implementing separate compilation in block-structured languages
Automatic loop interchange
Parallel processing: a smart compiler and a dumb machine
TCOL Ada and the "middle end" of the PQCC Ada compiler
The grok project data structures and process communication
Register allocation in the SPUR Lisp compiler
An introduction to the UMTA specification language
Some Desirable Properties of Data Abstraction Facilities
Implementation of a portable Fortran 77 compiler using modern tools
Machine-independent PASCAL code optimization
Transferability and translation of data
Overloading in preliminary Ada
Automatic generation of peephole optimizations
A Flexible Compiler Structure That Allows Dynamic Phase Ordering
A compiler writer's wishbook for operating systems
Analyzing Exotic Instructions for a Retargetable Code Generator
High level operations in automatic programming
The LRLTRAN language as used in the FROST and FLOE time-sharing operating systems
Specification languages for control programs
The design of a global optimizer
Programming without Pointer Variables
Towards ISMs for OPSs
Transformations of denotational semantics in semantics directed compiler generation
Interprocedural dependence analysis and parallelization
Optimal chaining in expression trees
Report of evening session on hierarchical methods
The rendezvous and monitor concepts: is there an efficiency difference?
The Datasaab FCPU microprogramming language
Continuous system simulation languages: Design principles and implementation techniques
Integrated design
The design of a virtual machine for Ada
An intermediate language for source and target independent code optimization
Abstract Data Types and the Development of Data Structures
Automatic and semiautomatic optimization of SETL
A systems implementation language for small computers
Static evaluation of functional programs
Data flow analysis for 'intractable' system software
A globalizing transformation for attribute grammars
The Ada compiler validation capability
Extensible control structures
The SCRATCHPAD language
EPIC - a retargetable, highly optimizing Lisp compiler
Towards the Construction of Verifiable Software Systems
Structured programming and automatic program synthesis
Compiler prototyping using formal semantics
An all(1) compiler generator
Report of session on semantics
A microprogramming language for the MLP-900
Sharing code among instances of Ada generics
Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984
Using Ada for industrial embedded microprocessor applications
Report of session on structured programming
On the Use of Bit Maps for Multiple Key Retrieval
Direct parallelization of call statements
Programming languages for operating systems
A runtime representation for Ada variables and types
ORBIT: an optimizing compiler for scheme
Embedding a Relational Data Sublanguage in a General Purpose Programming Language
An overview of nonprocedural languages
A practical arbitrary look-ahead LR parsing technique
Static checking of interprocess communication in ECSP
Toward Foundations for the Understanding of Type
Register allocation by priority-based coloring
LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars
Algorithms for translating Ada multitasking
The design of a procedureless programming language
Efficient instruction scheduling for a pipelined architecture
An Implementation of a Code Generator Specification Language for Table Driven Code Generators
Evolving toward Ada in real time systems
Generics and verification in Ada
Using dynamic programming to generate optimized code in a Graham-Glanville style code generator
Report of session on concurrency
Inferred syntax and semantics of PL/S
Report of session on systems programming languages
Towards a specification of syntax and semantics for languages for horizontally microprogrammed machines
Code generation in a machine-independent compiler
Tailoring Testing to a Specific Compiler - Experiences
Interprocedural constant propagation
A Practical Method for Syntactic Error Diagnosis and Recovery
The System Language for Project SUE
A method for the description and analysis of complex software systems
ANNA: towards a language for annotating Ada programs
Regular right-part attribute grammars
The Design of a Data Flow Analyzer
Experience with an Automatic Code Generator Generator
The CIMS PL/I compiler
Analyzing and compressing assembly code
Cray Pascal
The Design of an Integrated Support Software System
Functional memory-based dynamic microprocessors for higher level languages
Speakeasy-an evolutionary system