Sciweavers

15727 search results - page 186 / 3146
» Software Engineering - Introduction
Sort
View
136
Voted
EMSOFT
2006
Springer
15 years 10 months ago
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling
Christos Sofronis, Stavros Tripakis, Paul Caspi
EWSA
2006
Springer
15 years 10 months ago
Configurations by UML
Øystein Haugen, Birger Møller-Peders...
FATES
2006
Springer
15 years 10 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas