5838 search results - page 811 / 1168 » A File System for System Programming in Ubiquitous Computing |
153
click to vote
ICS
2009
Tsinghua U.
15 years 12 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
154
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
153
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
150
click to vote
TSE
1998
15 years 4 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
204
click to vote
PPOPP
2012
ACM
14 years 20 days ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...