1549 search results - page 199 / 310 » On the rules of intermediate logics |
PERVASIVE
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
FPGA
2009
ACM
13 years 6 months ago
2009
ACM
Multi-field packet classification is a key enabling function of a variety of network applications, such as firewall processing, Quality of Service differentiation, traffic billing...
HASKELL
2007
ACM
14 years 1 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
MCU
2004
13 years 10 months ago
2004
The classification of discrete dynamical systems that are computationally complete has recently drawn attention in light of Wolfram's "Principle of Computational Equivale...
BMCBI
2007
2007
Application of amino acid occurrence for discriminating different folding types of globular proteins
13 years 9 months ago
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...