145 search results - page 3 / 29 » A compiled implementation of strong reduction |
142
click to vote
PPOPP
2010
ACM
16 years 18 days ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
167
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
138
Voted
TOPLAS
1998
15 years 3 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
115
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Consider a flat-fading Multiple-Input Multiple-Output (MIMO) system. The near-optimum detection problematic has been shown to be efficiently solved through QR Decomposition (QRD...
118
Voted
IEEEARES
2010
IEEE
15 years 10 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...