8874 search results - page 401 / 1775 » A New Implementation of Automath |
131
click to vote
ICTAI
2000
IEEE
15 years 11 months ago
2000
IEEE
Knowledge refinement tools assist in the debugging and maintenance of knowledge based systems (KBSs) by attempting to identify and correct faults in the knowledge that account fo...
206
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
157
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new methodology for implementing fast synchronization on scalable cache-coherent multiprocessors, through the use of hybrid primitives. Hybrid primitives lev...
155
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper discusses the implementation and performance of bounded voting: a new object replication protocol designed for use in mobile and weakly-connected environments. We show ...
202
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...