650 search results - page 1 / 130 » Strictly-Regular Number System and Data Structures |
SWAT
2010
Springer
13 years 9 months ago
2010
Springer
WFLP
2009
Springer
13 years 11 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
INFORMATICALT
2002
13 years 4 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
CIKM
2008
Springer
13 years 6 months ago
2008
Springer
Structured P2P overlays supporting standard database functionalities are a popular choice for building large-scale distributed data management systems. In such systems, estimating...
VLSID
1999
IEEE
13 years 8 months ago
1999
IEEE
Residue Number System based applications involve modulo-arithmetic which is typically implemented using look-up-tables (LUTs) for a small value of modulus. In this paper, we prese...