Sciweavers

13500 search results - page 173 / 2700
» Improved analysis of D
Sort
View
87
Voted
CODES
2000
IEEE
15 years 5 months ago
Program path analysis to bound cache-related preemption delay in preemptive real-time systems
ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ר Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖר¹ × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ýר Ñ׺ Ì × ÔÖÓ Ð Ñ × Ü ...
Hiroyuki Tomiyama, Nikil D. Dutt
73
Voted
ITC
2000
IEEE
79views Hardware» more  ITC 2000»
15 years 5 months ago
Analysis of failure sources in surface-micromachined MEMS
Nilmoni Deb, Ronald D. Blanton
ISOOMS
1994
15 years 5 months ago
Rigorous Object-Oriented Analysis
Ana M. D. Moreira, Robert G. Clark