Sciweavers

12052 search results - page 45 / 2411
» compute 2010
Sort
View
COMPUTER
2010
97views more  COMPUTER 2010»
13 years 8 months ago
Your Brain, Your Computer, and You
Evan Peck, Erin Treacy Solovey, Krysta Chauncey, A...
FSTTCS
2010
Springer
13 years 9 months ago
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
Michael Backes, Matteo Maffei, Esfandiar Mohammadi
SODA
2010
ACM
241views Algorithms» more  SODA 2010»
14 years 8 months ago
A Model of Computation for MapReduce
Howard Karloff, Siddharth Suri, Sergei Vassilvitsk...
ISSEP
2010
Springer
198views Education» more  ISSEP 2010»
14 years 7 months ago
Programming Camps: Letting Children Discover the Computer Science
Monika Steinová, Juliana Sisková