647 search results - page 44 / 130 » Generation of BDDs from hardware algorithm descriptions |
SAJ
2002
13 years 7 months ago
2002
The predictive hierarchical level of detail optimization algorithm of Mason and Blake is experimentally evaluated in the form of a practical application to hierarchical radiosity....
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
ASPDAC
2007
ACM
13 years 12 months ago
2007
ACM
- Most image processing applications are computationally intensive and data intensive. Reconfigurable hardware boards provide a convenient and flexible solution to speed up these a...