yusuke1997/dblp-id-title huggingface dataset:
Adaptive Classifier of Candlestick Formations for Prediction of Trends
The Effect of Sub-sampling on Hyperspectral Dimension Reduction
Initial Errors Growth in Chaotic Low-Dimensional Weather Prediction Model
Influence of Number of Neurons in Time Delay Recurrent Networks with Stochastic Weight Update on Backpropagation Through Time
On the Evolutionary Optimization of Chaos Control - A Brief Survey
New Adaptive Approach for Chaos PSO Algorithm Driven Alternately by Two Different Chaotic Maps - An Initial Study
Nostradamus: Modern Methods of Prediction, Modeling and Analysis of Nonlinear Systems, Nostradamus conference 2012, Ostrava, Czech Republic, September 2012
Using Differential Evolution Algorithm in Six-Dimensional Chaotic Synchronization Systems
Analytical Study of DreamGaussian and MTN in the Field of 3D Generation
Proceedings of the 1st ICMR Workshop on Multimedia Object Re-Identification, MORE 2024, Phuket, Thailand, 10 June 2024
Comprehensive Survey on Person Identification: Queries, Methods, and Datasets
Exploring Part Features for Unsupervised Visible-Infrared Person Re-Identification
Revisit MTN: High-resolution Features Deserve More Attention
Refining Video-Based Person Re-Identification: An Integrated Framework with Facial and Body Cues
Probabilistic Analysis of a Calculus for Wireless Sensor Networks
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas
A Spin-Based Approach for Checking OSEK/VDX Applications
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations
Coalgebraic Semantic Model for the Clock Constraint Specification Language
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems
What's Decidable About Parametric Timed Automata?
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022
Checking the Conformance of a Promela Design to its Formal Specification in Event-B
Q: A Sound Verification Framework for Statecharts and Their Implementations
A Strand Space Approach to Provable Anonymity
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Formal Verification of Cyber-Physical Systems Using Theorem Proving
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Formal Stability Analysis of Control Systems
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking
Counterexample Generation for Hybrid Automata
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Towards Verifying VDM Using SPIN
A Benchmark Library for Parametric Timed Model Checking
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers
A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release
Modelling a Blockchain for Smart Contract Verification using DeepSEA
TTM/PAT: Specifying and Verifying Timed Transition Models
strategFTO: Untimed Control for Timed Opacity
Precise Documentation and Validation of Requirements
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023
Formal Verification of a Mechanical Ventilator using UPPAAL
Specification and Verification of Synchronization with Condition Variables
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol
Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings
An Executable Semantics of Clock Constraint Specification Language and Its Applications
Visualising Railway Safety Verification
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Proving Memory Access Violations in Isabelle/HOL
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
Experience with Rule-Based Analysis of Spacecraft Logs
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Probabilistic Activity Recognition for Serious Games with Applications in Medicine
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking
With an Open Mind: How to Write Good Models
Variant-Based Satisfiability in Initial Algebras
Checking Integral Real-Time Automata for Extended Linear Duration Invariants
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
Refinement of Statecharts with Run-to-Completion Semantics
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties
Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Certainly Unsupervisable States
Uniform Modeling of Railway Operations
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
Formal Probabilistic Risk Assessment of a Nuclear Power Plant
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns
Dynamic State Machines for Formalizing Railway Control System Specifications
Model-Based Testing from Controlled Natural Language Requirements
Bounded STL Model Checking for Hybrid Systems (Invited Talk)
An Approach to Static-Dynamic Software Analysis
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems
Compositional Predictability Analysis of Mixed Critical Real Time Systems
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events
Safety, Dependability and Performance Analysis of Aerospace Systems
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
Analyzing Industrial Architectural Models by Simulation and Model-Checking
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints
Expression-Based Aliasing for OO-languages
Specifying and Verifying Concurrent C Programs with TLA+
Modeling Railway Control Systems in Promela
Statistical Model Checking of Simulink Models with Plasma Lab
Verifying Resource Adequacy of Networked IMA Systems at Concept Level
Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Key-Secrecy of PACE with OTS/CafeOBJ
Formal Semantics Extraction from MIPS Instruction Manual
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
g-HOL: A Graphical User Interface for the HOL Proof Assistant
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols
Model Transformation with Triple Graph Grammars and Non-terminal Symbols
A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications
Reflections on Verifying Software with Whiley
Formal Timing Analysis of Digital Circuits
Formal Verification of Random Forests in Safety-Critical Applications
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude
Classifying Jobs and Predicting Applications in HPC Systems
Overcoming Weak Scaling Challenges in Tree-Based Nearest Neighbor Time Series Mining
Container Orchestration on HPC Clusters
Feasibility Study of Porting a Particle Transport Code to FPGA
Streaming Live Neuronal Simulation Data into Visualization and Analysis
Performance of the Supercomputer Fugaku for Breadth-First Search in Graph500 Benchmark
What A Waste
Parameter Identification of RANS Turbulence Model Using Physics-Embedded Neural Network
Streamlining Fedora Linux Distributions for RISC-V: A Scalable and Automated Approach
The Pitfalls of Provisioning Exascale Networks: A Trace Replay Analysis for Understanding Communication Performance
A Unified I/O Monitoring Framework Using eBPF
Integrating RISC-V SIMT and Scalar Cores: Loosely to Tightly Coupled
Performance, Design, and Autotuning of Batched GEMM for GPUs
Simulation of Hierarchical Storage Systems for TCO and QoS
Probabilistic Job History Conversion and Performance Model Generation for Malleable Scheduling Simulations
Microarchitecture of a Configurable High-Radix Router for the Post-Moore Era
Supercomputer in a Laptop: Distributed Application and Runtime Development via Architecture Simulation
DARE-ML: Democratized Accessible Resource Environment for Machine Learning in the SUPERCOM Platform
Parallel FFTW on RISC-V: A Comparative Study Including OpenMP, MPI, and HPX
Unsupervised Learning of Particle Image Velocimetry
Scaling the EOS Namespace
Diagnosing Performance Variations in HPC Applications Using Machine Learning
Orchestrating Docker Containers in the HPC Environment
Scalable Hierarchical Aggregation and Reduction Protocol (SHARP) TM Streaming-Aggregation Hardware Design and Evaluation
Extreme-Scale In Situ Visualization of Turbulent Flows on IBM Blue Gene/Q JUQUEEN
Load-Balancing Parallel Relational Algebra
VPP500 Supercomputing System
Test-Driving RISC-V Vector Hardware for HPC
Evaluating Quantum Algorithms for Linear Solver Workflows
A Survey of Fast Packet I/O Technologies for Network Function Virtualization
Duration-Informed Workload Scheduler
End-to-End Resilience for HPC Applications
Multi-versioning Performance Opportunities in BGAS System for Resilience
Offsite Autotuning Approach - Performance Model Driven Autotuning Applied to Parallel Explicit ODE Methods
Hourglass: A Bandwidth-Driven Performance Model for Sorting Algorithms
Performance Evaluation of NWChem Ab-Initio Molecular Dynamics (AIMD) Simulations on the Intel® Xeon Phi™ Processor
Running Energy-Efficient HPL on APUs: Strategies and Best Practices
Analytic Modeling of Idle Waves in Parallel Programs: Communication, Cluster Topology, and Noise Impact
Evaluating Performance Portability of Accelerator Programming Models using SPEC ACCEL 1.2 Benchmarks
The CONVEX Application Compiler - A Major Step into the Direction of Automatic Parallelization
A Scalable, Linear-Time Dynamic Cutoff Algorithm for Molecular Dynamics
Densifying Assumed-Sparse Tensors - Improving Memory Efficiency and MPI Collective Performance During Tensor Accumulation for Parallelized Training of Neural Machine Translation Models
Cyme: A Library Maximizing SIMD Computation on User-Defined Containers
Computer- Animation
Global Simulation on Vector and Parallel Supercomputers
Tuning and Optimization for a Variety of Many-Core Architectures Without Changing a Single Line of Implementation Code Using the Alpaka Library
Die Intel iPSC Systemfamilie
Analyzing Performance of Selected NESAP Applications on the Cori HPC System
High Performance Computing - ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
A Motivating Case Study on Code Variant Selection by Reinforcement Learning
Towards a Unified Architectural Representation in HPCQC: Extending Sys-Sage for Quantum Technologies
Software and Hardware Co-design for Low-Power HPC Platforms
Dem parallelen Rechnen gehört die Zukunft
Cluster in the Cloud - Scalable, Heterogeneous Compute Clusters for HPC, HTC and AI in the Public Cloud or On-Premise
Precise Energy Consumption Measurements of Heterogeneous Artificial Intelligence Workloads
Federating HPC Access via SAML: Towards a Plug-and-Play Solution
Automatic Partitioning of MPI Operations in MPI+OpenMP Applications
A 64-GB Sort at 28 GB/s on a 4-GPU POWER9 Node for Uniformly-Distributed 16-Byte Records with 8-Byte Keys
Analyzing Data Properties Using Statistical Sampling Techniques - Illustrated on Scientific File Formats and Compression Features
Resource Management for Running HPC Applications in Container Clouds
Performance Considerations of Applications on Second Generation Parallel Computers
Highlights of Alliant's Parallel Supercomputer Generation FX/ 2800 Series
Die Architektur der ETA 10
High-Throughput Sockets over RDMA for the Intel Xeon Phi Coprocessor
Ubiquitous Performance Analysis
The CAMPUS TM Two-Tier Architecture for Massively Parallel Processing
Optimizing Edge AI Models on HPC Systems with the Edge in the Loop
High Performance Computing - ISC High Performance 2025 International Workshops, Hamburg, Germany, June 10-13, 2025, Revised Selected Papers
Accelerating LBM and LQCD Application Kernels by In-Memory Processing
Leveraging NVIDIA Omniverse for In Situ Visualization
Performance Evaluation of a Next-Generation SX-Aurora TSUBASA Vector Supercomputer
Improving Performance Portability in OpenCL Programs
HPC-Coder-v2: Studying Code LLMs Across Low-Resource Parallel Languages
A Multitenant Container Platform with OKD, Harbor Registry and ELK
A Framework for Out of Memory SVD Algorithms
JULEA: A Flexible Storage Framework for HPC
Performance Study of Non-volatile Memories on a High-End Supercomputer
HetFS: A Heterogeneous File System for Everyone
A Quantitative Approach to Architecting All-Flash Lustre File Systems
Performance Analysis of Matrix Multiplication for Deep Learning on the Edge
Design Methodology for Optimizing Optical Interconnection Networks in High Performance Systems
Heterogeneous Programming and Optimization of Gyrokinetic Toroidal Code and Large-Scale Performance Test on TH-1A
Fork-Join and Data-Driven Execution Models on Multi-core Architectures: Case Study of the FMM
Nonlinear Mode Decomposition and Reduced-Order Modeling for Three-Dimensional Cylinder Flow by Distributed Learning on Fugaku
Parallelrechner versus Workstation Cluster - Positionspapier zum Streitgespräch
Performance Modelling-Driven Optimization of RISC-V Hardware for Efficient SpMV
Lettuce: PyTorch-Based Lattice Boltzmann Framework
Power/Performance Controlling Techniques in OpenPOWER
TeaMPI - Replication-Based Resilience Without the (Performance) Pain
Illuminating the I/O Optimization Path of Scientific Applications
Compile-Time Library Call Detection Using CAASCADE and XALT
A Comparison of Some Current Parallel Computer Architectures
ISC High Performance 2024 Research Paper Proceedings (39th International Conference), Hamburg, Germany, May 12-16, 2024
IOscope: A Flexible I/O Tracer for Workloads' I/O Pattern Characterization
Accelerating Neural Networks Using Open Standard Software on RISC-V
SPRITE: A Fast Parallel SNP Detection Pipeline
From Big Data to Big Displays High-Performance Visualization at Blue Brain
Scientific Applications Performance Evaluation on Burst Buffer
Towards High Performance Data Analytics for Climate Change
Distributed Training of Generative Adversarial Networks for Fast Detector Simulation
High Performance Computing - 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 - June 2, 2022, Proceedings
m-Cubes: An Efficient and Portable Implementation of Multi-dimensional Integration for GPUs
InsitUE - Enabling Hybrid In-situ Visualizations Through Unreal Engine and Catalyst
High Performance Computing - 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings
Task-Based Cholesky Decomposition on Knights Corner Using OpenMP
Cinema Transfer: A Containerized Visualization Workflow
Portability and Scalability of OpenMP Offloading on State-of-the-Art Accelerators
Comparative Evaluation of Call Graph Generation by Profiling Tools
CGPatch: Streamlining Static Call Graph Validation Using Selective Instrumentation
I/O Interference Alleviation on Parallel File Systems Using Server-Side QoS-Based Load-Balancing
Film Cooling Prediction and Optimization Based on Deconvolution Neural Network
Quantum Circuit Simulation by SGEMM Emulation on Tensor Cores and Automatic Precision Selection
Providing Security in Container-Based HPC Runtime Environments
A Compiler-Assisted OpenMP Migration Method Based on Automatic Parallelizing Information
Designing Non-blocking Personalized Collectives with Near Perfect Overlap for RDMA-Enabled Clusters
The Brand-New Vector Supercomputer, SX-ACE
FPGA Acceleration of Number Theoretic Transform
Hands-On Research and Training in High Performance Data Sciences, Data Analytics, and Machine Learning for Emerging Environments
Hierarchical Multigrid Ansatz for Variational Quantum Algorithms
Predictive Modeling for Job Power Consumption in HPC Systems
EvoGraph: On-the-Fly Efficient Mining of Evolving Graphs on GPU
In-Situ Processing in Climate Science
A Fast Simulator to Enable HPC Scheduling Strategy Comparisons
Leveraging Private Container Networks for Increased User Isolation and Flexibility on HPC Clusters
Porting Numerical Integration Codes from CUDA to oneAPI: A Case Study
Cache-Aware Roofline Model and Medical Image Processing Optimizations in GPUs
Resilient Optimistic Termination Detection for the Async-Finish Model
FaaS and Curious: Performance Implications of Serverless Functions on Edge Computing Platforms
Scalability of Streaming Anomaly Detection in an Unbounded Key Space Using Migrating Threads
Experience with Massive Parallelism for CFD Applications at NASA Ames Research Center
Quantenchemie auf Workstation - Clustern
MBWU: Benefit Quantification for Data Access Function Offloading
Towards Smarter Schedulers: Molding Jobs into the Right Shape via Monitoring and Modeling
PIOM-PX: A Framework for Modeling the I/O Behavior of Parallel Scientific Applications
On the Design, Development, and Analysis of Optimized Matrix-Vector Multiplication Routines for Coprocessors
Optimization of the FFT Algorithm on RISC-V CPUs
Visualisierung von Optimalsteuerungsproblemen am Beispiel des Dynamischen Segelflugs
Performance Analysis of BERT on RISC-V Processors with SIMD Units
Real-Time Olivary Neuron Simulations on Dataflow Computing Machines
A Vision of a Teraflop Supercomputing System
Dynamic Resource Management Framework for Elastic Computing
Negative Perceptions About the Applicability of Source-to-Source Compilers in HPC: A Literature Review
RISC-Technologie erreicht den Supercomputer-Bereich
Das skalierte Gesetz von Amdahl- Zur Leistungsermittlung von Vektorrechnern
Impact of Computational Load Balance and Power Capping on Energy Efficiency in HPC Centers
Optimizing Application Performance with BlueField: Accelerating Large-Message Blocking and Nonblocking Collective Operations
On the Scalability of Data Reduction Techniques in Current and Upcoming HPC Systems from an Application Perspective
Pre-execution Data Prefetching with Inter-thread I/O Scheduling
Application Suitability Assessment for Many-Core Targets
Die europäische HPC-Initiative
Supercomputing 1995 and Beyond - the Different Perspectives
Accelerating Simulated Quantum Annealing with GPU and Tensor Cores
Bioinformatics Application with Kubeflow for Batch Processing in Clouds
The Dataparallel Computer MasPar MP - 1
Performance Comparison for Neuroscience Application Benchmarks
High Order Seismic Simulations on the Intel Xeon Phi Processor (Knights Landing)
Efficient Application of Hanging-Node Constraints for Matrix-Free High-Order FEM Computations on CPU and GPU
A Survey of Programming Tools for D-Wave Quantum-Annealing Processors
OpenACC 2.5 Validation Testsuite Targeting Multiple Architectures
Optimizing Wilson-Dirac Operator and Linear Solvers for Intel® KNL
MaLTESE: Large-Scale Simulation-Driven Machine Learning for Transient Driving Cycles
The Parallel Processing System from nCube
Kendall Square Research Introduction to the KSR1
Static-Dynamic Analysis for Performance and Accuracy of Data Race Detection in MPI One-Sided Programs
Performance Exploration Through Optimistic Static Program Annotations
Self-optimization Strategy for IO Accelerator Parameterization
Open OnDemand: HPC for Everyone
Fides: A General Purpose Data Model Library for Streaming Data
Semi-automatic Assessment of I/O Behavior by Inspecting the Individual Client-Node Timelines - An Explorative Study on 10 6 Jobs
Secure Elasticsearch Clusters on HPC Systems for Sensitive Data
Fully Resolved Simulations of Dune Formation in Riverbeds
Automatic Detection of MPI Assertions
Fast Matrix-Free Discontinuous Galerkin Kernels on Modern Computer Architectures
Rule-Based Thermal Anomaly Detection for Tier-0 HPC Systems
Application Performance Analysis: A Report on the Impact of Memory Bandwidth
Sparse CSB_Coo Matrix-Vector and Matrix-Matrix Performance on Intel Xeon Architectures
The Implementation of the U.S. High Performance Computing and Communications Program
High Performance Computing - ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 - July 2, 2021, Revised Selected Papers
GPU-Accelerated Particle-in-Cell Code on Minsky
OpenACC Unified Programming Environment for Multi-hybrid Acceleration with GPU and FPGA
HyPar-Flow: Exploiting MPI and Keras for Scalable Hybrid-Parallel DNN Training with TensorFlow
Analysis of Application Power Characteristics Using Performance Counters on A64FX
DTF: An I/O Arbitration Framework for Multi-component Data Processing Workflows
Toward a Multi-method Approach: Lossy Data Compression for Climate Simulation Data
Designing a ROCm-Aware MPI Library for AMD GPUs: Early Experiences
From Static to Malleable: Improving Flexibility and Compatibility in Burst Buffer File Systems
Considering I/O Processing in CloudSim for Performance and Energy Evaluation
Enabling Explorative Visualization with Full Temporal Resolution via In Situ Calculation of Temporal Intervals
SADDLE: A Modular Design Automation Framework for Cluster Supercomputers and Data Centres
Orthrus: A Framework for Implementing Efficient Collective I/O in Multi-core Clusters
Communication Reducing Algorithms for Distributed Hierarchical N-Body Problems with Boundary Distributions
Intel Paragon XP/S - Architecture and Software Enviroment
Programming Model Extensions for General-Purpose Processing-In-Memory
Enabling Multi-level Network Modeling in Structural Simulation Toolkit for Next-Generation HPC Network Design Space Exploration
CoreTSAR: Adaptive Worksharing for Heterogeneous Systems
A GPU-Accelerated Molecular Docking Workflow with Kubernetes and Apache Airflow
eBPF-based Extensible Paravirtualization
A Study on the Performance Implications of AArch64 Atomics
Towards an Integrated Strategy to Preserve Digital Computing Performance Scaling Using Emerging Technologies
Remote OpenMP Offloading
Porting the MPI Parallelized LES Model PALM to Multi-GPU Systems - An Experience Report