619 search results - page 62 / 124 » The Design and Implementation of a Certifying Compiler |
109
click to vote
PPDP
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
100
click to vote
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
In the last couple of years we have evidenced several initiatives promoting the vision of open educational systems. Educational brokers are supposed to take advantage of this ‘in...
LCTRTS
2001
Springer
15 years 4 months ago
2001
Springer
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...