1219 search results - page 134 / 244 » Verification of Equivalent-Results Methods |
142
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
178
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
113
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In this poster, we present a method for extracting queries related to real-life events, or news-related queries, from large web query logs. The method employs query frequencies an...
104
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
208
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...