yusuke1997/dblp-id-title huggingface dataset:
Inter-block Backtracking: Exploiting the Structure in Continuous CSPs
Consistency Techniques for the Localization of a Satellite
Convex Programming Methods for Global Optimization
Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems
Global Optimization of Convex Multiplicative Programs by Duality Theory
Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations
Incremental Construction of the Robot's Environmental Map Using Interval Analysis
Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach
Symbolic-Interval Heuristic for Bound-Constrained Minimization
The COPRIN Project: Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis
Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection
Global Optimization and Constraint Satisfaction, Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials
High-Fidelity Models in Global Optimization
The Case for Interpreted Languages in Sensor Networks
Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study
Energy Management for the Telepresence System TSR
Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects
ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs
A Small High Performance Microprocessor Core Sirius for Embedded Low Power Designs, Demonstrated in a Medical Mass Application of an Electronic Pill(EPill®)
Power Optimization for Embedded System Idle Time in the Presence of Periodic Interrupt Services
New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies
Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture
Adaptable Switch Boxes as On-Chip Routing Nodes for Networks-on-Chip
State Machine Based Method for Consolidating Vehicle Data
From Model to Requirements: Pattern-Based Analysis in Distributed Development of Embedded Systems
Towards Run-Time Partitioning of a Real Time Operating System for Reconfigurable Systems on Chip
Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration
Formal Verification of Concurrent Embedded Software
Dynamic Software Update of Resource-Constrained Distributed Embedded Systems
IoT Assistant for People with Visual Impairment in Edge Computing
Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management
Object Orientation Problems When Applied to the Embedded Systems Domain
Temporal Graph Placement on Mesh-Based Coarse Grain Reconfigurable Systems Using the Spectral Method
A Synchronization Method for Register Traces of Pipelined Processors
Designing Modern Embedded Systems: Software, Hardware, and Applications - 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Improving Estimations for Latencies of Cause-Effect Chains
Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software
Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks
Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis
Integration of two Complementary Time-Triggered Technologies: TMO and TTP
Efficient Modeling of Embedded Systems Using Computer-Aided Recoding
Automatic Execution of Test Cases on UML Models of Embedded Systems
An Embedded SW Design Exploration Approach Based on UML Estimation Tools
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads
Generic Architecture Designed for Biomedical Embedded Systems
Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support
Integration of Embedded Software with Corporate Information Systems
An Energy-Aware Exploration Approach Based on Open Software Environment
Programming Robots with Events
Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices
An Infrastructure for UML-Based Code Generation Tools
Requirements and Concepts for Transaction Level Assertion Refinement
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
An Efficient Lightweight Framework for Porting Vision Algorithms on Embedded SoCs
Automated Functional Verification of Application Specific Instruction-set Processors
Constrained and Unconstrained Hardware-Software Partitioning using Particle Swarm Optimization Technique
Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation
Using Network Architecture Search for Optimizing Tensor Compression
Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Compressing Microcontroller Execution Traces to Assist System Analysis
Contract-Based Compositional Scheduling Analysis for Evolving Systems
Reducing the Code Size of Retimed Software Loops under Timing and Resource Constraints
Configurable Medium Access Control for Wireless Sensor Networks
Software and Driver Synthesis from Transaction Level Models
Data Reuse Driven Memory and Network-On-Chip Co-Synthesis
Modelling of Device Driver Software by Reflection of the Device Hardware Structure
A Hybrid Hardware and Software Component Architecture for Embedded System Design
Model Checking Memory-Related Properties of Hardware/Software Co-designs
Ontological User Modeling for Ambient Assisted Living Service Personalization
Automatic Transformation of System Models in Automotive Electronics
Constructing a Multi-OS Platform with Minimal Engineering Cost
Automatic Generation of Communication Architectures
Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines
Low-Power Processors Require Effective Memory Partitioning
Communication Layer Architecture for a Production Line Digital Twin Using Hierarchical Colored Petri Nets
A Jitter-Free Operational Environment for Dependable Embedded Systems
Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments
Utilizing Reconfigurable Hardware to Optimize Workflows in Networked Nodes
Modeling of Software-Hardware Complexes
A Comparative Analysis Between SysML and AADL When Modeling a Real-Time System
Embedded SW Design Space Exploration and Automation using UML-Based Tools
Ensuring High Quality in Specifications for Automotive Embedded Control Systems
Distributed Control Structure of the NBP Test Track with Linear Motor Driven Vehicles
Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms
Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System
Towards Virtualization Concepts for Novel Automotive HMI Systems
Medical Embedded Systems
Off-Line Placement of Tasks onto Reconfigurable Hardware Considering Geometrical Task Variants
Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs
Tool and Method for Obtaining End-to-End Reliability Parameters of Wireless Industrial Networks
FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks
Task-Dependent Processor Shutdown for Hard Real-Time Systems
Managing Cache Memory Resources in Adaptive Many-Core Systems
I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications
Error Containment in the Time-Triggered System-On-a-Chip Architecture
A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance
Enhancing a Real-Time Distributed Computing Component Model through Cross-Fertilization
Timed Path Conditions in MATLAB/Simulink
An OSEK/VDX-based Multi-JVM for Automotive Appliances
A Hybrid Approach for System-Level Design Evaluation
Automatic Data Path Generation from C code for Custom Processors
From Specification to Embedded Systems Application [International Embedded Systems Symposium, IESS 2005, Manaus, Brazil, August 2005]
Design, Implementation, and Evaluation of a Real Time Localization System for the Optimization of Agitation Processes
Enhancement of System-Lifetime by Alternating Module Activation
Proteus, a Hybrid Virtualization Platform for Embedded Systems
Partitioning Metrics for Improved Performance and Economy of Distributed Embedded Systems
Multi-Agent Based Implementation of an Embedded Image Processing System in FPGA for Precision Agriculture Using UAVs
Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets
Workload Characterization for Memory Management in Emerging Embedded Platforms
Assessing the Use of RT-Java in Automotive Time-Triggered Applications
Embedded Software Development in a System-Level Design Flow
Analysis, Estimations, and Applications of Embedded Systems - 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers
Smart Speed Technology TM
Functional Verification for UML-Based Model Driven Design of Embedded Systems
On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem
Towards ASIP Architecture-Driven Algorithm Development
Using Data Mining and Mobile Devices to Assist the Interactive Automotive Diagnostics
Domain-Crossing Software Product Lines in Embedded, Automotive Systems
Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs
Integrated Coupling and Clock Frequency Assignment of Accelerators During Hardware/Software Partitioning
Implementing Real-Time Algorithms by using the AAA Prototyping Methodology
Monitoring of an Artificial DNA in Dynamic Environments
Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA
Integrating Wireless Sensor Networks and the Grid through POP-C++
Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures
Adaptive Total Bandwidth Server: Using Predictive Execution Time
Software-Hardware Complexes: Towards Flexible Borders
Hardware Implementation of the Time-Triggered Ethernet Controller
Formal Verification for Embedded Systems Design Based on MDE
TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component
Memristor-only LSTM Acceleration with Non-linear Activation Functions
Event Stream Calculus for Schedulability Analysis
Reconfigurable Buffer Structures for Coarse-Grained Reconfigurable Arrays
Analysis of Low Cost Sensors Applied to the Detection of Obstacles in High Voltage Towers
An Untimed SystemC Model of GoogLeNet
Towards a Real-Time Communication Network for Autonomous Rail Vehicles
Identification and Removal of Program Slice Criteria for Code Size Reduction in Embedded Systems
Design and Analysis of an Online Update Approach for Embedded Microprocessors
Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems
Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
An Interactive Model Re-Coder for Efficient SoC Specification
Adaptation for Energy Saving in Time-Triggered Systems Using Meta-scheduling with Sample Points
Using Aspect-Oriented Concepts in the Requirements Analysis of Distributed Real-Time Embedded Systems
An Interactive Design Environment for C-based High-Level Synthesis
Configurable Hybridkernel for Embedded Real-Time Systems
A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems
A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems
Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic System
Towards Dynamic Load Balancing for Distributed Embedded Automotive Systems
Efficient and Extensible Transaction Level Modeling Based on an Object Oriented Model of Bus Transactions
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
Systematic Model-in-the-Loop Test of Embedded Control Systems
Evaluating the Perceptual Properties of Crosscutting Concerns Occurrence Points Specifications in Embedded Software
Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories
An Application-Oriented Approach for the Generation of SOC-Based Embedded Systems
Automotive System Optimization using Sensitivity Analysis
MAFAT: Memory-Aware Fusing and Tiling of Neural Networks for Accelerated Edge Inference
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard
Minimizing Memory Contention in an APNG Encoder Using a Grid of Processing Cells
Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling
Demonstrating Scalability of the Checkerboard GPC with SystemC TLM-2.0
Component Case Study of a Self-Optimizing RCOS/RTOS System
Hardware and Software Implementations of Prim's Algorithm for Efficient Minimum Spanning Tree Computation
A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware
Abstract Communication Modeling
Modeling and Analysis of SLDL-Captured NoC Abstractions
Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics
Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture
Reducing Re-verification Effort by Requirement-Based Change Management
Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems
Approach for a Formal Verification of a Bit-serial Pipelined Architecture
Exploiting Heterogeneity in PIM Architectures for Data-Intensive Applications
Low Latency FPGA Implementation of Izhikevich-Neuron Model
Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
System Level Design from HW/SW to Memory for Embedded Systems - 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings
A Real-Time Operating System for Cyber-Physical Systems Based on Physical Time and Logical Time
Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding
Taming the Memory Demand Complexity of Adaptive Vision Algorithms
Embedded Vertex Shader in FPGA
Rapid, High-Level Performance Estimation for DSE Using Calibrated Weight Tables
Towards a Dynamically Reconfigurable Automotive Control System Architecture
Modeling Cache Effects at the Transaction Level
Towards a Load Balancing Middleware for Automotive Infotainment Systems
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs
Mechatronics Design and Verification
TOC-BISR: A Self-Repair Scheme for Memories in Embedded Systems
HMC and DDR Performance Trade-offs
Using a Runtime Measurement Device with Measurement-Based WCET Analysis
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique
Enhancing Interaction Support in the CORBA Component Model
A Passive Monitoring Tool for Evaluation of Routing in WirelessHART Networks
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction
A UML Profile to Couple the Production Code Generator TargetLink with UML Design Tools
Specification-Based Testing of Real-Time Embedded Systems
Usability von e-Learning
Ein Dispositionssystem für Außendienstmitarbeiter
Neuro-Fuzzy Modelling Based on Kolmogorov"s Superposition: a New Tool for Prediction and Classification
Application Integration by Meme Media Concepts
Evaluierung von Sicherheitsmechanismen für eLearning zur Sicherung der Integrität und Authentizität bei Medienübergängen
Erfahrungen mit dem Wissen von Morgen-Communities of Practice
LaplaceScript: Eine XML-basierte Skriptsprache für interaktive Übungsaufgaben
Lernsystem Thermopr@ctice zur Berechnung von Übungsaufgaben mit Computer-Algebrasystemen
Meme Media Technologies for the ad hoc Federation of Intellectual Resources over the Web
MathCoach und LaplaceSkript: Ein programmierbarer interaktiver Mathematiktutor mit XML-basierter Skriptsprache
Pattern based Analysis and Redesign of Knowledge Intensive Business Processes
Lernen mit Online-Praktika
Using IntelligentPad as a Server-Side Technology
Fuzzy Rule-Based System Supporting Financial Analysis and its Verification
Distributed Remote Electronic Lab with Standard Modules
Semantic Description of Documents in Enterprise Knowledge Infrastructures
Mapping XML to OWL Ontologies
Semantische Kodierung fachwissenschaftlicher Applets
Lerner-Inferenzen durch Konstruktion Bayes'scher Netze aus Domänenwissen
(Process) Ontologies as context for (Wiki-) Communities
Experimenteller Ansatz zur Analyse der Usability des Knowledge Management Systems "Bewegung und Training"
Computational Intelligence Techniques for Data Analysis
Empirische Analyse zum Nutzungsverhalten des Knowledge Management Systems "Bewegung und Training": Ein Untersuchungsansatz
Wie bringen wir e-Learning in den Hochschulalltag?
Shadows on 3D: Hosting 2D Legacy Applications into a 3D Meme Media Environment
Marktplatz Internet: von E-Learning bis E-Payment, 13. Leipziger Informatik-Tage, LIT 2005, 21.-23. September 2005, Leipzig
Overcoming Human Weaknesses in Validation of Knowledge-Based Systems
Konzepte intelligenter Assistenten in Virtuellen Laboren für Mathematik
Algorithmic Learning: Formal Models and Prototypical Applications
Visual Design and On-line Verification of Tabular Rule-Based
Language e-Learning with Role-based Mobile Phones Games
Organisationsgestaltung im E-Learning - Konzeption und Anwendung für die integrierte Prozessgestaltung an Großuniversitäten
mArachna: Entwicklung von Wissensrepräsentationsmechanismen für die Mathematik
Usability Enhancement für die IntelligentPad Technologie
MathletFactory: Komponentenframework und Autorenumgebung für mathematische Applets interaktiver eLearning-Plattformen
Integration heterogener Datenbanken am Beispiel eines Hochschul-Informationssystems
Der Funktions-Fragment-Checker: eine effektive Übungsumgebung für C#-Programmieranfänger
Neue Medien an der Universität des Saarlandes - Einsatzgebiete und Entwicklungsmöglichkeiten
Exemplifying Subgroup Mining Results for Interactive Knowledge Refinement
Portal "Prozessautomation"
TEE - The Electronic Exercise
Wie nutzen und beurteilen Studierende E-Learning? Ergebnisse einer repräsentativen Online-Erhebung
Mumie: Plattform und Autorenumgebung für die Mathematik
Interactive Visualisation Techniques on Queries in Structured Information Spaces
SOP-Creator - A Tool for the Management of Standard Operating Procedures
Supporting Web Search by User Specific Document Categorization: Intelligent Bookmarks
Sharing and Re-using Scientific and Educational Resources in the Monist Learning Environment
Zerlegung von Dokumenten zur Optimierung der Informationsversorgung in Wissensmanagementsystemen
A Methodological View on Robustness Testing of Rule-Based Knowledge Systems
The Exercise Format-Editor - Supporting the Systematic Construction of Interactive Learning Tasks
Real Time Tracking and Visualisation of Musical Expression
Discovering Musical Structure in Audio Recordings
Automatic Classification of Drum Sounds: A Comparison of Feature Selection Methods and Classification Techniques
Music and Artificial Intelligence, Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings
A Model for the Perception of Tonal Melodies
Interacting with a Musical Learning System: The Continuator
Expressive Gesture
Respiration Reflecting Musical Expression: Analysis of Respiration during Musical Performance by Inductive Logic Programming
Control Language for Harmonisation Process
The Spiral Array: An Algorithm for Determining Key Boundaries
Recognition of Isolated Musical Patterns Using Hidden Markov Models
A General Parsing Model for Music and Language
Structure and Interpretation of Music Concepts: Music from a Computational Perspective
Mimetic Development of Intonation
Some Formal Problems with Schenkerian Representations of Tonal Structure
Combining Grammar-Based and Memory-Based Models of Perception of Time Signature and Phase
A Bayesian Approach to Key-Finding
Representation and Discovery of Vertical Patterns in Music
Evaluating Melodic Segmentation
A Novel Bio-inspired Tactile Tumour Detection Concept for Capsule Endoscopy
Modulating Behaviors Using Allostatic Control
Time-Evolution Characterization of Behavior Class Prototypes
Autonomous Versus Manual Control of a Pasture Sanitation Robot
Hide and Seek: Knowledge Search in Biomimicry
Analysing the Limitations of Deep Learning for Developmental Robotics
Analyzing the Interplay Between Local CPG Activity and Sensory Signals for Inter-leg Coordination in Drosophila
Balancing Freedom and Responsibility to Accelerate Biohybrid Research
A Scalable Soft Robotic Cellbot
The Emergence of Action Sequences from Spatial Attention: Insight from Rodent-Like Robots
Robotic Simulator of Vocal Fold Paralysis
Measuring the Effectiveness of Biomimetic Robots as Therapeutic Tools: Translating the Felt Security Scale from English to Japanese
Kinematic and Kinetic Analysis of a Biomechanical Model of Rat Hind Limb with Biarticular Muscles
Active Inference for Artificial Touch: A Biologically-Plausible Tactile Control Method
Towards a Two-Phase Model of Sensor and Motor Learning
Active Control for Object Perception and Exploration with a Robotic Hand
Fetusoid35: A Robot Research Platform for Neural Development of Both Fetuses and Preterm Infants and for Developmental Care
Multimodal Parameter Inference for a Canonical Motor Microcircuit Controlling Rat Hindlimb Motion
Slip Detection on Natural Objects with a Biomimetic Tactile Sensor
Route Following Without Scanning
A Synthetic Nervous System for on and Off Motion Detection Inspired by the Drosophila melanogaster Optic Lobe
Active Collision Free Closed-Loop Control of a Biohybrid Fly-Robot Interface
Development of Sensorized Arm Skin for an Octopus Inspired Robot - Part II: Tactile Sensors
Aquatic Swimming of a Multi-functional Pedundulatory Bio-Robotic Locomotor
Monolithic Design and Fabrication of a 2-DOF Bio-Inspired Leg Transmission
MiniBee: A Minature MAV for the Biomimetic Embodiment of Insect Brain Models
Tactile Language for a Head-Mounted Sensory Augmentation Device
Mismatched Partners in Human-Robot Interaction: Biomimetic Insights on Aligning Internal States with External Expressions
Discrimination-Based Perception for Robot Touch
Speed-Independent Wall Distance Estimation Along a Given Trajectory of a Biohybrid Fly-Robot-Interface
Detecting Human Distraction from Gaze: An Augmented Reality Approach in the Robotic Environment
FRESH-Printing of a Multi-actuator Biodegradable Robot Arm for Articulation and Grasping
Sequence Generator Network for Neuromechanical Control of Rat Hindlimbs
Gait Analysis of 6-Legged Robot with Actuator-Equipped Trunk and Insect Inspired Body Structure
Help! I Can't Reach the Buttons: Facilitating Helping Behaviors Towards Robots
Characterization of Biomimetic Peristaltic Pumping System Based on Flexible Silicone Soft Robotic Actuators as an Alternative for Technical Pumps
Static versus Adaptive Gain Control Strategy for Visuo-motor Stabilization
Virtual Modelling of a Real Exoskeleton Constrained to a Human Musculoskeletal Model
Robust Ratiometric Infochemical Communication in a Neuromorphic "Synthetic Moth"
Integrating Spiking Neural Networks and Deep Learning Algorithms on the Neurorobotics Platform
Hydromast: A Bioinspired Flow Sensor with Accelerometers
Behavior-State Dependent Modulation of Perception Based on a Model of Conditioning
Predator Evasion by a Robocrab
The Impact of Nature Inspired Algorithms on Biomimetic Approach in Architectural and Urban Design
Standing on the Water: Stability Mechanisms of Snakes on Free Surface