7167 search results - page 895 / 1434 » Answer Set Programming |
133
click to vote
SIGUCCS
2009
ACM
15 years 9 months ago
2009
ACM
Frontline support and maintenance for desktop hardware and software systems at Princeton University has been uniquely structured, allowing the benefits of centralization and the f...
175
click to vote
CC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Profiling can effectively analyze program behavior and provide critical information for feedback-directed or dynamic optimizations. Based on memory profiling, reuse dista...
155
click to vote
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
164
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
172
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...