544 search results - page 20 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Middleware helps to manage the complexity and heterogeneity inherent in distributed systems. Traditional middleware has a monolithic architecture, which makes it difficult to adap...
HPCA
2005
IEEE
14 years 8 months ago
2005
IEEE
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper presents a new approach for Handwritten Word Recognition based on Hidden Markov Model theory and the sliding window technique. The new approach uses specific singularit...
SCP
2010
13 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...