Sciweavers

126 search results - page 4 / 26
» Pattern-Based Verification for Trees
Sort
View
138
Voted
CMS
2001
133views Communications» more  CMS 2001»
15 years 3 months ago
Asynchronous Large-Scale Certification Based on Certificate Verification Trees
Good public-key infrastructures (PKIs) are essential to make electronic commerce secure. Quite recently, certificate verification trees (CVTs) have been introduced as a tool for im...
M. Mar Albà, Josep Domingo-Ferrer, Francesc...
AFRICACRYPT
2008
Springer
15 years 4 months ago
An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees
Proof-of-work schemes are economic measures to deter denial-of-service attacks: service requesters compute moderately hard functions the results of which are easy to check by the ...
Fabien Coelho
82
Voted
GLVLSI
1999
IEEE
90views VLSI» more  GLVLSI 1999»
15 years 6 months ago
Formal Verification of Tree-Structured Carry-Lookahead Adders
Sae Hwan Kim, Shiu-Kai Chin
JDCTA
2010
163views more  JDCTA 2010»
14 years 9 months ago
An Efficient Syntactic Analyzer Using Semantic Connection Units
We implement a Korean syntactic analyzer which decreases many ambiguities in syntax parse trees using segmentation and semantic connection units. We use dependency grammar for par...
Yong-uk Park, Hyuk-chul Kwon