1392 search results - page 69 / 279 » Staging generic programming |
AOSD
2004
ACM
14 years 2 months ago
2004
ACM
Although aspect-oriented programming (AOP) is becoming widely used, the design of the pointcut language and the generic and reusable description of advice are still research topic...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
CRV
2006
IEEE
14 years 3 months ago
2006
IEEE
Face processing in video is receiving substantial attention due to its importance in many securityrelated applications. A video provides rich information about a face (multiple fr...