Sciweavers

12742 search results - page 71 / 2549
» On canonical number systems
Sort
View
GLVLSI
2009
IEEE
170views VLSI» more  GLVLSI 2009»
15 years 3 months ago
Physical unclonable function and true random number generator: a compact and scalable implementation
Physical Unclonable Functions (PUF) and True Random Number Generators (TRNG) are two very useful components in secure system design. PUFs can be used to extract chip-unique signat...
Abhranil Maiti, Raghunandan Nagesh, Anand Reddy, P...
ICDE
2007
IEEE
144views Database» more  ICDE 2007»
15 years 6 months ago
Control Theory: a Foundational Technique for Self Managing Databases
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
Sam Lightstone, Maheswaran Surendra, Yixin Diao, S...
WIA
2004
Springer
15 years 5 months ago
A BDD-Like Implementation of an Automata Package
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
Jean-Michel Couvreur
ENTCS
2006
113views more  ENTCS 2006»
14 years 12 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
BMCBI
2011
14 years 6 months ago
Hierarchical graphs for rule-based modeling of biochemical systems
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
Nathan W. Lemons, Bin Hu, William S. Hlavacek