From high-level specifications down to software implementations of parallel embedded real-time systems [PDF]
Carsten Rust+3 more
openalex +1 more source
Enabling Dynamic Security Management of Networked Systems via Device-Embedded Security [PDF]
Gregory R. Ganger, David F. Nagle
openalex +1 more source
When is an embedded MT system "good enough" for filtering? [PDF]
Clare R. Voss, Carol Van Ess-Dykema
openalex +1 more source
Modeling a Language for Embedded Systems in Timed Automata
Thomas Hune
openalex +2 more sources
Embedded Systems Design and Verification: Reuse Oriented Prototyping Methodologies [PDF]
S. Raimbault+5 more
openalex +1 more source
Modeling Distributed Embedded Systems In Multiclock Esterel
Basant Rajan, R. K. Shyamasundar
openalex +1 more source
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach [PDF]
Ricardo J. Machado+2 more
openalex
Contention-Conscious Transaction Ordering in Embedded Multiprocessors Systems
Mukul Khandelia, Shuvra S. Bhattacharyya
openalex +2 more sources
Embedded Runge Kutta method for Power System Transient Stability Analysis
K. Sato, Hideki Hori, Shuhei Fujiwara
openalex +2 more sources
An Embedded System for Safe, Secure and Reliable Execution of High Consequence Software
JAMES A MCCOY
openalex +1 more source