111 search results - page 12 / 23 » Automatic Ada Code Generation Using a Model-Driven Engineeri... |
126
click to vote
AOSD
2011
ACM
14 years 3 months ago
2011
ACM
Object-oriented frameworks support design and code reuse for specific application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
104
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
100
click to vote
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
100
click to vote
NDSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
105
click to vote
CASES
2004
ACM
15 years 3 months ago
2004
ACM
With the ever-increasing pervasiveness of the Internet and its stringent performance requirements, network system designers have begun utilizing specialized chips to increase the ...