2673 search results - page 281 / 535 » Guided Static Analysis |
126
click to vote
ENTCS
2010
15 years 6 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
133
click to vote
ENTCS
2008
15 years 6 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
159
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
158
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
156
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
Ever-increasing integrated circuit (IC) power densities and peak temperatures threaten reliability, performance, and economical cooling. To address these challenges, thermal analy...