5235 search results - page 877 / 1047 » Analysis of Multithreaded Programs |
180
click to vote
JLP
2010
15 years 1 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
165
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
226
click to vote
HIPEAC
2011
Springer
14 years 6 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
185
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
196
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...