989 search results - page 92 / 198 » Pebbling and Proofs of Work |
179
click to vote
ACSD
2005
IEEE
16 years 18 days ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
210
Voted
FPT
2005
IEEE
16 years 18 days ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
171
click to vote
ITCC
2005
IEEE
16 years 17 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
156
Voted
CIE
2005
Springer
16 years 16 days ago
2005
Springer
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...
188
Voted
ICALP
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...