yusuke1997/dblp-id-title huggingface dataset:
A Systems Approach to Improve Performance in Supply Chain: Case Study in a Procurement Process in the Aeronautical Industry
MBSE Adoption for Cabin Temperature Control System Design of Civil Aircraft
Proposal for an Integrated Case Based Project Planning
From City- to Health-Scapes: Multiscale Design for Population Health
Cyber-Physical System Modeling Using a Case Study
Early Stage Verification and Validation of Cyber-Physical Systems through Requirements Driven Probabilistic Certificate of Correctness Metric
The Hidden Perils of Addressing Complexity with Formal Process - A Philosophical and Empirical Analysis
Industrial Cyber-Physical Systems - iCyPhy
Capturing Variability in Model Based Systems Engineering
Assessing the Maturity of Interface Design
Towards Model-Driven Simulation of the Internet of Things
Requirements Quality Analysis: A Successful Case Study in the Industry
MAESTRIA: A New Tool to Support Collaborative Building and Sharing of an Integration, Verification, Validation, and Qualification Strategy
Simulation from System Design to System Operations and Maintenance: Lessons Learned in European Space Programmes
Water Saving in a Complex Industrial System - Evaluation of the Sustainability of Options with System Dynamics
Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models
Through a Glass, Darkly? Taking a Network Perspective on System-of-Systems Architectures
System-Level Modeling and Simulation with Intel® CoFluent™ Studio
Gas Turbine Design at Rolls-Royce - Exploring the Limitations of a Systems Engineering Approach
Discrete Search in Design Optimization
A General Framework for Critical Infrastructure Interdependencies Modeling Using Economic Input-Output Model and Network Analysis
Policy Design: A New Area of Design Research and Practice
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction
Systems engineering and modeling: some epistemological remarks
A Prediction Method for Gas Turbine Overhaul Makespan with Uncertainties
An Organizing Taxonomy of Procedures to Design and Manage Complex Systems for Uncertainty and Flexibility
Categorizing Technical Change in a System: Resolving Some of the Shortcomings in Henderson & Clarck's (1990) Framework
How Do Architects Think? A Game Based Microworld for Elucidating Dynamic Decision-Making
An Optimization Method for Calibrating Wireline Conveyance Tension
A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing
Analysis of the INCOSE Rules for Writing Good Requirement in Industry: A Tool Based Study
Assessment of Resilience in Desalination Infrastructure Using Semi-Markov Models
Engineering Cyber-Physical Systems: Challenges and Foundations
Agility Problems in Traditional Systems Engineering - A Case Study
Integration of Systems Engineering Approach in Product-Lifecycle-Management by Means of a Mechatronic System
Proceedings of the Poster Workshop at the 2013 Complex Systems Design and Management Conference (CSDM 2013), Paris, France, - December 4th, 2013
Performance Analysis of SDL Systems
Simulation Methods in the Healthcare Systems
An Overview of Design Challenges and Methods in Aerospace Engineering
Thinking about the Future of Complex Technological Systems: Which Technologies Should Shape Their Designs?
Model-Based System Reconfiguration: A Descriptive Study of Current Industrial Challenges
A Formal Foundation of Systems Engineering
Exploring Early Stage Cost-Estimation Methods Using Off-the-Shelf Tools: A Preliminary Study
Machine-Executable Model-Based Systems Engineering with Graph-Based Design Languages
A Quantitative Analysis Method of Itemized Requirement Traceability for Aircraft Development
Modelling Languages for Functional Analysis Put to the Test of Real Life
Research on Multi-physical Modeling and Co-simulation of Aircraft
Domain-Spanning Change Propagation in Changing Technical Systems
Foundations for Model-Based Engineering of Systems of Systems
Retrospect and Prospect of Aircraft Comfort Design
Tracking Dynamics in Concurrent Digital Twins
Complex Systems Design & Management, Proceedings of the Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris, France, November 23-25, 2015
Inferring Activities and Optimal Trips: Lessons From Singapore's National Science Experiment
Global Safety Management Method in Complex System Engineering
Software Architectures for Flexible Task-Oriented Program Execution on Multicore Systems
Flexible Queries over Engineering Data
Advanced Helicopter Cockpit Ergonomic Design Concepts
SoS Architecture Models Transformation for Mission Simulation in Aircraft Top-Level Demonstration
Defining a Distributed Architecture for Smart Energy Aware Systems
Systemic Design Engineering
Mexico Ciudad Segura
A CLEAN Way for Sustainable Solid Waste Management System for Singapore
Searching the Best (Formulation, Solver, Configuration) for Structured Problems
Quality Infrastructure System in China: An Agent-Based Model
Elements of Interaction
Leveraging Domain Expertise 1in Architectural Exploration
A Detailed Process for Aviation Systems Requirements Analysis and Definition via Model-Based Approach
Capability-Based System-of-Systems Approach in Support of Complex Naval Ship Design
Direct Democracy as the Keystone of a Smart City Governance as a Complex System
A Collaborative Distributed Control and Building Performance Simulation Based on Systems Engineering Practice
Model Driven Verification of Airplane Scenarios, Requirements and Functions
Human Emotional Interaction and Hydrotherpy: Industrial Design Keys
A Deep Learning and Ontology Based Framework for Textual Requirements Analysis and Conceptual Model Generation
Ontology for Weather Observation System
Methodology for Determining Stakeholders' Criteria Weights in Systems Engineering
Implementing Model Semantics and a (MB)SE Ontology in Civil Engineering and Construction Sector
Design and Management of Flexible On-Shore LNG Production Engineering Systems
Realizing the Benefits of Enterprise Architecture: An Actor-Network Theory Perspective
Reinventing Goal-Based Requirements Modeling
A Model-Based Aircraft Function Analysis Method: From Operational Scenarios to Functions
Safety Architecture Overview Framework for the Prediction, Explanation and Control of Risks of ERTMS
An Integrated Approach to Developing Automotive Climate Control Systems
A Case Study of Applying Complexity Leadership Theory in Thales UK
UNISENSE: A Unified and Sustainable Sensing and Transport Architecture for Large Scale and Heterogeneous Sensor Networks
A New Framework for the Simulation of Offshore Oil Facilities at the System Level
Re-using SysML System Architectures
Complex Systems Design & Management, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, Paris, France, December 12-14, 2012
Unifying Human Centered Design and Systems Engineering for Human Systems Integration
Ontology-Assisted Systems Engineering Process with Focus in the Requirements Engineering Process
Involving AUTOSAR Rules for Mechatronic System Design
IMA Dynamic Reconfiguration Modelling and Reliability Analysis of Tasks Based on Petri Net
Introducing the European Space Agency Architectural Framework for Space-Based Systems of Systems Engineering
Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022
5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021
Static Local Concurrency Errors Detection in MPI-RMA Programs
MiniKokkos: A Calculus of Portable Parallelism
The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation
Early Experience with Transformer-Based Similarity Analysis for DataRaceBench
High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs
Proposed Consistent Exception Handling for the BLAS and LAPACK
On-the-Fly Data Race Detection for MPI RMA Programs with MUST
Finding large Poisson polynomials using four-level variable precision
Understanding the Performance of Dynamic Data Race Detection
Towards Verified Rounding Error Analysis for Stationary Iterative Methods
OpenRace: An Open Source Framework for Statically Detecting Data Races
Guarding Numerics Amidst Rising Heterogeneity
Challenges beyond blockchain: scaling, oracles and privacy preserving
Symmetric group testing with noise
On the Capacity Estimation of a Slotted Multiuser Communication Channel with Noise
Error correcting coding schemes for a broadcast channels
Bidirectional search application for polar codes with large kernels
New bounds for linear codes of covering radius 3 and 2-saturating sets in projective spaces
XVII International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2021, Moscow, Russia, October 25-29, 2021
Group Testing with Non-identical Infection Probabilities
Research of heuristic approaches for determining the tonality of text messages in natural language processing problems
Variational Autoencoders with Euclidean and Hyperbolic Latent Spaces for Population Genetics
Multi-Server Private Linear Transformation with Joint Privacy
Trivariate Lifted Codes with Disjoint Repair Groups
Gaussian One-Armed Bandit Problem
Differential properties of authenticated encryption mode based on universal hash function (XTSMAC)
On the Lightweight McEliece Cryptosystem for Low-Power Devices
On Weight Spectrum of Linear Codes
Bounds and Genericity of Sum-Rank-Metric Codes
New lower bound on the rate of traceability set systems
On transform-domain decoding of generalized Gabidulin codes : Dedicated to the memory of Ernst M. Gabidulin (1937-2021)
On Two Problems Concerning Universal Bounds for Codes
About Usage of Metrics in Decoding of LDPC Codes in Two-State Channels with Memory
New Class of Codes, Correcting Errors in the Lee Metric
Novel order statistics-based detector and coded modulation for a DHA FH OFDMA system
On spherical 4-distance 7-designs
Gateway Data Encoding, Packaging and Compression method for heterogeneous IoT-satellite network
New Code-Based Cryptosystem Based on Binary Image of Generalized Reed-Solomon Code
SDN Cluster Constructor: Software Toolkit for Structures Segmentation of Software Defined Networks
Design of Codebooks Optimized for Noncoherent Transmission over Fast Fading Channel
Analysis of Binary and Ternary Message Passing Decoding for Generalized LDPC Codes
Field Trace Polynomial Codes for Secure Distributed Matrix Multiplication
Development of an information-theoretical method of attribution of literary texts
Deep Neural Network Based Decoding of Short 5G LDPC Codes
Data Delivery Efficient Spreading Factor Allocation in Dense LoRaWAN Deployments
New Communication Models and Decoding of Maximum Rank Distance Codes
On the performance analysis of short LDPC codes
The influence of active distances on the distribution of bursts
Transparent E-Voting dApp Based on Waves Blockchain and RIDE Language
Coded Multi-tone Transmission in a DHA FH OFDMA system employing order statistics
Study of the energy consumption of graphical interfaces on TFT displays
Efficient Decoding of Interleaved Low-Rank Parity-Check Codes
On the Efficiency of Metaheuristic Optimization for Adaptive Image Steganography in the DFT Domain
Schemes for LQG Control over Gaussian Channels with Side Information
Construction of a pseudo-random number generator whose output is a normal sequence
Unicast-Uniprior Index Coding Problems: Minrank and Criticality
Multi-Server Private Linear Computation with Joint and Individual Privacy Guarantees
Quaternary Reed - Muller codes and their minimum weight bases
Reconstructing Sets of Latin Squares, Linear and Equivalent to Linear Codes
End-to-end Deep Object Tracking with Circular Loss Function for Rotated Bounding Box
XVI International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2019, Moscow, Russia, October 21-25, 2019
On the Hard-Decision Multi-Threshold Decoding of Binary and Non-Binary LDPC Codes
On the strength of asymmetric code cryptosystems based on the merging of generating matrices of linear codes
Construction of the solution of the Chinese Remainder Theorem for polynomials using the method of undetermined coefficients
Extended EVENODD+ Codes with Asymptotically Optimal Updates and Efficient Encoding/Decoding
An Upper Bound on the Number of Bent Functions
Channel Models for Physical Unclonable Functions based on DRAM Retention Measurements
Permutation Decoding of Polar Codes
On Maximum-Likelihood Decoding of Time-Varying Trellis Codes
Error Correction for Partially Stuck Memory Cells
Computer Modeling System of Allocating and Planning Processes of Heterogeneous Resources in Industrial Telecommunication Networks
On Unsourced Random Access for the MIMO Channel
On parallelisms of PG(5, 2) invariant under a cyclic subgroup of order 21
Curve Fitting for Error Rate Data
Linear Programming Decoding of Non-Linear Sparse-Graph Codes
Methodology of Mean Shift Clustering Algorithm Implementation Based on Dataflow Computer
Eliminating Broadband Covert Channels in DSA-Like Signatures
Computer Capacity As a Tool For the Processors Development Analysis
Fast Decoding of Union-Free Codes
Gradient Cryptanalysis of Block Cipher CHAM 64/128
On the conditions of convergence of the functional from the sum of independent random variables to the functional from the Wiener process
Estimation of average delay in systems with unsourced random access and multiple departure
Batch codes based on lifted multiplicity codes
A Lower Bound on the Number of Boolean Functions with Median Correlation Immunity
Application of list decoding of convolutional codes in steganography
Parallel Algorithms for Solving Sparse Binary Subset Sums Using Random Mappings
DC Designer: Software System of Scaling Multiprovider Data Centers Networks
Interleaving Loidreau's Rank-Metric Cryptosystem
MAGNet: Multi-agent Graph Network for Deep Multi-agent Reinforcement Learning
Achievability Bounds for Massive Random Access in the Gaussian MAC with Delay Constraints
A Simplified Lower Bound on Minimum Distance of Convolutional Polar Codes
On Minimal Distance between q-ary Plateaued Functions
On Squares of Dihedral Codes
Load Balancing Performance in Distributed Storage with Regular Balanced Redundancy
Application of algorithmic information theory to calibrate tests of random number generators
Design and Decoding of Polar Codes with a Mixture of Reed-Solomon and Arikan Kernels
Scalable Parallel Debugging with g-Eclipse
MPI Runtime Error Detection with MUST: Advanced Error Reports
Visualizing More Performance Data Than What Fits on Your Screen
New Analysis Techniques in the CEPBA-Tools Environment
likwid-bench: An Extensible Microbenchmarking Platform for x86 Multicore Compute Nodes
Sequential Performance Analysis with Callgrind and KCachegrind
Recent Developments in the Scalasca Toolset
Custom Hot Spot Analysis of HPC Software with the Vampir Performance Tool Suite
The Importance of Run-Time Error Detection
PERISCOPE: An Online-Based Distributed Performance Analysis Tool
MUST: A Scalable Approach to Runtime Error Detection in MPI Programs
Cudagrind: Memory-Usage Checking for CUDA
Performance Analysis and Workload Characterization with IPM
Evolution of a Parallel Performance System
An Open-Source Tool-Chain for Performance Analysis
Tools for High Performance Computing 2013, Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2013, ZIH, Dresden, Germany
Cray Performance Analysis Tools
Generic Support for Remote Memory Access Operations in Score-P and OTF2
Memory Debugging in Parallel and Distributed Applications
Advanced Memory Checking for MPI Parallel Applications Using MemPin
Score-P: A Joint Performance Measurement Run-Time Infrastructure for Periscope, Scalasca, TAU, and Vampir
Folding: Detailed Analysis with Coarse Sampling
Performance Analytics: Understanding Parallel Applications Using Cluster and Sequence Analysis
Advances in the TAU Performance System
Suitability of Performance Tools for OpenMP Task-Parallel Programs
Cache-Related Performance Analysis Using Rogue Wave Software's ThreadSpotter
Advanced Memory Checking Frameworks for MPI Parallel Applications in Open MPI
Performance Tuning of x86 OpenMP Codes with MAQAO
ISP Tool Update: Scalable MPI Verification
Sun HPC ClusterTools™ 7+: A Binary Distribution of Open MPI
Extending Scalasca's Analysis Features
Improving Cache Utilization Using Acumem VPE
Comprehensive Performance Tracking with Vampir 7
A Comparison of Trace Compression Methods for Massively Parallel Applications in Context of the SIOX Project
Tools for High Performance Computing 2011 - Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, ZIH, Dresden, September 2011
PAMDA: Performance Assessment Using MAQAO Toolset and Differential Analysis
Creating a Tool Set for Optimizing Topology-Aware Node Mappings
Using Sampling to Understand Parallel Program Performance
Collecting Performance Data with PAPI-C
Tools for High Performance Computing 2009 - Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
Temanejo: Debugging of Thread-Based Task-Parallel Programs in StarSS
An Integrated Environment For the Development of Parallel Applications
Tools for High Performance Computing - Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
Debugging MPI Programs on the Grid using g-Eclipse
Debugging CUDA Accelerated Parallel Applications with TotalView
MPI Correctness Checking with Marmot
Trace-Based Performance Analysis for Hardware Accelerators
Tools for Simulation and Benchmark Generation at Exascale
Node Performance and Energy Analysis with the Sniper Multi-core Simulator
HPC Profiling with the Sun Studio™ Performance Tools
HiFlow 3 : A Hardware-Aware Parallel Finite Element Package
Recent Advances in Periscope for Performance Analysis and Tuning
Task Debugging with TEMANEJO
Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications
Debugging at Scale with Allinea DDT
MuMMI: Multiple Metrics Modeling Infrastructure
The HOPSA Workflow and Tools
The Vampir Performance Analysis Tool-Set
Tools for High Performance Computing 2012 - Contributed Papers Presented at the 6th International Parallel Tools Workshop, Stuttgart, Germany, September 25-26, 2012
Enhanced Memory debugging of MPI-parallel Applications in Open MPI
Endoscopy Image Classification for Wireless Capsules with CNNs on Microcontroller-Based Platforms
Real-Time Implementation of Adaptive Correlation Filter Tracking for 4K Video Stream in Zynq UltraScale+ MPSoC
Pilot studies of wireless sensor networks: Practical experiences
Methodology for designing partially reconfigurable systems using transaction-level modeling
Proceedings of the 2010 Conference on Design & Architectures for Signal & Image Processing, DASIP 2010, Edinburgh, Scotland, UK, October 26-28, 2010, Electronic Chips & Systems design Initiative, ECSI
Stereo vision system for capture and removal of space debris
TaPaFuzz - An FPGA-Accelerated Framework for RISC-V IoT Graybox Fuzzing
High speed VLSI architecture for 2-D lifting Discrete Wavelet Transform
Deep Recurrent Neural Network Performing Spectral Recurrence on Hyperspectral Images for Brain Tissue Classification
Design of fixed-point embedded systems (DEFIS) French ANR project
Efficient bit decoding implementation for mass market multi-constellation GNSS receivers
Selecting most profitable instruction-set extensions using ant colony heuristic
A unified hardware/software co-synthesis solution for signal processing systems
Optimal low power and scalable memory architecture for Turbo encoder
Low-cost guaranteed-throughput dual-ring communication infrastructure for heterogeneous MPSoCs
Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation
Efficient Architecture for Implementation of Hermite Interpolation on FPGA
Graphic rendering application profiling on a shared memory MPSOC architecture
Generation of schedule tables on multi-core systems for AUTOSAR applications
Middleware based executive for embedded reconfigurable platforms
Brain Blood Vessel Segmentation in Hyperspectral Images Through Linear Operators
Tool flow for automatic generation of architectures and test-cases to enable the evaluation of CGRAs in the context of HPC applications
Range-free algorithm for energy-efficient indoor localization in Wireless Sensor Networks
FPGA-based detection of QRS complexes in ECG signal
Architecture of a Low Latency H.264/AVC Video Codec for robust ML based Image Classification
Real-Time Implementation of Contextual Image Processing Operations for 4K Video Stream in Zynq UltraScale+ MPSoC
Open-people: An open platform for estimation and optimizations of energy consumption
Energy modeling of the virtual memory subsystem for real-time embedded systems
Run-Time Coarse-Grained Hardware Mitigation for Multiple Faults on VLIW Processors
Energy-aware decoders: A case study based on an RVC-CAL specification
SystemC modelling of lossless compression IP cores for space applications
Real-time GPU-based local stereo matching method
Estimating encoding complexity of a real-time embedded software HEVC codec
A noise-agnostic self-adaptive image processing application based on evolvable hardware
A novel graphics processor architecture based on partial stream rewriting
Robust unclonable identifiers and true random numbers from off-the-shelf SRAMs
Fast and efficient signals recovery for deterministic compressive sensing: Applications to biosignals
High speed Fp multipliers and adders on FPGA platform
Demo: Efficient delay and apodization for on-FPGA 3D ultrasound
Interfacing and scheduling legacy code within the Canals framework
Multi-standard trellis-based FEC decoder
Session 3 (special session): Visual scene analysis in 2D and 3D
Analytical approach to evaluate the effect of the spread of quantization noise through the cascade of decision operators for spherical decoding
Comparative Study of Scheduling a Convolutional Neural Network on Multicore MCU
SCAPE: HW-Aware Clustering of Dataflow Actors for Tunable Scheduling Complexity
Design and Architectures for Signal and Image Processing - 17th International Workshop, DASIP 2024, Munich, Germany, January 17-19, 2024, Proceedings
High level design of adaptive distributed controller for partial dynamic reconfiguration in FPGA
Special session 1 automotive parallel computing challenges - architectures, applications and tricks
Extension and FPGA architecture of the Generalized Hough Transform for real-time stereo correspondence
Wordlength Optimization for Custom Floating-Point Systems
Robust lane recognition for autonomous driving
Design and Architecture for Signal and Image Processing - 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022, Proceedings
Layered detection and decoding in MIMO wireless systems
FPGA accelerator of Quasi cyclic EG-LDPC codes decoder for NAND flash memories
Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach
A Low Power Versatile Video Coding (VVC) Fractional Interpolation Hardware
DASIP '21: Workshop on Design and Architectures for Signal and Image Processing (14th edition) - in conjunction with HiPEAC 2021, Budapest, Hungary, January 18-20, 2021
HLS-based FPGA implementation of a predictive block-based motion estimation algorithm - A field report
GPU architecture evaluation for multispectral and hyperspectral image analysis
Noise-agnostic adaptive image filtering without training references on an evolvable hardware platform
Design Flow for Portable Dataflow Programming of Heterogeneous Platforms
Design and hardware implementation of a low-complexity multiuser vector precoder
Modeling control tokens for composition of CAL actors
Energy consumption modeling of smart nodes with a function approach
Accelerating the Inference Phase in Ternary Convolutional Neural Networks Using Configurable Processors