Sciweavers

3667 search results - page 13 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
WOSP
2010
ACM
15 years 11 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar
ICSE
2001
IEEE-ACM
15 years 11 months ago
Analysis and Testing of Web Applications
Filippo Ricca, Paolo Tonella
137
Voted
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
ADAEUROPE
2000
Springer
15 years 10 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
103
Voted
CODES
1999
IEEE
15 years 10 months ago
Graph based communication analysis for hardware/software codesign
Peter Voigt Knudsen, Jan Madsen