Sciweavers

1114 search results - page 143 / 223
» An Architecture for Peer-to-peer Reasoning
Sort
View
IEEEPACT
2006
IEEE
16 years 12 days ago
Adaptive reorder buffers for SMT processors
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...
Joseph J. Sharkey, Deniz Balkan, Dmitry Ponomarev
SG
2005
Springer
15 years 12 months ago
From Artefact Representation to Information Visualisation: Genesis of Informative Modelling
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
Iwona Dudek, Jean-Yves Blaise
ECAI
2004
Springer
15 years 11 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 11 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
MABS
2004
Springer
15 years 11 months ago
Smooth Scaling Ahead: Progressive MAS Simulation from Single PCs to Grids
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
Les Gasser, Kelvin Kakugawa, Brant Chee, Marc Este...