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