Sciweavers

7209 search results - page 42 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
APSEC
2000
IEEE
14 years 1 months ago
A process logic for distributed system synthesis
Yoshinao Isobe, Kazuhito Ohmaki
CODES
2000
IEEE
14 years 1 months ago
Program path analysis to bound cache-related preemption delay in preemptive real-time systems
ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ×Ø Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖ×ع × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ý×Ø Ñ׺ Ì × ÔÖÓ Ð Ñ × Ü ...
Hiroyuki Tomiyama, Nikil D. Dutt