490 search results - page 41 / 98 » Equivalent Keys of HPC |
ICCD
2005
IEEE
14 years 2 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...
INDOCRYPT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
MFCS
2004
Springer
14 years 2 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rationa...