Sciweavers

172 search results - page 22 / 35
» Using Belief to Reason about Cache Coherence
Sort
View
129
Voted
AAMAS
2005
Springer
15 years 5 months ago
Formalisations of Capabilities for BDI-Agents
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software en...
Lin Padgham, Patrick Lambrix
150
Voted
ICCV
2003
IEEE
15 years 10 months ago
Surface Reconstruction from Feature Based Stereo
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...
Camillo J. Taylor
170
Voted
PLDI
2010
ACM
15 years 10 months ago
Adversarial memory for detecting destructive races
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
Cormac Flanagan, Stephen N. Freund
SIGMETRICS
1996
ACM
118views Hardware» more  SIGMETRICS 1996»
15 years 9 months ago
Integrating Performance Monitoring and Communication in Parallel Computers
A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...
Margaret Martonosi, David Ofelt, Mark Heinrich
KR
2004
Springer
15 years 10 months ago
Regulative and Constitutive Norms in Normative Multiagent Systems
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
Guido Boella, Leendert W. N. van der Torre