8874 search results - page 311 / 1775 » A New Implementation of Automath |
178
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...
181
click to vote
DCC
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we address the problem of searching in LZW compressed text directly, and present a new algorithm for finding multiple patterns by simulating the move of the Aho-Cora...
146
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
188
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
Arti cial life might come to play important roles for the World Wide Web, both as a source of new algorithmic paradigms and as a source of inspiration for its future development. N...
159
click to vote
PDP
1997
IEEE
15 years 11 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...