yusuke1997/dblp-id-title huggingface dataset:
Reliability Modeling and Optimization Based on Master-Supporter Unmanned Aerial Vehicle Networks
A Richly Attributed Dataset for Talent Intelligence Evaluation
Managing System Failure Risk: Performance Control and Mission Abort Decisions
A Coverage-Oriented Fuzzing Test Method for Embedded Firmware
Performance Evaluation for an Elevator by Analyzing the Vibration Data of the car
A Framework and Environment Design of Human-Machine Cooperations in Junior Science Education
Optimization Of Random Vibration Conditions Based on Equivalent Acceleration Fatigue Damage
Research on Degradation Characteristics of Ultrasonic Motors Based on Accelerated Storage Test
Rolling Bearing Fault Diagnosis of Helicopter Reducer Based on Condition Indicators
A Novel Method for Medical Semantic Word Sense Disambiguation by Using Graph Neural Network
Structured Process Mining in Maintenance Performance Analysis: A Case Study in the Offshore Oil and Gas Industry
Advanced Computing Technologies and Digital Transformation: Analyzing Positive Sentiment Trends in Online Stock
Thermal-hydraulic Modeling and Simulation of the Electro-hydrostatic Actuator Hydraulic System based on Lumped-Parameter Method
System Architecture of Plug and Play Device based on the Hyperconverged Device Platform
Foreign Object Detection Method in Transmission Lines Based on Improved YOLOv8n
Prior Distribution Screening and Risk Calculation for Reliability Qualification Test of the Exponential Product
Review on the Construction Methods of Naval Warfare Simulation Model
Boosting Service Workflow Reliability Through Enhanced Detection of Artifact Anomalies
Fatigue Testing and Simulation of Hi-Lock Bolted Single Shear Lap Joints
Few-shot Learning based on Multi-Attention and Prototype Correction
Dynamic Scalable PBFT Consensus Algorithm Based on Binary K-Means
Enhancing Video Smoothness in Cloud Desktops: An Improved Compression Framework With Adaptive Fast Search Algorithm
Research on Modeling and Model Modification Technology for Prediction of Gear Pair Wear Life under Mixed Lubrication
Air Defense Mission Planning of Ship Formation based on Event Network and Monte Carlo Simulation
A Sequential Experimental Design Method Based on Binary Response Prediction
Reliability Study of Friction Clutch Based on FMECA
Research on the On-orbit Reliability Prediction Method of SiC MOSFET
Research on Reliability Metrics for Deep Learning Visual Algorithms
An Availability-Oriented Dynamic Group Order-Maintenance Scheduling Policy
Reliability Order-Based High Rate Decoders of Fast List Decoding for Polar Codes
Reliability Modeling and Evaluation of Circuit Boards Considering Key Design Factors
An Innovation Strategy for Solar-Energy Trucks
A Method for Aircraft Structural Corrosion Process Modeling and Maintenance Planning Considering Multi-Source Environmental Coupling Effects
Keynote Speech II: Human-Machine Cooperation in Junior Science Education: Development, Opportunities, and Challenges
Research of Travel Time Reliability Evaluation Method for Road Network Considering Vehicle Coordination Under Unexpected Events
Quantitative Risk Assessment and Management of Hydrogen Leaks from Offshore Rocket Launching Platforms
A Network Performance Optimization Solution for X2Go Kdrive in Low-bandwidth Environments
Analysis of Local Water System in Qingjiang River Basin based on Box Dimension Method and Its Fractal Dimension Characteristics
Global Nuclear Weapons Trends Forecast Via Machine Learning
Event Knowledge Graph Extracted from Intelligence Text
A Reliability-Based Design Optimization Method with Probabilistic-Interval Hybrid Reliability Model and Adaptive Kriging Model
Optimal Mission Abort Planning for Partially Observable System
Fault Diagnosis of Aero-Engine Bearings in Comprehensive Noise Environments Based on Multi-Scale Convolution Networks
Broken Access Control Detection Focused on Privilege Escalation Prevention Using a Llama 3 LLM-Based Assistant
Vision Based Leader-Follower Control of Wheeled Mobile Robots using Reinforcement Learning and Deep Learning
Chinese Comments Classification and Hotspot Mining Algorithm based on Natural Language Processing
Increasing the Validity and Trustworthiness of Automated Facial Emotion Recognition Systems
Architectures and Applications of U-net in Medical Image Segmentation: A Review
Construction of Space Environmental Warning Model for ESD Anomalies in High Orbit Spacecraft
Adaptive Constraints-Based Instantaneous Frequency Estimation for Overlapped Multicomponent Signals
CAAD: A High-Level Customizable-Agent Gym for Dependable Autonomous Driving
Fault Diagnosis of Mechanical Transmission Components with Siam-GNN Under Few-Shot Noisy Conditions
An Optimised Design for Streaming Media in Cloud Desktop System
Research on the Correlation Between Form Accuracy, Deformation, and Geometric Tolerances in Mechanical Design
Remaining Useful Life Estimation of the Ultrasonic Motor Based on A Novel Exponential-Type Model and An Adaptive Particle Filter
Rubber Tyred Gantry Automatic Alignment System based on Computer Vision
Statistical Characteristics Analysis of Damage Parameters of Aero-Engine Rotor System Based on Artificial Neural Network
A Research on USB Device Remote Sharing Methods in Virtual Desktop Environment
Metal Surface Defect Detection Based on Transformer Merging Edge Information
Electropulsing Treatment Technology: From Damage Repair to Lifetime Prolong for Long-Service-Cycle Machinery
Reliability Assessment of Planetary Pin Position Errors in Large-Scale Aerospace Planetary Systems Based on the Kriging Model
A Risk-Centered Mission Reliability Model Managing System Health Deterioration and Environmental Shock Effects
An Improved Clonal Selection Algorithm for Optimizing PWM Switching Sequences of Inverters
Mountain Top Algorithm: Complex Historical-Geographic Network Data Analysis based on Structure, Dynamics, and Function
Exploring AI-Integrated Curriculum Reform in University Computer Science Program
A Multi-Phase Resilience Evaluation Method for Cross-Domain Unmanned Swarms
The Feasibility of Applying Prompt Engineering Based on Large Language Models in the Public Domain
A Robust Machine Learning Framework for Estimating Crop Production Using Ensemble and Quantile Techniques
A Study of Overall Least Squares Estimation Based on The Weibull Distribution
Ldm-Phys: a Lightweight Physics-Constrained Diffusion Model for Anomaly Detection in Safety-Critical Cyber-Physical Systems
Research on Risk Synergetic Governance Mode for Safety Production Accidents of Urban Gas Pipeline Network
Research on Multi Maintenance Stations Scheduling Method for Passenger Elevators with Considering Priority
Multi-objective Optimization of Coal Mill Outlet Temperature Control Using MPC
Resilience Assessment Method for Air Defense Kill Web Based on System Dynamics Model
The Extended BITA-ZK Heuristic for Multi-type Component Assignment Problems under Parametric Uncertainty
Reliability Estimation of Medical Equipment Based on Big Data
Optimization of Selective Maintenance for Critical Infrastructures Considering Dynamic Environments
A Multi-Objective Dynamically Optimized Fleet Algorithm for Misty Fields Exploration
Research on trustworthy Software Testing Techniques Based on Large Models
Research on Multi-agent Path Planning Algorithm Based on Large Language Model
Approximate Triple Modular Redundancy Design Method Based on MOEA/D Algorithm
Study on Impact Reduction of Honeycomb Core Exposed Platform Based on Flexible Bag Damper Under Initiating Explosive Environment
The Approach of Web Services Parameter Mutation Operators Based on the Rules Model
Consideration in WSN Applying for the Health Monitoring of Transport Aircraft
$\text{ACAC}_{\text{ABCD}}$ Model: Implementation and Comparative Performance Study
Data-Driven Quality Monitoring Model for Multi Variety and Small Batch Production Process in Cigarette Spinning
A Survey on the Application of Cloud Models in the Reliability of Cloud Environments
A Comparison Between Two Frameworks for Reliability of System Based on Multi-source Data Fusion
Iterative Learning Control with Extended State Observer for PMSM Speed Regulation under Aperiodic Disturbances
MRC: A Lightweight and Efficient Module for Capturing Motion Relationships
Efficiently Verifying Mutually Exclusive Inconsistency of Requirements for Embedded Systems
A Safety Analysis Method Based on Model Checking
Evaluating Large Language Models Via Multi-Modal User Knowledge Graphs: A Comprehensive Assessment Framework
Fuzzy Performance Modeling and Analysis of SaaS Software Using Possibility Theory
Enhancing Fault Detection in Power Load Management Systems: A Neural Network Approach with Seq2Seq-CNN-LSTM Models
A Novel Propagation Model of Single Event Effect Soft Error in FPGA Based on Cellular Automata
Improvement of Problem Management Process of Combat Software Engineering
Simulation Analysis of Interference Assembly Impact on Electro-hydraulic Servo Valve Armature Components
Referred Segmentation on Single/ No Target Image
Smart Contract Vulnerability Detection based on Abstract Syntax Tree
Joint Optimization of Learning and Project Abandonment Decisions
Source Code Representation Approach Based on Multi-Head Attention
Bridging Computer Science and English Education: A Curriculum Approach to Interdisciplinary Research and Teaching
Conquering Sorting: A Study of the Distributional Characteristics of Information Entropy-Preserving Evolutionary Groups
A Video Transmission optimization Scheme for Web-based Cloud Desktop Protocol
A Quantitative Analysis Framework for Contributory Factors of Production Safety Accidents in Urban Gas Pipeline Networks of China
A Method for Degradation Modeling and Prediction Based on Inverse Gaussian Process Supported by Artificial Neural Network
Extended LSTM Model Based Satellite Positioning Error Estimation Method
A Review of Parameter Estimation Methods of the Three-Parameter Weibull Distribution
Improved Raft consensus algorithm based on NSGA-II and K-Means++
Graph Convolutional Network with Two Types of Weight Mechanisms for Aspect-Based Sentiment Analysis
SOTM: A Simulation-Oriented Trustworthiness Measurement Method for Intelligent Unmanned System
Cloud Scheduling System Considering Reliability and Co-Resident Attack
Reinforcement Learning Algorithm for Organizational Decision Making in Air Defense Kill Networks
Massive Service Convergence and Communication Delay Optimization Strategy for New Power System
An Electric Grid Sign Detection Method Based on the Improved YOLOv8n
A Collaborative Replacement-Spare Provision Policy for Three-State System Considering Inspection Errors
Multimodal Aspect-Level Sentiment Analysis based on Deep Neural Networks
Target Selection for Shore Firepower Support Based on Entropy Weight and TOPSIS Method
Extending CSP with Tests for Availability
R16: A New Transputer Design for FPGAs
SpaceWire - DS-Links Reborn
Costing by Construction
Developing JIWY using TERRA
JCircus Demo
CSPBuilder - CSP based Scientific Workflow Modelling
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation
Adding Formal Verification to occam-π
Fine-grain Concurrency
Resumable Java Bytecode - Process Mobility for the JVM
Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems
TCP Input Threading in High Performance Distributed Systems
Data Escape Analysis for Process Oriented Systems
A Circus Development and Verification of an Internet Packet Filter
How to Make a Process Invisible
Life of occam-Pi
Experiments in Multicore and Distributed Parallel Processing using JCSP
Santa Claus - with Mobile Reindeer and Elves
A Personal Perspective on the State of HPC in 2013
Process-Oriented Building Blocks
High Cohesion and Low Coupling: The Office Mapping Factor
FPGA based Control of a Production Cell System
JCSPre: the Robot Edition to Control LEGO NXT Robots
Specification of APERTIF Polyphase Filter Bank in ClaSH
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures
SEU Protection for High-Reliability Flash File Systems
The Flying Gator: Towards Aerial Robotics in occam-π
Two-Way Protocols for occam-pi
Classification of Programming Errors in Parallel Message Passing Systems
Design Principles of the SystemCSP Software Framework
Engineering Emergence: an occam-pi Adventure
A Distributed Multi-Agent Control System for Power Consumption in Buildings
Video Processing in occam-pi
Mechanical Verification of a Two-Way Sliding Window Protocol
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance
Three Unique Implementations of Processes for PyCSP
Modelling a Multi-Core Media Processor Using JCSP
Experiments in Translating CSP || B to Handel-C
Design Patterns for Communicating Systems with Deadline Propagation
RRABP: Point-to-Point Communication over Unreliable Components
Prioritized Service Architecture: Refinement and Visual Design
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems
Modeling and Analysis of the AMBA Bus Using CSP and B
Advanced System Simulation, Emulation and Test (ASSET)
Economics of Cloud Computing: a Statistical Genetics Case Study
Concurrent/Reactive System Design with Honeysuckle
Fast Distributed Process Creation with the XMOS XS1 Architecture
Virtual Machine Based Debugging for occam-pi
35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013
The Core Language of Aldwych
Beauty And The Beast: Exploiting GPUs In Haskell
SystemCSP - Visual Notation
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques
A High Performance Reconfigurable Architecture for Flash File Systems
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation
Transactional CSP Processes
Improving TCP/IP Multicasting with Message Segmentation
Toward Process Architectures for Behavioural Robotics
An Introduction to Go
The SCOOP Concurrency Model in Java-like Languages
Visual Process-Oriented Programming for Robotics
Verification of a Dynamic Channel Model using the SPIN Model Checker
Exploring GPGPU Acceleration of Process-Oriented Simulations
Domain Specific Transformations for Hardware Ray Tracing
A Process-Oriented Architecture for Complex System Modelling
Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach
Successful Termination in Timed CSP
A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk)
Analysing gCSP Models Using Runtime and Model Analysis Algorithms
Towards the Formal Verification of a Java Processor in Event-B
Towards Strong Mobility in the Shared Source CLI
JCSP Agents-Based Service Discovery for Pervasive Computing
Object Store Based Simulation Interworking
Interfacing with Honeysuckle by Formal Contract
No Blocking on Yesterday's Embedded CSP Implementation - (The Rubber Band of Getting it Right and Simple)
Process-Oriented Subsumption Architectures in Swarm Robotic Systems
Auto-Mobiles: Optimised Message-Passing
Mutually Assured Destruction (or the Joy of Sync)
Designing a Concurrent File Server
The Guppy Language: an Update
ProcessJ: A Possible Future of Process-Oriented Design
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures
Mobile Barriers for occam-pi: Semantics, Implementation and Application
Development of an ML-based Verification Tool for Timed CSP Processes
Programming the CELL-BE using CSP
Hardware/Software Synthesis and Verification Using Esterel
Automatic Handel-C Generation from MATLAB
Designing a Mathematically Verified I 2 C Device Driver Using ASD
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java
gCSP occam Code Generation for RMoX
Mobile Agents and Processes using Communicating Process Architectures
A Step Towards Refining and Translating B Control Annotations to Handel-C
Groovy Parallel! A Return to the Spirit of occam?
Supporting Timed CSP Operators in CSP++
Exception Handling Mechanism in Communicating Threads for Java
Rain VM: Portable Concurrency through Managing Code
An Introduction to CSP.NET
Rain: A New Concurrent Process-Oriented Programming Language
Communicating Haskell Processes: Composable Explicit Concurrency using Monads
A Process Oriented Approach to USB Driver Development
A Native Transterpreter for the LEGO Mindstorms RCX
Names of XCHAN Implementations
Implementing Generalised Alt - A Case Study in Validated Design using CSP
Compiling CSP
Mobility in JCSP: New Mobile Channel and Mobile Process Models
New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler)
CSP++: How Faithful to CSPm?
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP
Process-Oriented Collective Operations
Lazy Cellular Automata with Communicating Processes
33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011
The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005
JCSP-Poison: Safe Termination of CSP Process Networks
If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk
Algebras of Actions in Concurrent Processes
jcsp.mobile: A Package Enabling Mobile Processes and Channels
CSP as a Domain-Specific Language Embedded in Python and Jython
The Meaning and Implementation of SKIP in CSP
Integrating and Extending JCSP
Using FDR to Model Check CSP-Like Languages
Efficient Simulation of CSP-Like Languages
Combining Partial Order Reduction with Bounded Model Checking
Mobile Robot Control - The Subsumption Architecture and occam-pi
The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007
Representation and Implementation of CSP and VCR Traces
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker
A Cell Transterpreter
Mobile Escape Analysis for occam-pi
Portable CSP Based Design for Embedded Multi-Core Systems
Combining EDF Scheduling with occam using the Toc Programming Language
CSP and Real-Time: Reality or Illusion?
XCHANs: Notes on a New Channel Type
The Computation Time Process Model
Beyond Mobility : What Next After CSP/pi?
Verifying the CPA Networking Stack using SPIN/Promela
An Evaluation of Intel's Restricted Transactional Memory for CPAs
Designing Animation Facilities for gCSP
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View
Concurrency Control and Recovery Management for Open e-Business Transactions
Service Oriented Programming in MPI
A JCSP.net Implementation of a Massively Multiplayer Online Game
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009
A Denotational Study of Mobility
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions
Translating ETC to LLVM Assembly
BPU Simulator
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication
Scalable Performance for Scala Message-Passing Concurrency
HW/SW Design Space Exploration on the Production Cell Setup
Transfer Request Broker: Resolving Input-Output Choice
Testing and Sampling Parallel Systems
Selective Choice "Feathering" with XCHANs
Shared-Clock Methodology for Time-Triggered Multi-Cores
How to Soar with CSP
The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006
Verification of JCSP Programs
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation
OpenComRTOS: A Runtime Environment for Interacting Entities
YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation
Interactive Computing with the Minimum intrusion Grid (MiG)
Native Code Generation Using the Transterpreter
Interfacing C and occam-pi
Polyphonic Processors - Fantasy on an FPGA
An Application of CoSMoS Design Methods to Pedestrian Simulation
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008
Mobile Processes in an Ant Simulation
Scaling PyCSP
Serving Web Content with Dynamic Process Networks in Go
Cancellable Servers - a Pattern for Curiousity
Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach
Development of a Family of Multi-Core Devices Using Hierarchical Abstraction
IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks
Tock: One Year On
Lazy Exploration and Checking of CSP Models with CSPsim
Design and Use of CSP Meta-Model for Embedded Control Software Development
A Study of Percolation Phenomena in Process Networks
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous
An occam Model of XCHANs
The Architecture of the Minimum intrusion Grid (MiG)
Interacting Components
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces
Concurrent Event-driven Programming in occam-π for the Arduino
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)
Implementation of an Agent-based Model with TBB Technique
Asynchronous Active Objects in Java
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks
PyCSP - Communicating Sequential Processes for Python
A CSP Model for Mobile Channels
Communicating Process Architecture for Multicores
Using occam-pi Primitives with the Cell Broadband Engine
Relating and Visualising CSP, VCR and Structural Traces
Performance Evaluation of JCSP Micro Edition: JCSPme
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog
A Model for Concurrency Using Single-Writer Single-Assignment Variables
Handshake Technology: High Way to Low Power - Invited Talk
Homogeneous Multiprocessing for Consumer Electronics - Invited Talk
Unfinished Business - occam-pi²
Software Specification Refinement and Verification Method with I-Mathic Studio
Mobile Processes and Call Channels with Variant Interfaces (a Duality)
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java
Compositions of Concurrent Processes
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C
pony - The occam-pi Network Environment
trancell - an Experimental ETC to Cell BE Translator
Handel-C++ - Adding Syntactic Support to C++
A CPA Series
Compiling occam to C with Tock
PyCSP Revisited
Communication and Synchronization in the Cell Processor - Invited Talk
FDR3: the Future of CSP Model Checking
Architecture Design Space Exploration for Streaming Applications through Timing Analysis
A Critique of JCSP Networking
A Debugger for Communicating Scala Objects
Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures
An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming
occam Obviously
Hydra: A Python Framework for Parallel Computing
Prioritised Choice over Multiway Synchronisation
Communicating Scala Objects
CSP for .NET Based on JCSP
A Foreign-Function Interface Generator for occam-pi
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012
Introducing JCSP Networking 2.0
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces
Exception Handling and Checkpointing in CSP
Automated Grapevine Inflorescence Counting in a Vineyard Using Deep Learning and Multi-object Tracking
Analysis of Bistatic Range and Velocity Tracking Performance according to Dynamic Models in Passive Bistatic Radar