4895 search results - page 198 / 979 » Tools for Grammar Engineering |
182
click to vote
CAV
2009
Springer
16 years 7 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...
175
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Collaboration Engineering (CE) projects can run for months and can require substantial expenditures of effort and resources. CE is an approach to designing collaborative work prac...
196
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
1 Quickly detecting an unexpected pathogen can save many lives. In cases of bioterrorism or naturally occurring epidemics, accurate diagnoses may not be made until much of the popu...
193
click to vote
EUROSPI
2005
Springer
16 years 5 hour ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...
167
click to vote
FCCM
2000
IEEE
15 years 11 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...