11394 search results - page 165 / 2279 » Error-Correcting Data Structures |
106
click to vote
APN
2010
Springer
15 years 7 months ago
2010
Springer
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...
112
click to vote
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
129
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...