Sciweavers

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