1226 search results - page 51 / 246 » Generating Abstractions from Static Domain Analysis |
74
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...
110
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
113
Voted
ISVC
2010
Springer
14 years 11 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
138
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
215
Voted
POPL
2008
ACM
16 years 26 days ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...