3441 search results - page 151 / 689 » Parallel Logic Programming Systems |
120
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
126
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
127
Voted
PPOPP
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
130
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
124
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. A new approach to develop parallel and distributed scheduling algorithms for multiprocessor systems is proposed. Its main innovation lies in evolving a decomposition of t...