8874 search results - page 73 / 1775 » A New Implementation of Automath |
147
click to vote
IEEECIT
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we propose a new scheduling method for asynchronous circuits in bundled-data implementation. The method is based on integer linear programming (ILP) which explores ...
174
click to vote
DFT
2005
IEEE
16 years 8 days ago
2005
IEEE
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...
142
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
177
click to vote
ARGMAS
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
153
click to vote
PVM
2004
Springer
16 years 13 hour ago
2004
Springer
TEG is a new methodology for point-to-point messaging developed as a part of the Open MPI project. Initial performance measurements are presented, showing comparable ping-pong late...