4854 search results - page 268 / 971 » It's the Programming, Stupid |
245
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
267
click to vote
SOFTVIS
2010
ACM
15 years 5 months ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
354
click to vote
LPNMR
2011
Springer
14 years 10 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
266
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
178
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...