4814 search results - page 74 / 963 » Combining abstract interpreters |
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
A delay abstraction of a combinational module is a compact representation of the delay information of the module, which carries effective pin-to-pin delay for each primary-input/pr...
BMCBI
2006
13 years 10 months ago
2006
Background: Accurate interpretation of data obtained by unsupervised analysis of large scale expression profiling studies is currently frequently performed by visually combining s...
FROCOS
2000
Springer
14 years 1 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
TC
2002
13 years 9 months ago
2002
Abstract
ATVA
2008
Springer
13 years 12 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...