Sciweavers

15777 search results - page 180 / 3156
» Engineering in Software
Sort
View
HOTSWUP
2009
ACM
15 years 11 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum
WADT
2001
Springer
15 years 11 months ago
Canonical Institutions of Behaviour
José Félix Costa, Hugo Lourenç...
CODES
2000
IEEE
15 years 11 months ago
Program path analysis to bound cache-related preemption delay in preemptive real-time systems
ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ר Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖר¹ × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ýר Ñ׺ Ì × ÔÖÓ Ð Ñ × Ü ...
Hiroyuki Tomiyama, Nikil D. Dutt