5374 search results - page 40 / 1075 » The induction of communication protocols |
HPDC
1997
IEEE
15 years 6 months ago
1997
IEEE
Layering of protocols o ers several well-known advantages, but typically leads to performance ine ciencies. We present a model for layering, and point out where the performance pr...
117
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
The IBM Cyclops-64 (C64) chip employs a multithreaded architecture that integrates a large number of hardware thread units on a single chip. A cellular supercomputer is being deve...
108
click to vote
WISE
2005
Springer
15 years 7 months ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
119
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
114
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...