12272 search results - page 110 / 2455 » Experimental program analysis |
116
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
—Many application-specific architectures provide indirect addressing modes with auto-increment/decrement arithmetic. Since these architectures generally do not feature an indexe...
115
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
99
Voted
IJBRA
2008
15 years 1 months ago
2008
Abstract Observing behaviors of protein pathways and genetic networks under various environments in living cells is essential for unraveling disease and developing drugs. For that ...
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...