16430 search results - page 2871 / 3286 » On Computable Tree Functions |
163
Voted
SIGECOM
2004
ACM
16 years 8 days ago
2004
ACM
Lack of cooperation (free riding) is one of the key problems that confronts today’s P2P systems. What makes this problem particularly difficult is the unique set of challenges ...
198
Voted
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
16 years 8 days ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
162
Voted
AMAI
2004
Springer
16 years 8 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
144
Voted
ASIACRYPT
2004
Springer
16 years 8 days ago
2004
Springer
d abstract) Bartosz Przydatek1 and Reto Strobl2 1 Department of Computer Science, ETH Z¨urich, Switzerland 2 IBM Research, Zurich Research Laboratory, Switzerland In this paper, w...
173
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
As the science of multi-agent systems matures, many developers are looking to deploy mission critical applications on distributed multi-agent systems (DMAS). Due to their distribu...