8874 search results - page 73 / 1775 » A New Implementation of Automath |
102
Voted
IEEECIT
2006
IEEE
15 years 9 months 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 ...
132
Voted
DFT
2005
IEEE
15 years 9 months 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...
111
Voted
ICALP
2005
Springer
15 years 9 months 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...
118
Voted
ARGMAS
2004
Springer
15 years 9 months 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....
115
click to vote
PVM
2004
Springer
15 years 8 months 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...