248 search results - page 42 / 50 » Test exploration and validation using transaction level mode... |
LREC
2008
13 years 9 months ago
2008
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
IJHPCA
2008
13 years 8 months ago
2008
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
MMDB
2004
ACM
14 years 1 months ago
2004
ACM
With the proliferation of image data, the need to search and retrieve images efficiently and accurately from a large image database or a collection of image databases has drastica...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...