112 search results - page 17 / 23 » Compact explosion diagrams |
107
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
126
Voted
APN
2006
Springer
15 years 3 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
101
Voted
CIE
2005
Springer
15 years 7 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
106
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...
111
click to vote
MMM
2007
Springer
15 years 8 months ago
2007
Springer
The explosive growth of information technology and digital content industry stimulates various video applications over the Internet. Since it is quite easy to copy, reformat, modif...