966 search results - page 83 / 194 » Communicating Answer Set Programs |
115
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
163
Voted
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Mobile communication data analysis has been often used as a background application to motivate many data mining problems. However, very few data mining researchers have a chance t...
126
click to vote
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
This paper identifies node affinity as an important property for scalable general-purpose locks. Nonuniform communication architectures (NUCAs), for example CCNUMAs built from a f...
138
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
We introduce a proposal to give argumentation capacity to databases. A database is said to have argumentation capacity if it can extract from the information available to it a set ...