Sciweavers

3667 search results - page 24 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
HIPEAC
2007
Springer
14 years 1 months ago
Bounds Checking with Taint-Based Analysis
Weihaw Chuang, Satish Narayanasamy, Brad Calder, R...
ASWEC
2006
IEEE
14 years 1 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...
VMCAI
2005
Springer
14 years 29 days ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...