Sciweavers

12052 search results - page 64 / 2411
» compute 2010
Sort
View
93
Voted
ENTCS
2006
110views more  ENTCS 2006»
15 years 17 days ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer
97
Voted
DAC
2010
ACM
15 years 4 months ago
Cyber-physical systems: the next computing revolution
Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. S...
ICS
2010
Tsinghua U.
15 years 10 months ago
Cryptographic Complexity Classes and Computational Intractability Assumptions
Hemanta K. Maji, Manoj Prabhakaran, Mike Rosulek
DAC
2010
ACM
15 years 4 months ago
Stochastic computation
Naresh R. Shanbhag, Rami A. Abdallah, Rakesh Kumar...