Sciweavers

3667 search results - page 13 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
WOSP
2010
ACM
14 years 17 days ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar
ICSE
2001
IEEE-ACM
13 years 12 months ago
Analysis and Testing of Web Applications
Filippo Ricca, Paolo Tonella
CODES
2000
IEEE
13 years 12 months ago
Program path analysis to bound cache-related preemption delay in preemptive real-time systems
ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ×Ø Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖ×ع × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ý×Ø Ñ׺ Ì × ÔÖÓ Ð Ñ × Ü ...
Hiroyuki Tomiyama, Nikil D. Dutt
ADAEUROPE
2000
Springer
13 years 11 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...