Sciweavers

86 search results - page 2 / 18
» cc 2008
Sort
View
CC
2008
Springer
118views System Software» more  CC 2008»
13 years 11 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 11 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»
14 years 25 days ago
1-cc computer using UWB-IR for wireless sensor network
Tatsuo Nakagawa, Masayuki Miyazaki, Goichi Ono, Ry...