3441 search results - page 156 / 689 » Parallel Logic Programming Systems |
112
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
114
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...
114
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
119
Voted
ANSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The abilityto predict the performance of a simulationapplicationbefore its implementationis an important factor to the adoption of parallel simulation technology in industry. Idea...
119
Voted
ENTCS
2006
15 years 2 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...