1821 search results - page 245 / 365 » Security-Aware Program Transformations |
107
Voted
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
132
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
112
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
131
click to vote
NDSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
127
click to vote
VL
2007
IEEE
15 years 8 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....