4355 search results - page 418 / 871 » From Interpretation to Compilation |
207
click to vote
PLDI
2005
ACM
16 years 13 days ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
212
click to vote
TLDI
2005
ACM
16 years 13 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
314
click to vote
AADEBUG
2005
Springer
16 years 13 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
200
click to vote
ECOOP
2005
Springer
16 years 12 days ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
183
click to vote
LCPC
2005
Springer
16 years 11 days ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...