3667 search results - page 158 / 734 » Software Rejuvenation - Modeling and Analysis |
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
ABSTRACT. We present a simple exact algorithm for the INDEPENDENT SET problem with a run
ENTCS
2010
13 years 7 months ago
2010
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1
ENTCS
2010
13 years 7 months ago
2010
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
SCAM
2007
IEEE
14 years 4 months ago
2007
IEEE
Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we present an object-oriented query language, named .QL, ...
DELTA
2006
IEEE
14 years 4 months ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...