2362 search results - page 343 / 473 » Programming in Standard ML |
181
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
160
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Reuse distance analysis has been proved promising in evaluating and predicting data locality for programs written in Fortran or C/C++. But its effect has not been examined for ap...
152
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
208
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...
198
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...