1403 search results - page 43 / 281 » Quantitative Interprocedural Analysis |
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
CSCWD
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we propose an analytical approach based on models of human performance to evaluate workspace collaboration. Our results indicate that the approach: 1) facilitates th...
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
— Networked embedded systems are gaining more and more attention and their use in current network scenarios is of indisputable importance. Research community and industry are pro...