619 search results - page 17 / 124 » The Design and Implementation of a Certifying Compiler |
146
click to vote
AOSD
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
151
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
141
click to vote
FCCM
1998
IEEE
15 years 10 months ago
1998
IEEE
E cient, deeply pipelined implementations exist for a wide variety of important computation-intensive applications, and many special-purpose hardware machines have been built that...
234
click to vote
CATA
2010
15 years 5 months ago
2010
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
134
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...