1192 search results - page 8 / 239 » Symbolic Query Exploration |
WWW
2007
ACM
16 years 9 days ago
2007
ACM
A number of existing information retrieval systems propose the notion of query context to combine the knowledge of query and user into retrieval to reveal the most exact descripti...
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
With the total energy consumption of computing systems increasing in a steep rate, much attention has been paid to the design of energy-efficient computing systems and applications...
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. In data analysis new forms of complex data have to be considered like for example (symbolic data, functional data, web data, trees, SQL query and multimedia data,. . . )....
CAV
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...