3706 search results - page 446 / 742 » The Transformational Approach to Program Development |
145
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
152
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Silicon compilers are often used in conjunction with Field Programmable Gate Arrays (FPGAs) to deliver flexibility, fast prototyping, and accelerated time-to-market. Many of these...
132
click to vote
KI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
159
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
Cache optimizations typically include code transformations to increase the locality of memory accesses. An orthogonal approach is to enable for latency hiding by introducing prefet...
160
click to vote
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...