4911 search results - page 720 / 983 » Tree dependence analysis |
133
Voted
CAISE
2009
Springer
15 years 7 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
161
Voted
BROADNETS
2007
IEEE
15 years 7 months ago
2007
IEEE
Multimedia applications have unique characteristics that can be leveraged to design energy-efficient loss recovery mechanisms. Given their loss tolerance and strict timing requirem...
113
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
141
Voted
CVPR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we present a novel method for 3D structure acquisition, based on structured light. Unlike classical structured light methods, in which a static projector illuminates...
129
Voted
CRYPTO
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we formalize a general model of cryptanalytic time/memory tradeoffs for the inversion of a random function f : {0, 1, . . . , N - 1} {0, 1, . . . , N - 1}. The model...