8874 search results - page 132 / 1775 » A New Implementation of Automath |
122
click to vote
WEA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis of an undirected graph G = (V, E) with n vertices and m edges. We describe an efficient implement...
111
click to vote
MSS
2000
IEEE
15 years 8 months ago
2000
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...
139
click to vote
CANPC
1999
Springer
15 years 8 months ago
1999
Springer
Streamlining communication is key to achieving good performance in shared-memory parallel programs. While full hardware support for cache coherence generally offers the best perfo...
142
click to vote
NOMS
1998
IEEE
15 years 8 months ago
1998
IEEE
Network Management Forum (NMF) has defined a set of basic business processes dealing with major TMN service management functions such as performance management, fault management, b...
133
click to vote
ERSHOV
1989
Springer
15 years 8 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...