11022 search results - page 209 / 2205 » Programming Systems for Autonomy |
304
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
133
click to vote
JSS
2000
15 years 6 months ago
2000
One of the most important steps towards eective software maintenance of a large complicated system is to understand how program features are spread over the entire system and thei...
172
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...
143
click to vote
USS
2004
15 years 7 months ago
2004
Many host-based anomaly detection systems monitor a process ostensibly running a known program by observing the system calls the process makes. Numerous improvements to the precis...
175
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...