scientific article; zbMATH DE number 2080758

zbMath1050.68525MaRDI QIDQ4473721

Benjamin Horowitz, Christoph Meyer Kirsch, Thomas A. Henzinger

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2211/22110166.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (11)

Isolation scheduling on multicores: model and scheduling approaches ⋮ On Implementable Timed Automata ⋮ Shrinking timed automata ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Generalizing logical execution time ⋮ Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions ⋮ Verification of distributed systems with local-global predicates ⋮ Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study ⋮ Giotto ⋮ DMAC: Deadline-Miss-Aware Control ⋮ Analyzing Real-Time Event-Driven Programs

Uses Software

• SIGNAL

This page was built for publication: