248 search results - page 42 / 50 » Test exploration and validation using transaction level mode... |
LREC
2008
15 years 1 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
15 years 5 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...
129
click to vote
IJHPCA
2008
14 years 11 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 ...
103
click to vote
MMDB
2004
ACM
15 years 5 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...
119
click to vote
PASTE
2005
ACM
15 years 5 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...