Sciweavers

2192 search results - page 221 / 439
» Plumbing and Other Utilities
Sort
View
SAMOS
2009
Springer
16 years 1 months ago
Visualization of Computer Architecture Simulation Data for System-Level Design Space Exploration
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
Toktam Taghavi, Mark Thompson, Andy D. Pimentel
SAT
2009
Springer
158views Hardware» more  SAT 2009»
16 years 1 months ago
Beyond CNF: A Circuit-Based QBF Solver
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...
Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchu...
DIM
2009
ACM
16 years 1 months ago
Mnikr: reputation construction through human trading of distributed social identities
Reputation forms an important part of how we come to trust people in face-to-face interactions, and thus situations involving trust online have come to realize that reputation is ...
Brendan Francis O'Connor, John Linwood Griffin
FDG
2009
ACM
16 years 1 months ago
Questioning video games' influence on CS interest
In this paper, we examine the relationship between digital games and interest in computer science. When we undertook this research, our goal was to expand upon past work that expl...
Betsy James DiSalvo, Amy Bruckman
SOUPS
2009
ACM
16 years 1 months ago
Games for extracting randomness
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
Ran Halprin, Moni Naor