yusuke1997/dblp-id-title huggingface dataset:
Supporting Ada 95 Passive Partitions in a Distributed Environment
ArchMDE Approach for the Development of Embedded Real Time Systems
An Ada Framework for QoS-Aware Applications
Conceptual Modeling for System Requirements Enhancement
Enhancements in Software Project Risk Management
Environment for the Development and Specification of Real-Time Ada Programs
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
Logic versus Magic in Critical Systems
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis
Deadline-Aware Programming and Scheduling
Porting Embedded Real-Time Ada Software
OpenAda: Compile-Time Reflection for Ada 95
Using Object-Oriented Methods in Ada 95 to Implement Linda
The Design of AIR and its Application to Ada Separate Compilation
Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes
Weak Fairness Semantic Drawbacks in Java Multithreading
A Theory of Persistent Containers and Its Application to Ada
Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling
Tasking Deadlocks in Ada 95 Programs and Their Detection
Design of the Rational Environment
What to Make of Multicore Processors for Reliable Real-Time Systems?
Embedded Systems Unsuitable for Object Orientation
Rigorous Development of Fault-Tolerant Systems through Co-refinement
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
Normalized Restricted Random Testing
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
Static Worst-Case Execution Time Analysis of Synchronous Programs
The Polling Effect on the Schedulability of Distributed Real-Time Systems
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
A Round Robin Scheduling Policy for Ada
Project Graphs and Meta-Programs. Towards a Theory of Software Development
Breaking Through the V and V Bottleneck
The Ceiling Protocol in Multi-moded Real-Time Systems
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Design and Development of Component-Based Embedded Systems for Automotive Applications
Handling Interrupts in Ada 9X
Formal Verification of AADL Specifications in the Topcased Environment
Static Versioning of Global State for Race Condition Detection
Adding Temporal Annotations and Associated Verification to Ravenscar Profile
A Case Study in the Reuse of On-board Embedded Real-Time Software
A Two-Level Matching Mechanism for Object-Oriented Class Libraries
Modern Avionics Requirements for the Distributed Systems Annex
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements
Kronecker Algebra for Static Analysis of Barriers in Ada
Automatic Generation of Ada Source Code for the Rafale Mission Computer
Enhancing Dependability of Component-Based Systems
Reliable Communication in Distributed Computer-Controlled Systems
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard
A Comparison of Ada and Real-Time Java TM for Safety-Critical Applications
Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part
Using Hardware Support for Scheduling with Ada
How to Avoid the Inheritance Anomaly in Ada
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries
Component Libraries and Language Features
Good Random Testing
Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95
On the Evolution of Unnatural Language
Where Does GOTO Go to?
Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
Process-Algebraic Interpretation of AADL Models
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...)
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets
Operational Semantics of Ada Ravenscar
On Persistent and Reliable Streaming in Ada
Extensible Debugger Framework for Extensible Languages
An Open Ravenscar Real-Time Kernel for GNAT
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods
PARIS - Partitioned Ada for Remotely Invoked Services
: Parameter-Induced Aliasing and Related Problems can be Avoided
Ada Binding to a Shared Object Layer
An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers
The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Static Detection of Access Anomalies in Ada95
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications
Cache-Aware Development of High-Integrity Systems
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research
Modelling Communication Interfaces with COMIX
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development
Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks
An Application (Layer 7) Routing Switch with Ada95 Software
Inside the Distributed Systems Annex
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
Efficient Alternatives for Implementing Fixed-Priority Schedulers
The Standard UML-Ada Profile
Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Extended Application of Ada to Cover ECBS with O4S
Semantics-Based Support Tools for High Integrity Ada Software
A Systematic Approach to Developing Safe Tele-operated Robots
An Efficient Implementation of Persistent Objects
Using Mathematics to Improve Ada Compiled Code
Object Orientation is not Always Best!
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
Ada 9X Real-Time Scheduling Alternatives
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation
Formally Specifying the Logic of an Automatic Guidance Controller
Object-Oriented Stable Storage Based on Mirroring
Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases
Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC)
POSIX Trace Based Behavioural Reflection
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
Shared Packages Through Linda
The Software Engineering Institute at Carnegie Mellon University
Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming Interface
Building Robust Applications by Reusing Non-robust Legacy Software
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95
ASIS-for-GNAT: A Report of Practical Experiences
Implementing Execution-Time Clocks for the Ada Ravenscar Profile
Parallelism in Ada: Status and Prospects
A Model-Based Framework for Developing Real-Time Safety Ada Systems
A Framework for CFG-Based Static Program Analysis of Ada Programs
T-SMART - Task-Safe, Minimal Ada Realtime Toolset
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems
Ada: A Sceptical Assessment
Testing Ada 95 Object-Oriented Programs
An Overview of Middleware
Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection
Information Engineering for Systems in Ada
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints
Benefits and Problems of Formal Methods
Distributing Criticality Across Ada Partitions
On Detecting Double Literal Faults in Boolean Expressions
A New Approach for HOOD/Ada Mapping
The Use of Ada for the ENVISAT-1 Simulator
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada 95 and Critical Systems: An Analytical Approach
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
The PCTE Initiative: Toward a European Approach to Software Engineering
Coloured Petri Nets for Chronicle Recognition
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
Safe Ada Executive: An Executive for Ada Safety Critical Applications
A Quality Model for the Ada Standard Container Library
Static Dependency Analysis for Concurrent Ada 95 Programs
Finite Unions for Ada 95
Lady Ada Mediates Peace Treaty in Endianness War
Shortcuts: A Critical Look
A Knowledge-Based System for Diagnosis in Veterinary Medicine
Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis
Distribution of Tasks within a Centrally Scheduled Local Area Network
Iterative Software Development for Large Ada Programs
Proving Functional Equivalence for Program Slicing in SPARK™
The Toolpack/IST Approach to Extensibility in Software Environments
Ada 95 as a Base to Architect Systems in O4S TM
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications
The Use of Ada in Reactive Systems: A 3-Dimensional Model
Real-Time Utilities for Ada 2005
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level
Quality-for-ASIS: A Portable Testing Facility for ASIS
HW/SW Co-design of Embedded Systems
Reengineering the Booch Component Library
Eliminating Data Race Warnings Using CSP
Techniques for Testing Ada 95
Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Reusable Executives for Hard Real-Time Systems in Ada
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model
Development of a Control System for Teleoperated Robots Using UML and Ada95
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime
Preservation of Timing Properties with the Ada Ravenscar Profile
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95
Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
Measuring the Odds of Statements Being Faulty
ORK+/XtratuM: An Open Partitioning Platform for Ada
The Dining Philosophers in Ada 95
Why Parallel Functional Programming Matters: Panel Statement
Slicing Tagged Objects in Ada
An Ada95 Solution for Certification of Embedded Safety Critical Applications
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems
Error-Prone Exception Handling in Large Ada Systems
A Front-End to HOOD - The Clyder Requirements Engineering Method
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems
Achieving Reusable and Reliable Client-Server Code using HOOD TM Automated Code Generation for ADA95 and C++ Targets
Managing Ada Object-Oriented Development
Performance Evaluation of Parallel Ada Programs Using an Experimental Multiprocessor
Simulation of Mosca Specifications in Ada
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later
Testing and Integrating a Large Embedded Real-Time System
Testing from Formal Specifications, a Generic Approach
Practical Formal Methods in Railways - The SafeCap Approach
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
Transaction Support for Ada
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems
Performance Expectations on Ada Programs
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems
Interprocedural Call Optimization
On Architectural Stability and Evolution
Runtime System Support for Data-Oriented Synchronization in Ada-9X
Design Assessment of Ada Systems Using Static Analysis
An Architectual Perspective of Real-Time Ada Applications
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java
Multicore Programming in ParaSail - Parallel Specification and Implementation Language
A POSIX-Ada Interface for Application-Defined Scheduling
Guaranteeing Timing Requirements in the IXV On-Board Software
Modeling and Validation of Tasks with Algebraic Structured Nets
Shared Recoverable Objects
Object-Oriented Design of an Air-Defence Simulator
High-Integrity Interfacing to Programmable Logic with Ada
The Practical Application of Safety Techniques on an Ada Based Project
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems
How to Use GNAT to Efficiently Preprocess New Ada Sentences
GNAT Pro for On-board Mission-Critical Space Applications
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance
Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example
Towards a Runtime Verification Framework for the Ada Programming Language
Using Ada in Integrating ATC Systems
An ANDF Based Ada 95 Compiler System
Formal Modelling for Ada Implementations: Tasking Event-B
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software
Non-intrusive System Level Fault-Tolerance
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95
Mapping UML to Ada
On Comparing Testing Criteria for Logical Decisions
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot
Software Development Reengineering - An Experience Report
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems
Implementing an Application-Defined Scheduling Framework for Ada Tasking
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
ESSPASE - European Space Software Product Assurance Support Environment
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model
Reliability Modeling for Safety Critical Software
Efficient and Extensible Multithreaded Remote Servers
Concurrency Control in Transactional Drago
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Generation of Interface Design Description Documents Using ASIS
Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question!
Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Ada: The Choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings
Symbolic Reaching Definitions Analysis of Ada Programs
ReverseNICE: A Re-Engineering Methodology and Supporting Tool
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
SAMeDL - A Pilot Project
A Comparison of Generic Template Support: Ada, C++, C#, and Java TM
Data Compatibility in a Heterogeneous Processor Environment
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar
From AADL Model to LNT Specification
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS
The Role of Big Data in Enhancing Student's Sustainable Development Awareness: A Case Study in Higher Education
Research on University Education Innovation in the Big Data Era
Improved Gray Wolf Optimization Algorithm Based on tanh Activation Inertia Weights
DBSCAN-Based Malicious Node Detection to Secure Wireless Sensor Networks
Process and Method of Project Integration Cost Control in Engineering Logistics Enterprises Based on Data model Analysis
Detection of Abnormal Database Queries in Weighted Bipartite Graph
BDET 2021: The 3rd International Conference on Big Data Engineering and Technology, Singapore, June 25-27, 2021
Smart Application of 5G Mobile Edge Computing with IoT: Future Insight of Autonomous Driving Technologies
Automated Evaluation of Correctness and Quality of Database Conceptual Schemas
RISC-V Graphics Rendering Instruction Set Extensions for Embedded AI Chips Implementation
Research on Tool Wear Prediction Based on LSTM and ARIMA
The Influence of Social Media on Human Behavior in Adolescents (Case Study of Bina Nusantara University Students)
Voice Authentication Model for One-time Password Using Deep Learning Models
Big Data Analytics in Association Rule Mining: A Systematic Literature Review
Heterogeneous Identity Unified Management System Based on Trustworthiness Evaluation Model
Comparison of Radar Chart Creation Methods for Risk Evaluation Data
Educational Data Mining: Discovering Principal Factors for Better Academic Performance
5th International Conference on Big Data Engineering and Technology, BDET 2023, Singapore, July 15-17, 2023
Research on Multi-Spatial Keyword Fuzzy Query Algorithm in Spatial Data
Spatial Diffusion Characteristics of Tibetan Population in Inland China from 1953 to 2010 - A Spatial Visualization Method Based on ArcGIS
The Advanced Performance of Improved LevelDB on NUMA Systems: Three Practical Approaches
The Wisdom City Based on the Big Data Technology
Data Mining Methods for Solving Classification Problem of Oil Wells
An Automatic Artificial Intelligence Training Platform Based on Kubernetes
Face Recognition in an Unconstrained Environment using ConvNet
Design of User Database Resource Management System Based on Web
Privacy Security Status and Countermeasures in the Era of Big Data
2-way Arabic Sign Language Translator using CNNLSTM Architecture and NLP
Query Optimization and Rebalancing Methods based on CMD
Detection of Focal Cortical Dysplasia lesions in MR images
SDPN: A Neural Network Approach for E-hailing Car Supply and Demand Prediction
A Comparative Study of Latent Semantics-based Anchor Word Selection Method for Separable Nonnegative Matrix Factorization
BDET 2020: 2nd International Conference on Big Data Engineering and Technology, Singapore, January 3-5, 2020
How to Perform Better in Online Platform?: A Visualization of Group Buying Datasets
Web Video Clustering Based on Emotion Category
Proceedings of the International Conference on Big Data Engineering and Technology, BDET 2018, Chengdu, China, August 25-27, 2018
Security Challenges for Big Data and IoT
Fuzzy Rule Based Inference System in Patient Diagnosis of Breast Tumor in Fine Needle Aspiration
Review of Research on Irrigation Decision Control
A study of the impact of top manager's Taisui on IPO
Research on Indexing Technology for AIS Data Stream
Target Data Optimization based on Big Data-streaming for Two-stage Fuzzy Extraction System
A Latent Factor Model Based on Elastic Network for Recommender Systems
Reliable Administration Framework of Drones and IoT Sensors in Agriculture Farmstead using Blockchain and Smart Contracts
A Computational Approach to Determine the Percolation Threshold for Various Materials in Construction
Multi-Angle Parking Detection System using Mask R-CNN
Bert-based Federated Learning to Rank Towards News Retrieval
Machine Learning Based Unified Framework for Diabetes Prediction
Research on the Influence of Information Alignment on the Performance of Human-Computer Interaction
A Study on the Innovation of Supply Chain Operation Model Based on Cloud Computing
Can CEO's environmental concern mitigate the impact of extreme weather on the performance of listed companies?
The Regulatory Path of Big-Data Price Discrimination-Based on Economic Characteristics and Legal Accountability
Automated localization of Epileptic Focus Using Convolutional Neural Network
A Method for LDA-based Sina Weibo Recommendation
Using Spark for Text Mining on Large Scale Liver Cancer Literature
Anomaly Detection for Big Data Security: A Benchmark
Research on Correlation Between Healthy Diet And Prevention of Covid-19 Based on Decision Trees and K-Means Clustering
Analysis and Research of Food Safety Risk Assessment Based on Data Mining
The Quality of Cohesiveness in Collaboration Between Two YouTube Channels in Delivering Humour (Case Study: The Collaboration Between Two Particular YouTube Channels in Indonesia)
Research on Distributed Database Access Technology Based on .NET
"Dawn of South Lake" - - Design and Implementation of Immersive Interactive System Based on Virtual Reality Technology
Multimode Data Fusion Based Remote Healthcare Framework
Molecular Similarity Searching Based on Deep Belief Networks with Different Molecular Descriptors
The Role of Big Data for Interactive Online Learning: A Case Study in Students' Participations and Perceptions
Big Data Platform Architecture under The Background of Financial Technology: In The Insurance Industry As An Example
Design and Realization of Material Chemical Laboratory Information Management System
Research on the Classification of High Dimensional Imbalanced Data based on the Optimization of Random Forest Algorithm
Business Intelligence Visualization Technology and Its Application in Enterprise Management
Data Aggregation Of Tweets And Topic Modelling Based On The Twitter Dataset
ALFC-Point: Adaptive Laplacian Feature Convolution Network for 3D Point Cloud Understanding
Comprehending and Transferring Facial Expressions Based on Statistical Shape and Texture Models
Spatial partitioning of geometry images using locality masks
An Array Processor Architecture with Parallel Data Cache for Image Rendering and Compositing
Using the Implicit Surface Paradigm for Smooth Animation of Triangle Meshes
Automatic Exposure in Computer Graphics Based on the Minimum Information Loss Principle
Spline Thin-Shell Simulation of Manifold Surfaces
A Feature Point Extraction Method for Capsule Endoscope Localization
An Efficient Keyframe Extraction from Motion Capture Data
VRSpineSim: Applying Educational Aids Within A Virtual Reality Spine Surgery Simulator
A Motion Prediction Method for Mouse-Based Navigation
Indoor scene reconstruction from a sparse set of 3D shots
Visualization of Distributed Processes Using "Data Jewelry Box" Algorithm
Improved Volume Scattering
ScaleNet: Rethinking Feature Interaction from a Scale-Wise Perspective for Medical Image Segmentation
Shape Descriptor Guided Learning for Category-Level Object Pose Estimation
Diorama Engine - A 3D Directing Tool for 3D Computer Animation Production
Using A-Buffer in Radiosity
2004 Computer Graphics International (CGI 2004), 16-19 June 2004, Crete, Greece