1192 search results - page 30 / 239 » Symbolic Query Exploration |
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
—Connecting system-level performance models with circuit information has been a long-standing problem in analog/mixed-signal front-ends, like radios and high-speed links. High-sp...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...
116
click to vote
ICCAD
2010
IEEE
14 years 11 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
126
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
The standard SQL assumes that the users are aware of all tables and their schemas to write queries. This assumption may be valid when the users deal with a relatively small number...
127
click to vote
PVLDB
2008
15 years 1 months ago
2008
Online communities like Flickr, del.icio.us and YouTube have established themselves as very popular and powerful services for publishing and searching contents, but also for ident...