4609 search results - page 744 / 922 » Automatic Generation of Sigma-Protocols |
150
click to vote
LICS
2005
IEEE
16 years 2 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
169
click to vote
NCA
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
162
click to vote
RSP
2005
IEEE
16 years 2 days ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
168
click to vote
RSP
2005
IEEE
16 years 2 days ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
153
click to vote
SP
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...