8874 search results - page 42 / 1775 » A New Implementation of Automath |
105
Voted
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
104
Voted
PC
2007
15 years 3 days ago
2007
The MPI-2 Standard has carefully specified the interaction between MPI and usercreated threads. The goal of this specification is to allow users to write multithreaded MPI progr...
112
click to vote
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Network protocols have traditionally been designed using a layered method in part because it is easier to implement some portions of network protocols in software and other port...
92
Voted
AAAI
2010
14 years 10 months ago
2010
We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other We...
99
Voted
SIGMETRICS
1991
ACM
15 years 4 months ago
1991
ACM
Prior to this work, all implementations of stack simulation [MGS70] required more than linear time to process an address trace. In particular these implementations are often slow ...