1760 search results - page 246 / 352 » A System to Mark Programs Automatically |
116
Voted
CASCON
2006
15 years 4 months ago
2006
One aspect of autonomic computing is the ability to identify, separate and automatically tune parameters related to performance, security, robustness and other properties of a sof...
108
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
136
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...
132
click to vote
CGO
2007
IEEE
15 years 9 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
113
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...