1403 search results - page 70 / 281 » Quantitative Interprocedural Analysis |
SODA
2010
ACM
15 years 10 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
101
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
85
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
116
Voted
ISBI
2007
IEEE
15 years 7 months ago
2007
IEEE
Membrane proteins organize themselves in a linear fashion where adjacent cells are attached together along the basal-lateral region. Their intensity distributions are often hetero...
68
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...