MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Deadline Analysis of Interrupt-Driven Software." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Deadline analysis of interrupt-driven software
by Dennis Brylow, Jens Palsberg — 2003 — In ACM SIGSOFT Symposium on the Foundations of Software Engineering
…Deadline Analysis of Interrupt-Driven Software Dennis Brylow ∗ Jens Palsberg † August 2004…
Cited by 5 (2 self) – Add To MetaCart

Deadline Analysis of Interrupt-driven Software
by Dennis Brylow Jens, Jens Palsberg — 2003 — In ACM SIGSOFT Symposium on the Foundations of Software Engineering
…ABSTRACT Deadline Analysis of Interrupt-driven Software Real-time, reactive, and embedded systems…
Add To MetaCart

A Type System Equivalent to Model Checking
by Mayur Hiru Naik — 2003
… analysis of interrupt-driven software: Deadline Analysis: Will every interrupt be handled within…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB