Sciweavers

12052 search results - page 64 / 2411
» compute 2010
Sort
View
ENTCS
2006
110views more  ENTCS 2006»
13 years 11 months 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
DAC
2010
ACM
14 years 3 months ago
Cyber-physical systems: the next computing revolution
Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. S...
ICS
2010
Tsinghua U.
14 years 8 months ago
Cryptographic Complexity Classes and Computational Intractability Assumptions
Hemanta K. Maji, Manoj Prabhakaran, Mike Rosulek
DAC
2010
ACM
14 years 3 months ago
Stochastic computation
Naresh R. Shanbhag, Rami A. Abdallah, Rakesh Kumar...