Filters

Advanced Search Browse by Genre

Found 55 results for "Multitasking (Computer science)"

CONCUR 2001, concurrency theory
CONCUR 2001, concurrency theory

Protocol verification has, since 25 years, been a driving application for the development of automated verification tech...

2001 1 ed.
Modeling Embedded Systems and SoC's
Modeling Embedded Systems and SoC's

by Axel Jantsch

After a general discussion of systems, modeling, and heterogeneity, we introduce in this chapter some basic concepts of ...

2003 3 ed.