3736 search results - page 178 / 748 » Hand-Writing Program Generator Generators |
139
click to vote
IWPC
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a tool that identifies complex data-flow dependencies on code-level, based on the measure dep-degree. Low-level dependencies between program operations are modeled by...
165
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
Automatic library generators, such as ATLAS [11], Spiral [8] and FFTW [2], are promising technologies to generate efficient code for different computer architectures. The library...
148
click to vote
TCC
2009
Springer
16 years 6 months ago
2009
Springer
Existing definitions of program obfuscation do not rule out malleability attacks, where an adversary that sees an obfuscated program is able to generate another (potentially obfus...
165
click to vote
CEFP
2005
Springer
15 years 11 months ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
162
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...