2000 search results - page 311 / 400 » Program Transformation and Proof Transformation |
155
Voted
IANDC
2010
15 years 26 days ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
140
Voted
VLSISP
2011
14 years 10 months ago
2011
Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propose a new t...
119
click to vote
ENASE
2010
14 years 10 months ago
2010
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
147
click to vote
ISPASS
2008
IEEE
15 years 10 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...
131
Voted
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Code injections attacks are one of the most powerful and important classes of attacks on software. In such attacks, the attacker sends malicious input to a software application, w...