Sciweavers

86 search results - page 2 / 18
» cc 2008
Sort
View
CC
2008
Springer
118views System Software» more  CC 2008»
13 years 4 months ago
Dimension Characterizations of Complexity Classes
We use derandomization to show that sequences of positive pspace-dimension
Xiaoyang Gu, Jack H. Lutz
ENTCS
2008
76views more  ENTCS 2008»
13 years 4 months ago
Symbolic and Abstract Interpretation for C/C++ Programs
and Abstract Interpretation for C/C++ Programs Helge L
Helge Löding, Jan Peleska
ASPDAC
2008
ACM
99views Hardware» more  ASPDAC 2008»
13 years 6 months ago
1-cc computer using UWB-IR for wireless sensor network
Tatsuo Nakagawa, Masayuki Miyazaki, Goichi Ono, Ry...