619 search results - page 100 / 124 » The Design and Implementation of a Certifying Compiler |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
ICCAD
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
SLE
2009
Springer
14 years 3 months ago
2009
Springer
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...