Sciweavers

232 search results - page 5 / 47
» concurrency 2000
Sort
View
CRYPTO
2000
Springer
182views Cryptology» more  CRYPTO 2000»
15 years 4 months ago
A Note on the Round-Complexity of Concurrent Zero-Knowledge
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
Alon Rosen
VLSID
2000
IEEE
76views VLSI» more  VLSID 2000»
15 years 4 months ago
Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming
Aviral Shrivastava, Mohit Kumar, Sanjiv Kapoor, Sh...
OOPSLA
2000
Springer
15 years 3 months ago
Object-oriented real-time concurrency
Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jio...
IGPL
2000
82views more  IGPL 2000»
14 years 11 months ago
Concurrent Systems Analysis Using ECATNets
Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauch...