3824 search results - page 212 / 765 » Geometry Constructions Language |
182
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
126
Voted
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
250
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
208
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
97
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...