232 search results - page 15 / 47 » Or-Parallelism within Tabling |
ISPAN
2005
IEEE
14 years 1 months ago
2005
IEEE
We design a self-stabilizing cluster routing algorithm based on the link-cluster architecture of wireless ad hoc networks. The network is divided into clusters. Each cluster has a...
MSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...
SCAM
2007
IEEE
14 years 1 months ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
ICES
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
ADBIS
2007
Springer
13 years 9 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...