1696 search results - page 116 / 340 » Permuted function matching |
CALCO
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
SPDP
1990
IEEE
15 years 2 months ago
1990
IEEE
This paper provides lower bounds on the energy consumption and demonstrates an energy-time trade-off in optical computations. All the lower bounds are shown to have the matching u...
103
click to vote
TCC
2012
Springer
13 years 6 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
Functional properties of living tissues appear in PET, whereas structural information at significantly higher resolution and better image quality is provided by other modalities, ...
107
click to vote
TYPES
2000
Springer
15 years 2 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...