搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2007 尼尔·艾隆 , 诺加·艾伦 :
完全致密问题的硬度。 Inf.计算。 205 ( 8 ) : 1117-1129 ( 2007 ) 诺加·艾伦 , 哈伊姆·卡普兰 , 迈克尔·克里维列维奇 , Dahlia Malkhi公司 , 朱利安·斯特恩 :
“当一半系统出现故障时,可扩展的安全存储”的补遗【Inform.Comput 174(2)(2002)203-213】。 Inf.计算。 205 ( 7 ) : 1114-1116 ( 2007 ) 罗伯特·阿马迪奥 :
同步像素。 Inf.计算。 205 ( 9 ) : 1470-1490 ( 2007 ) 阿尔贝托·阿波斯托利科 :
Lempel-Ziv-Welch压缩的快速间隙变体。 Inf.计算。 205 ( 7 ) : 1012-1026 ( 2007 ) 迈克尔·巴克斯 , 比吉特·普菲茨曼 , 迈克尔·韦德纳 :
异步系统的反应模拟(RSIM)框架。 Inf.计算。 205 ( 12 ) : 1685-1720 ( 2007 ) 巴哈勒巴德班 , 雅各·范德波尔 , 奥尔加·特维雷蒂纳 , 汉斯·赞特马 :
推广DPLL和等式的可满足性。 Inf.计算。 205 ( 8 ) : 1188-1211 ( 2007 ) 保罗·巴尔丹 , 安德烈亚·科拉迪尼 , 乌戈·蒙塔纳里 , 莱拉·里贝罗 :
图变换的展开语义。 Inf.计算。 205 ( 5 ) : 733-782 ( 2007 ) 杰森·贝尔 , Teow Lim Goh先生 :
避免模式的等长单词数的指数下限。 Inf.计算。 205 ( 9 ) : 1295-1306 ( 2007 ) 艾哈迈德·布阿贾尼 , 安卡·穆斯科尔 , 泰西尔·图利 :
置换重写和算法验证。 Inf.计算。 205 ( 2 ) : 199-224 ( 2007 ) 安德烈·布拉托夫 , 维克托·达尔摩 :
关于计数约束满足问题的二分法定理。 Inf.计算。 205 ( 5 ) : 651-678 ( 2007 ) 洛伦佐·卡卢奇 , 约翰·凯斯 , 桑杰·贾恩 , 弗兰克·斯蒂芬 :
记忆限制U形学习的结果。 Inf.计算。 205 ( 10 ) : 1551-1573 ( 2007 ) 亚历克谢·V·切尔诺夫 , 马库斯·赫特 , 尤根·施密杜贝尔(Jürgen Schmidhuber) :
算法复杂度限制了未来的预测误差。 Inf.计算。 205 ( 2 ) : 242-261 ( 2007 ) 扬·乔米奇 , 大卫·托曼 :
特刊:TIME 2005。 Inf.计算。 205 ( 1 ) : 1 ( 2007 ) 兰斯·克莱维兰 , 杰拉尔德·吕特根 , V.纳塔拉扬 :
进程代数中的优先级和抽象。 Inf.计算。 205 ( 9 ) : 1426-1458 ( 2007 ) 西尔维娅·克拉法 , 萨比娜·罗西 :
控制像素中的信息发布。 Inf.计算。 205 ( 8 ) : 1235-1273 ( 2007 ) 阿努杰·达瓦尔 , 菲利普·加德纳 , 乔治·盖利 :
图形逻辑的表达性和复杂性。 Inf.计算。 205 ( 三 ) : 263-310 ( 2007 ) 卡罗尔·德尔波特(Carole Delport-Gallet) , 胡格斯·福科尼尔 , 拉希德·格雷劳伊 , 巴斯蒂安·波雄 :
完全同步的基于圆形的分布式计算模型。 Inf.计算。 205 ( 5 ) : 783-815 ( 2007 ) 斯特凡·德姆里 , Deepak D'Souza公司 :
约束LTL的自动机理论方法。 Inf.计算。 205 ( 三 ) : 380-415 ( 2007 ) 斯特凡·德姆里 , 兰科·拉齐奇 , 大卫·诺瓦 :
关于约束LTL中的冻结量词:可决定性和复杂性。 Inf.计算。 205 ( 1 ) : 2-24 ( 2007 ) 纳丘姆·德肖维茨 , E.卡斯特多·埃勒曼 :
最小准阶。 Inf.计算。 205 ( 4 ) : 535-556 ( 2007 ) 大卫·多蒂 , 杰克·H·卢茨 , 萨蒂亚德夫·南达库马 :
有限状态维数和实数运算。 Inf.计算。 205 ( 11 ) : 1640-1651 ( 2007 ) 袁峰 , 段润耀 , 《正风集》 , 明生英 :
量子过程的概率互模拟。 Inf.计算。 205 ( 11 ) : 1608-1639 ( 2007 ) 玛丽贝尔·费尔南德斯 , 默多克-加贝 :
名义重写。 Inf.计算。 205 ( 6 ) : 917-965 ( 2007 ) 埃琳娜·费斯曼 , 帕维尔·科卡尔 , 保罗·佩特森 , 王毅 :
任务自动机:可调度性、可判定性和不可判定性。 Inf.计算。 205 ( 8 ) : 1149-1172 ( 2007 ) 尼科莱塔·德·弗朗西斯科 , 卢卡·马蒂尼 :
基于堆栈的汇编语言中信息流的指令级安全分析。 Inf.计算。 205 ( 9 ) : 1334-1370 ( 2007 ) 金莫·弗雷德里克森 , 维利·梅基宁 , 冈萨洛·纳瓦罗 :
旋转和照明不变模板匹配。 Inf.计算。 205 ( 7 ) : 1096-1113 ( 2007 ) 默多克·加贝 :
名字的一般数学。 Inf.计算。 205 ( 7 ) : 982-1011 ( 2007 ) Hui Gao公司 , 维姆·海塞林克 :
使用比较和切换的通用无锁算法。 Inf.计算。 205 ( 2 ) : 225-241 ( 2007 ) 菲利普·加德纳 , 科西莫·拉伊夫 , 卢西安·维希克 :
线性货运代理。 Inf.计算。 205 ( 10 ) : 1526-1550 ( 2007 ) 维利亚姆·格弗特 :
有限自动机状态层次中的幻数。 Inf.计算。 205 ( 11 ) : 1652-1670 ( 2007 )