Sciweavers

1828 search results - page 161 / 366
» First-Class Type Classes
Sort
View
CRYPTO
2005
Springer
135views Cryptology» more  CRYPTO 2005»
15 years 12 months ago
Constant-Round Multiparty Computation Using a Black-Box Pseudorandom Generator
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
Ivan Damgård, Yuval Ishai
LPNMR
2005
Springer
15 years 12 months ago
A DLP System with Object-Oriented Features
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
Francesco Ricca, Nicola Leone, Valerio De Bonis, T...
INFOVIS
2002
IEEE
15 years 11 months ago
Visual Unrolling of Network Evolution and the Analysis of Dynamic Discourse
A new method for visualizing the class of incrementally evolving networks is presented. In addition to the intermediate states of the network it conveys the nature of the change b...
Ulrik Brandes, Steven R. Corman
AAECC
2001
Springer
121views Algorithms» more  AAECC 2001»
15 years 11 months ago
Algorithms for Large Integer Matrix Problems
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
Mark Giesbrecht, Michael J. Jacobson Jr., Arne Sto...
HPCA
1998
IEEE
15 years 10 months ago
Challenging Applications on Fast Networks
Parallel computing on clusters of workstations is attractive because of the low costs in comparison to MPPs, but the speed of the local area network limits the class of applicatio...
Koen Langendoen, Rutger F. H. Hofman, Henri E. Bal