10899 search results - page 197 / 2180 » The GP Programming System |
120
Voted
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
110
Voted
INFSOF
2010
15 years 2 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
106
Voted
JSS
2000
15 years 3 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...
128
Voted
JELIA
2010
Springer
15 years 2 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...
116
Voted
USS
2004
15 years 5 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...