Sciweavers

15155 search results - page 39 / 3031
» System Software
Sort
View
81
Voted
TACS
2001
Springer
15 years 2 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...
APSEC
2000
IEEE
15 years 2 months ago
A process logic for distributed system synthesis
Yoshinao Isobe, Kazuhito Ohmaki
CODES
2000
IEEE
15 years 2 months ago
Program path analysis to bound cache-related preemption delay in preemptive real-time systems
ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ר Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖר¹ × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ýר Ñ׺ Ì × ÔÖÓ Ð Ñ × Ü ...
Hiroyuki Tomiyama, Nikil D. Dutt