Amanote Research
Register
Sign In
CPAL: High-Level Abstractions for Safe Embedded Systems
doi 10.1145/3023147.3023153
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Nicolas Navet
Loïc Fejoz
Publisher
ACM Press
Related search
System-Level Co-Simulation for Embedded Systems
AIP Advances
Nanotechnology
Astronomy
Physics
Nanoscience
Abstractions for Distributed Systems (DPA 2008)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Assigning Blame: Mapping Performance to High Level Parallel Programming Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimized FPGA Implementation of Model Predictive Control for Embedded Systems Using High Level Synthesis Tool
IEEE Transactions on Industrial Informatics
Control
Systems Engineering
Information Systems
Electronic Engineering
Computer Science Applications
Electrical
Ideal Abstractions for Well-Structured Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents
System-Level Verification of Embedded Operating Systems Components
Compositional Abstractions for Long-Run Properties of Stochastic Systems
Concurrent Call Level Interfaces Based on an Embedded Thread Safe Local Memory Structure
