2432 search results - page 220 / 487 » Cryptographic logical relations |
121
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original...
174
click to vote
FPGA
2004
ACM
15 years 11 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
151
click to vote
LOGCOM
2008
15 years 5 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
145
click to vote
ACTA
1998
15 years 5 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
134
click to vote
GLVLSI
2009
IEEE
16 years 21 days ago
2009
IEEE
Logic decomposition has been extensively used to optimize the worst-case delay and the area in the technology independent phase. Bi-decomposition is one of the state-of-art techni...