152 search results - page 12 / 31 » Full Abstraction for Reduced ML |
EUROPAR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
POPL
1989
ACM
14 years 15 days ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
TSP
2010
13 years 3 months ago
2010
Abstract--Sensor localization using channel energy measurements of distributed sensors has been studied in various scenarios. However, it is usually assumed that the target does no...