3468 search results - page 458 / 694 » An open logical framework |
131
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
The OTIS-Network (also referred to as two-level swapped network) is composed of n clones of an n-node original network constituting its clusters. It has received much attention due...
125
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
131
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
116
click to vote
DNA
2005
Springer
15 years 9 months ago
2005
Springer
In the field of DNA computing, more and more efforts are made for constructing molecular machines made of DNA that work in vitro or in vivo. States of some of those machines are...
108
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...