1140 search results - page 187 / 228 » Generating compilers for generated datapaths |
106
click to vote
HIPC
2000
Springer
15 years 6 months ago
2000
Springer
Within two or three technology generations, processor architects will face a number of major challenges. Wire delays will become critical, and power considerations will temper the ...
117
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
117
click to vote
ICS
2000
Tsinghua U.
15 years 6 months ago
2000
Tsinghua U.
We present an approach for synthesizing transformations to enhance locality in imperfectly-nested loops. The key idea is to embed the iteration space of every statement in a loop ...
142
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
133
click to vote
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...