3799 search results - page 33 / 760 » An Engineering Approach to Formal Methods |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
MEMOCODE
2007
IEEE
14 years 2 months ago
2007
IEEE
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...