1226 search results - page 112 / 246 » Proofs, Programs and Abstract Complexity |
142
Voted
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
113
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
136
click to vote
ASIACRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
226
Voted
FORTE
2011
14 years 7 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
130
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...