1604 search results - page 41 / 321 » A Logical Viewpoint on Architectures |
155
click to vote
APCSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to enhance the performance of a computer, most modern processors use superscalar architecture and raise the clock frequency. Superscalar architecture can execute more than...
157
click to vote
FPGA
2005
ACM
15 years 11 months ago
2005
ACM
Sublithographic Programmable Logic Arrays can be interconnected and restored using nanoscale wires. Building on a hybrid of bottom-up assembly techniques supported by conventional...
222
click to vote
ARGMAS
2009
Springer
16 years 22 days ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
175
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
157
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...