2416 search results - page 194 / 484 » The Language of Cortical Dynamics |
169
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
177
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
166
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
227
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
The term online reputation addresses trust relationships amongst agents in dynamic open systems. These can appear as ratings, recommendations, referrals and feedback. Several repu...
206
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...