3239 search results - page 491 / 648 » A Logical Process Calculus |
133
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
123
click to vote
PVM
2004
Springer
15 years 8 months ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...
123
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
117
click to vote
ASYNC
2003
IEEE
15 years 8 months ago
2003
IEEE
We present the design of a high performance on-chip pipelined asynchronous DRAM suitable for use in a microprocessor cache. Although traditional DRAM structures suffer from long a...
167
Voted
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...