Sciweavers

5793 search results - page 422 / 1159
» Individual communication complexity
Sort
View
DAC
1996
ACM
15 years 11 months ago
Bit-Level Analysis of an SRT Divider Circuit
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...
Randal E. Bryant
PARLE
1992
15 years 11 months ago
Performance Evaluation of Parallel Transaction Processing in Shared Nothing Database Systems
Complex and data-intensive database queries mandate parallel processing strategies to achieve sufficiently short response times. In praxis, parallel database processing is mostly b...
Robert Marek, Erhard Rahm
ACAL
2009
Springer
15 years 11 months ago
Emergent Societal Effects of Crimino-Social Forces in an Animat Agent Model
Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...
Chris Scogings, Kenneth A. Hawick
GI
2009
Springer
15 years 11 months ago
Classifying Privacy and Verifiability Requirements for Electronic Voting
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
Lucie Langer, Axel Schmidt, Melanie Volkamer, Joha...
HICSS
2009
IEEE
114views Biometrics» more  HICSS 2009»
15 years 11 months ago
Groupware for Design: An Interactive System to Facilitate Creative Processes in Team Design Work
Creativity as modeled using the recluse genius paradigm fails to recognize the necessity and value of the collaborative aspects involved. Enhancing the creative output of teams wi...
Arjun Venkataswamy, Rajinder Sodhi, Yerkin Abdildi...