yusuke1997/dblp-id-title huggingface dataset:
Adomian decomposition method by Gegenbauer and Jacobi polynomials
Compact difference method for solving the fractional reaction-subdiffusion equation with Neumann boundary value condition
Global exponential stability results for delayed neural networks of neutral type
DCapBAC: embedding authorization logic into smart things through ECC optimizations
Some iterative algorithms for the obstacle problems
Approximations in a module by using set-valued homomorphisms
Numerical scheme based on similarity reductions for the regularized long wave equation
Infeasible Mehrotra-type predictor-corrector algorithm for cartesian P*(κ) nonlinear complementarity problems over symmetric cones
A least distance algorithm for a smooth strictly convex norm
Heuristic tree search with nonparametric statistical inference methods
A Seed Method for Solving Nonsymmetric Linear Systems with Multiple Right-hand Sides
Exponential stability of a rotating Timoshenko beam under thermo-viscoelastic damping
An efficient weak Galerkin finite element method for generalized Black-Scholes PDEs modelling option pricing
Function simulation, graph grammars and colourings
Multi-projection methods for Fredholm integral equations of the first kind
A systolic processor array for the quadrant interlocking elimination method
Optimized pairs of multidimensional ERKN methods with FSAL property for multi-frequency oscillatory systems
A method for high-order multipoint boundary value problems with Birkhoff-type conditions
Improved digital signature protocol using iterated function systems
Iterative methods for simultaneous computing arbitrary number of multiple zeros of nonlinear equations
An optimized hybrid block method for solving nonlinear singularly perturbed problems using non-uniform Jain-type meshes
Uniformly convergent second-order difference scheme for a singularly perturbed periodical boundary value problem
Improved efficient difference method for the modified anomalous sub-diffusion equation with a nonlinear source term
A class of explicit two-step superstable methods for second-order linear initial value problems
A semi-fragile watermarking scheme for authenticating audio signal based on dual-tree complex wavelet transform and discrete cosine transform
Generalized (, alpha, rho, theta)- d - V -univex functions and non-smooth alternative theorems
Generalized multistep Steffensen iterative method. Solving the model of a photomultiplier device
Suboptimal control of linear systems with delays in state and input by orthonormal basis
Advanced computational engineering
Obituary for David John Evans (1928-2005)
Conjugate gradient method approach to queue theory
Stochastic generalized Rayleigh diffusion process: computational strategies and statistical analysis
Chebyshev collocation method for solving singular integral equation with cosecant kernel
Second-order two-point boundary value problems using the variational iteration algorithm-II
A class of developed schemes for parabolic integro-differential equations
Structure preserving subspace methods for the general coupled discrete-time periodic matrix equation and its application in antilinear periodic system
A new digital signature scheme based on factoring and discrete logarithms
The halfsweeps multigrid method as a fast multigrid poisson solver
Performance modelling of asynchronous replica distribution technique on distributed database systems
NewFriends: an algorithm for computing the minimum number of friends required by a user to get the highest PageRank in a social network
An efficient approach to mapping large anns onto fixed systolic architectures
An algorithmic proof of Brégman-Minc theorem
L (2, 1)-labellings for direct products of a triangle and a cycle
Nonlinear conformable Schrödinger equation in weakly nonlocal media using a new generalized computational technique
An alternative analysis for the local convergence of iterative methods for multiple roots including when the multiplicity is unknown
Predictive modeling and intervention strategies for COVID-19 spread estimation using machine learning and computational intelligence techniques
Approximation of insurance liability contracts using radial basis functions
A fast high-order sinc-based algorithm for pricing options under jump-diffusion processes
Fast implementation of direct robot kinematics with cordic systolic arrays
The numerical solution of inverse nodal problem for integro-differential operator by Legendre wavelet method
A novel semi-analytic algorithm for evaluation of nearly singular integrals in boundary element analysis
Parallel computation of the multi-exponentiation for cryptosystems
Real-time fault tolerant deployment and configuration framework for cyber physical systems
UML&AADL '2007 grand challenges
Control of large scale computing systems
SMT-based schedulability analysis using RMTL-∫
Improving schedulability and energy efficiency for real-time systems with (m, k)-guarantee
Towards compositional mixed-criticality real-time scheduling in open systems: invited paper
Towards architectural support for bandwidth management in mixed-critical embedded systems
Resource sharing under server-based multiprocessor scheduling
Complex medical processes as context for embedded systems
A publish-subscribe architecture and component-based programming model for medical device interoperability
Runtime compositional analysis of track-based traffic control systems
Developing a first course on cyber-physical systems
On flexible and robust parameter assignment for periodic real-time components
Improving device-level electricity consumption breakdowns in private households using ON/OFF events
Applying language-based static verification in an ARM operating system
Design suite for deeply embedded cyber physical systems
Traffic shaping to reduce jitter in controller area network (CAN)
Prevention of failures due to assumptions made by software components in real-time systems
The fork-join real-time task model
Model-based falsification of an artificial pancreas control system
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior
A case study in efficient microcontroller education
Generic framework for design, modeling and simulation of cyber physical systems
A use error taxonomy for improving human-machine interface design in medical devices
A survey on wireless sensor network clustering protocols optimized via game theory
Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis
WCTT bounds for MPI primitives in the PaterNoster NoC
SlotSwapper: a schedule randomization protocol for real-time WirelessHART networks
Using Network Calculus to compute end-to-end delays in SpaceWire networks
Specific read only data management for memory hierarchy optimization
Exploring chip-multiprocessors in deeply-embedded real-time computing
Opportunistic scheduling in a constraint-rich world
Aligning single path loops to reduce the number of capacity cache misses
Mitigating network-layer security attacks on authentication-enhanced openICE
Regression testing of multi-tasking real-time systems: a problem statement
Feedback scheduling of real-time divisible loads in clusters
Research challenges for wireless sensor networks
A prototype architecture for cyber-physical systems
Adding real-time capabilities to a SML compiler
Toward HW/SW integration: a networked embedded system course in Taiwan
De-layered grid storage server
Programming framework for sensor-data driven context-aware applications
Performance analysis of TDMA-based wireless network for safety-critical avionics
Revisiting the need for mobile MAC protocols in wireless sensor networks
Digitally assisted analog front-end power management strategy via dynamic reconfigurability for robust heart rate monitoring
Non-uniform program analysis & repeatable execution constraints: exploiting out-of-order processors in real-time systems
Adaptive path scheduling for mobile element to prolong the lifetime of wireless sensor networks
Fuzzy logic based adaptive hierarchical scheduling for periodic real-time tasks
Minimizing energy under performance constraints on embedded platforms: resource allocation heuristics for homogeneous and single-ISA heterogeneous multi-cores
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs
Routing algorithms for IEEE802.1Qbv networks
Thermal-aware energy minimization for real-time scheduling on multi-core systems
ILP-based scheduling for malleable fork-join tasks
M 2 RC: multiplicative-increase/additive-decrease multipath routing control for wireless sensor networks
An automatic control interface for network-accessible embedded instruments
Exact and approximate supply bound function for multiprocessor periodic resource model: unsynchronized servers
TCX project: high assurance for secure embedded systems
Container-based real-time scheduling in the Linux kernel
Automated model translations for vehicular real-time embedded systems with preserved semantics
Timing analysis for a composable mode switch
Incorporating embedded programming skills into an ECE curriculum
High-confidence cyber-physical co-design
Routing heuristics for load-balanced transmission in TSN-based networks
An adaptive, utilization-based approach to schedule real-time tasks for ARM big.LITTLE architectures
Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions
An embedded computer controlled four fingered robot hand
Mode-changes in COTS time-triggered network hardware without online reconfiguration
MobileAds: advertisement on mobile devices
The development and deployment of embedded software curricula in Taiwan
Task migration for fault-tolerance in mixed-criticality embedded systems
Fixed-priority scheduling of variable rate tasks for an autonomous mobile robot
Real-time routing and retry strategies for low-latency 802.15.4 control networks
Embedded systems education: future directions, initiatives, and cooperation
Towards predictable wireless cyber-physical applications
Modeling and simulation of power consumption and execution times for real-time tasks on embedded heterogeneous architectures
FTT-openFlow, on the way towards real-time SDN
A control theory perspective on configuration management and Cfengine
Intra-component resource sharing on a virtual multiprocessor platform
Linux PREEMPT-RT v2.6.33 versus v3.6.6: better or worse for real-time applications?
Opportunities and challenges in using energy-harvesting for NB-IoT
Towards a flexible global sensing infrastructure
A modular framework for clinical decision support systems: medical device plug-and-play is critical
Architecture design principles to support adaptive service orchestration in WSN applications
xCPS: a tool to explore cyber physical systems
A distributed, utility-based architecture for task assignment in tactical WSNS
RT-WiFi: real-time high speed communication protocol for wireless control systems
A lightweight approach to online detection and classification of interference in 802.15.4-based sensor networks
Towards dynamic adaptation in broadcasting with hybrid rateless codes
Enabling self-adaptivity in component-based streaming applications
Porting an AUTOSAR-compliant operating system to a high performance embedded platform
Towards security and QoS optimization in real-time embedded systems
Scheduling analysis from architectural models of embedded multi-processor systems
A framework for the response time analysis of fixed-priority tasks with stochastic inter-arrival times
Adaptive environment perception in cyber-physical systems
DTFM: a flexible model for schedulability analysis of real-time applications on NoC-based architectures
Process and product certification arguments: getting the balance right
Linux on FPGA platforms: control software to connect custom peripherals
Composable routing in mobile mesh networks
Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective
Exploring storage bottlenecks in Linux-based embedded systems
xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems
Experiences from large embedded systems development projects in education, involving industry and research
Application of mixed-criticality scheduling model to intelligent transportation systems architectures
A methodology for modeling and verification of cyber-physical systems based on logic programming
A mixed criticality approach for the security of critical flows in a network-on-chip
Application validation on RTDroid
Quatros: a preemptive multithreaded embedded OS for education
DynaMO: dynamically tuning DSME networks
On the energy efficiency of parallel multi-core vs hardware accelerated HD video decoding
Using segmentation to improve schedulability of real-time traffic over RRA-based NoCs
A model based design approach to system building using the e-Yantra educational robot
FARD: accelerating distributed fog computing workloads through embedded FPGAs
Visual environment for high performance real-time 3D reconstruction
Strategies and considerations in shaping cyber-physical systems education
X-lap: a systems approach for cross-layer profiling and latency analysis for cyber-physical networks
An energy-aware scheduling for real-time task synchronization using DVS and leakage-aware methods
A case study to develop a graduate-level degree program in embedded & cyber-physical systems
The problem with time in mixed continuous/discrete time modelling
Embedded software education: an RTOS-based approach
A fingerprint and timing-based snooping attack on residential sensor systems
Work in progress: wiser distributed file system for heterogeneous sensor platforms
Flat but trustworthy: security aspects in flattened hierarchical scheduling
Open source model and simulator for real-time performance analysis of automotive network security
Model driven code generation for critical and adaptative embedded systems
CARTS: a tool for compositional analysis of real-time systems
Extended recursive analysis for tilera tile64 NoC architectures: towards inter-NoC delay analysis
Preliminary design of future reconfigurable IMA platforms
Dynamic reconfiguration in multi-hop switched ethernet networks
Towards formally verifiable resource bounds for real-time embedded systems
Using DDS middleware in distributed partitioned systems
Enabling WCET-based composition of service-based real-time applications
Modeling building thermal response to HVAC zoning
Design and development of a wireless sensor model for vehicular area networks
Worst-case execution time analysis of security policies for deeply embedded real-time systems
Improving resource utilization for compositional scheduling using DPRM interfaces
A practical approach to speech processor for auditory prosthesis using DSP and FPGA
Dynamic scheduling algorithm for parallel real-time graph tasks
Migration-aware WCET estimation for heterogeneous multi-cores
Task-set generator for schedulability analysis using the TACLebench benchmark suite
Earl: energy-aware reconfigurable locks
Traffic-aware reconfigurable architecture for fault-tolerant 2D mesh NoCs
Feedback fault tolerance of real-time embedded systems: issues and possible solutions
Research trends in real-time computing for embedded systems
A multi-robot search using LEGO mindstorms: an embedded software design project
A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems
RePulmo: a remote pulmonary monitoring system
The open PCA pump project: an exemplar open source medical device as a community resource
Challenges and opportunities in deeply embedded systems security
Profiling-based L1 data cache bypassing to improve GPU performance and energy efficiency
Towards adaptive GPU resource management for embedded real-time systems
Enhanced aperiodic responsiveness by multi budget bandwidth preserving server
Online feedback-based estimation of dynamic page service time
On the use of code mobility mechanisms in real-time systems
Certifying cryptographic protocols by abstract model-checking and proof concretization
An intra-task DVS algorithm exploiting path probabilities for real-time systems
Integrating independently developed real-time applications on a shared multi-core architecture
The development of training course for embedded middleware design
Support for cross-domain composition of embedded systems using MARTE models
Cache-aware real-time scheduling simulator: implementation and return of experience
Towards hardware embedded virtualization technology: architectural enhancements to an ARM SoC
A dynamic-mode DVS algorithm under dynamic workloads
Cost minimization of network services with buffer and end-to-end deadline constraints
Virtual release advancing for earlier deadlines
NEXCESS: Nagoya university extension courses for embedded software specialists
Engineering high confidence medical device software
Protecting interoperable clinical environment with authentication
A program state machine based virtual processing model in SystemC
SDN-based configuration solution for IEEE 802.1 time sensitive networking (TSN)
10th IEEE real-time and embedded technology and applications symposium
Modeling the behavior of threads in the PREEMPT_RT Linux kernel using automata
Thermal effects on real-time systems
The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT
Aligning Deos and RTEMS with the FACE safety base operating system profile
Swapping to reduce preemptions and migrations in EKG
FPGA based CPU instrumentation for hard real-time embedded system testing
A system for automatic testing of embedded software in undergraduate study exercises
Sharing resources among independently-developed systems on multi-cores
Tracing event chains for holistic response-time analysis of component-based distributed real-time systems
Design and development of a sensor model for coalmines
Autonomic computing architecture for real-time medical application running on virtual private cloud infrastructures
RTFM-core: course in compiler construction
Research challenges in embedded and hybrid systems
Provisioning within a WSAN cloud concept
Towards adaptive resource reservations for component-based distributed real-time systems
Kalimucho: software architecture for limited mobile devices
Nexos: a next generation embedded systems laboratory
Fault-tolerant hierarchical real-time scheduling with backup partitions on single processor
Toward probabilistic real-time calculus
Tighter buffer dimensioning in AFDX networks
On interrupt scheduling based on process priority for predictable real-time behavior
An evaluation of the RUN algorithm in LITMUS RT
Real-time network function virtualization with timing interfaces
Scheduling and thread management with RTEMS
Demand-driven curriculum for embedded system software in Korea
Boosting read-ahead efficiency for improved user experience on mobile devices
Compositional schedulability analysis for cyber-physical systems
Non-expert construction of customized embedded systems to enhance STEM curricula
Transition-aware task scheduling and configuration selection in reconfigurable embedded systems
A state-based language for sensor-actuator networks
Where is PELE?: pervasive localization using wearable and handheld devices
Cyber-physical systems in industrial process control
Towards EDF schedulability analysis of an extended timing definition language
Human in the loop: distributed data streams for immersive cyber-physical systems
Programming support for time-sensitive adaptation in cyberphysical systems
Leakage-aware real-time scheduling for maximal temperature minimization
Performance-aware load shedding for monitoring events in container based environments
Tolerating partial failures on IEC 61499 applications
Information processing in sensor networks (IPSN'04)
SPM-aware scheduling for nested loops in CMP systems
Safety, security, and object-oriented programming
Behavioural composition constructively built server algorithms
Real-time and embedded technology and applications symposium (RTAS '05)
Timing analysis of P-FRP systems
How to engineer tool-chains for automotive E/E architectures?
PrVM: a multicore real-time virtualization scheduling framework with probabilistic timing guarantees
Enabling transparent hardware acceleration on Zynq SoC for scientific computing
Educating embedded systems hackers: a practitioner's perspective
Maximizing job benefits on multiprocessor systems using a greedy algorithm
On benchmarking embedded Linux flash file systems
A lazy DVS approach for dynamic real time system
TEMPO: performance viewpoint for component-based design of real-time systems
Hardware platform design decisions in embedded systems: a systematic teaching approach
On the efficiency of sporadic servers on ethernet with FTT-SE
A new concept for system-level design of runtime reconfigurable real-time systems
Towards a user-mode approach to partitioned scheduling in the seL4 microkernel
A new way about using statistical analysis of worst-case execution times
CPS-IP: cyber physical systems interconnection protocol
Optimal buffer-size by synthetic self-similar traces for different traffics for NoC
Practical experience teaching embedded systems
A preliminary roadmap for dependability research in fog computing
A performance-aware quality of service-driven scheduler for multicore processors
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks
Stream combination: adaptive IO scheduling for streaming servers
Impact of time-triggered transmission window placement on rate-constrained traffic in TTEthernet networks
Towards partitioned hierarchical real-time scheduling on multi-core processors
From composable design models to schedulability analysis with UML and the UML profile for MARTE
Analyzing end-to-end delays in automotive systems at various levels of timing information
Towards laying common grounds for embedded system design education
Supporting virtualization standard for network devices in RTEMS real-time operating system
Multi-core composability in the face of memory-bus contention
Experience with an embedded systems software course
Enforcing safety of cyberphysical systems using flatness and abstraction
Towards a test and validation framework for closed-loop physiology management systems for critical and perioperative care
HyMAD: a hybrid memory-aware DVFS strategy
On the applicability of network coding in wireless sensor networks
Energy scheduling for task execution on intermittently-powered devices
Network-aware, energy-conscious, fair service for real-time applications on multiprocessor SoC
The delft MS curriculum on embedded systems
C++ hard-real-time active library: syntax, semantics, and compilation of Tice programs
Worst case response time and schedulability analysis for real-time software transactional memory-lazy conflict detection (STM-LCD)
Improvement of adaptive EDF
Adaptive offloading for infotainment systems
Towards an analysis framework for tasks with probabilistic execution times and probabilistic inter-arrival times
Power consumption management under a low-level performance constraint in the Xen hypervisor
Coordination operators and their composition under the actor-role-coordinator (ARC) model
Fixed priorities or EDF for distributed real-time systems?
Heuristic list scheduler for time triggered traffic in time sensitive networks
Dynamic bandwidth management in networked control systems using quantization
Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems
Hands-on oriented curriculum and laboratory development for embedded system design
Fully associative cache partitioning with don't care bits for real-time applications
Towards verifiable deeply embedded systems
A tool for designing high-confidence implantable biosensor networks for medical monitoring
Implementation of compositional scheduling framework on virtualization
A testbed for secure and robust SCADA systems
Dead reckoning based target tracking in wireless sensor networks
Comparison of file systems in RTEMS
Model-based verification of adaptive embedded systems under environment constraints