526 search results - page 53 / 106 » Towards the Verifying Compiler |
WIKIS
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we examine the discursive situation of Wikipedia. The primary goal is to explore principle ways of analyzing and characterizing the various forms of communicative u...
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Address space randomization is an emerging and promising method for stopping a broad range of memory corruption attacks. By randomly shifting critical memory regions at process in...
HPCS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...
ICS
2005
Tsinghua U.
15 years 3 months ago
2005
Tsinghua U.
We present compiler techniques for translating OpenMP shared-memory parallel applications into MPI messagepassing programs for execution on distributed memory systems. This transl...
100
click to vote
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...