雷竞技官方网站下载印第安纳大学布卢明顿

Luddy学院信息学、计算和工程

技术报告指数


搜索字段:作者标题摘要(如果可用)

下面是一个清单的印第安纳大学的计算机科学技术报告程序,其中许多是可用的电子。雷竞技官方网站下载如果我们有一个与你交换协议的机构,我们的硬拷贝技术报告(论文除外)都可以免费的(限制每月的5个)。如果我们没有一个与你交换协议的机构,请联系技术报告的图书管理员(techreports cs.indiana.edu)的特定技术报告或价格信息建立一个交换协议。

如果你有任何问题或要求请联系:

CS技术报告印第安纳大学图书馆员,Luddy厅布卢明顿,美国雷竞技官方网站下载印第安纳州47405 - 4101电子邮件:techreports cs.indiana.edu

还有信息(仅从IU)可用如何提交一份技术报告和如何保持数据库

TR745
元多智能体连续控制近端政策优化合作,方勃利(2022年5月),35页[2。其他说明:硕士论文;论文已被接受IJCNN 2022。)
TR744
再现性的科学计算乔纳森•Klinginsmith(2021年2月),16页(博士候选人资格要求恢复计划)
TR743
用户应用程序选择的贝叶斯评估存在的风险沟通在Android设备上,Behnood Momenzadeh,琼阵营(2019年9月),10页
TR742
IoTMarketplace:通知购买决策与风险沟通Shakthidhar Reddy Gopavaram Jayati Dev, Sanchari Das,琼营(2019年8月),16页的页面
TR741
本地:程序操作序列化数据的语言迈克尔·Vollmer Chaitanya Koparkar, Mike Rainey莱斯Sakka, Milind Kulkarni瑞安·r·牛顿(2019年4月),34页
TR740
内部威胁事件检测用户系统交互Pablo Moriano贾里德·彭德尔顿,史蒂文•富和l . Jean营(2017年9月),12页(本文发表在程序的最终版本雾的2017年10月17日,30日,https://doi.org/10.1145/3139923.3139928。)
TR739
图dsl: Green-Marl & Sparql的调查,Thejaka阿米拉Kanewala(2017年7月),11页(提交的一份报告的部分满足要求一个独立研究2014。)
TR738
一项调查显示π-Calculus,Thejaka阿米拉Kanewala(2017年6月),11页(提交部分满足要求的博士资格考试2014年)
TR737
在设计和实现策略和权衡嵌入式dsl,Thejaka阿米拉Kanewala(2017年6月),10页(提交部分满足要求的博士资格考试2014年)
TR736
剥落的柠檬问题风险沟通为移动应用程序,Behnood Momenzadeh,学校的信息和计算,印第安纳大学布卢明顿,让营地,信息学和计算机学院的印第安纳大雷竞技官方网站下载学布卢明顿(2017年6月),9页(这是与联邦贸易委员会发布共享一个技术报告。博士工作,但第一份草稿。
TR735
现在你能听到我的呼唤吗?:技术报告将音频与隐私权限,印第安纳大学SHAKTHIDHAR REDDY GOPAVA雷竞技官方网站下载RAM OMKAR BHIDE,印第安纳大学的JEAN营地,印第安纳大学(2017年6月),21页(这是与联邦贸易委员会发布分享作为一个技术报告。博士工作,但第一份草稿。
TR734
分布式控制在HPX,Thejaka阿米拉Kanewala(2017年5月),10页(提交部分满足要求的博士资格考试2014年)
TR733
描述网络路由通过图挖掘异常Pablo Moriano, Srivatsan艾耶,l . Jean营(2017年5月)15页(这是被发布仅供分享与思科技术报告)
TR732
RDMA LibPhotonNBC:意识到集体图书馆光子Wickramasinghe, Udayanga:以斯拉Kissel Andrew Lumsdaine(2017年5月),15页
TR731
评估集体双层网络多核/减少Andrew Lumsdaine,卢克DAlessandro Udayanga Wickramasinghe结束以斯拉Kissel,马丁•Swany瑞恩•牛顿(2017年5月)15页(这是一个扩展版的下一篇论文提交(不接受)
TR730
Yubico安全关键的可用性和可接受性,安德鲁·c·Dingman Gianpaolo罗威和Jean营(2017年2月),12页
TR729
渐进的键入一个开放的世界迈克尔·m·Vitousek和杰里米·g . Siek(2016年10月),33页
TR728
交叉分析系统:一个案例综合来源数据的湖泊,Isuru Suriarachchi和贝丝苍白(2016年9月),发生6页[接受eScience 2016, http://escience - 2016. - idies.jhu.edu/]
TR727
弱智者、罪犯或间谍:宏观经济分析的路由异常干,巴勃罗Moriano Soumya, l . Jean营(2016年7月),29页(本文的最终版本是在https://doi.org/10.1016/j.cose.2017.06.011发表在《计算机与安全)
TR726
视差的语义,v1.0,杰里米·g·Siek Matteo Cimini和托马斯·斯特林(2016年5月),34页
TR725
来源基本基础设施数据湖泊,Isuru Suriarachchi和贝丝苍白(2016年4月),发生4页[接受IPAW 2016, http://www2.mitre.org/public/provenance2016/ipaw.html]
TR724
太多太迟了:风险沟通的影响在Android应用程序安装塞拉Rajivan & Jean营地,信息学和计算机学院(2016年2月),12页
TR723
邦戈:东方议长建造防御坏路线博士,凯文•本顿l . Jean营地,马丁Swany(2016年2月),10页
TR722
一项调查在丝绸和使用SEDA优化HDFS读操作,Isuru Suriarachchi(2015年10月),8页(写给博士资格考试)
TR721
安全来源的数据保存存储库,Isuru Suriarachchi(2015年10月),9页(写给博士资格考试)
TR720
解决Γ-privacy的局限性,Isuru Suriarachchi(2015年10月),7页(写给博士资格考试)
TR719
使用计算机代数简化概率程序,雅克Carette Chung-chieh山(2015年9月),17页(稍微缩写版的摘要提交PADL 2016。)
TR718
《2014计划和函数式编程的车间杰森Hemann,约翰•克莱门茨(编辑)(2015年9月),71页
TR717
手册EAR4 CAAR Weka插件,案例回归和乐团的适应性,版本1,瓦希德Jalali大卫Leake(2015年4月),12页的页面
TR716
仪器测量感知网络信息共享的风险和益处,l . Jean营(2014年12月),页
TR715
仪器测量计算和安全专家帕拉山Rajivan Pablo Moriano,蒂莫西·凯利和Jean营地(2015年2月),页
TR714
Preproceedings 26nd的研讨会上的实现和应用函数式语言(IFL 2014)编辑,山姆Tobin-Hochstadt(2014年10月),237页
TR713
评估数据存储在使用卡桑德拉HathiTrust研究中心阮Guangchen和贝丝苍白(2014年7月),发生11页
TR712
一种语言在gpu嵌套数据并行设计空间探索Bo乔尔·斯文森,玛丽Sheeran,瑞安·r·牛顿(2014年8月),16页的页面
TR711
使用混合动力系统模型RobotiQ自适应夹,会注目和克丽丝豪泽(2014年2月),17页
TR710
冻结后写道:Quasi-Deterministic LVars并行编程,林赛•库珀Aaron Turon Neelakantan r . Krishnaswami瑞安·r·牛顿(2013年12月),56页的页面
TR709
新模块在RAPSearch2快速蛋白质Paired-end序列的相似性搜索张全新课题,Haixu唐(2013年12月),16页页(硕士顶点报告)
TR708
先进的关键字搜索图一帆锅;余庆吴(2013年8月),9页(较短的版本,这个报告将发表在CIKM 2013]
TR707
感知风险的计算Vaibhav Garg;L让营(2013年7月),24页
TR706
即时加速度的JavaScript、Uday Pitambare Arun Chauhan Saurabh Malviya(2013年2月),14页的页面
TR705
一个框架优化函数调用序列在MATLAB或没有Inter-procedural Inter-procedural优化分析,阿伦•Chauhan孙相玉Shei(2014年8月),10页的页面
TR704
RubyWrite:嵌入式DSL树重写Andrew保持Arun Chauhan,孙相玉Shei,普什卡Ratnalikar(2013年1月),页
TR703
一个统一的c++术语概念,Larisse Voufo Andrew Lumsdaine(2013年1月),11页页(本文旨在帮助进行讨论设计和实现c++的概念。)
TR702
与共享状态Lattice-Theoretical确定性方法的并行性瑞安,林赛•库珀牛顿(2012年10月),页60页
TR701
时态数据挖掘的科学数据出处陈,彭,贝丝苍白,发生穆罕默德Aktas(2012年7月),24页的页面
TR700
可扩展的会话协议:一个协议为未来互联网体系结构以斯拉Kissel(特拉华州),马丁Swany(印第安纳州)(2012年2月),14页的页面
TR699
优点和缺点的Sub-Workflow互操作性Herath Chathura,,贝丝苍白,发生伊兰Chinthaka Withana, Kavitha Chandrasekar,元罗,菲利克斯Terkhorn(2011年11月),8页页(这项工作预计将发表。)
TR698
评价两种XML存储的方法科学元数据斯科特•詹森Devarshi Ghoshal,贝丝苍白(2011年10月),发生13页的页面
TR697
通过交通多路分解阻挠wi - fi边信道分析张、风扇、文博他Yangyi陈,周丽,XiaoFeng Wang陈烁,雪刘(2011年8月),21页的页面
TR696
释放或不释放:评估信息泄密事件总基因组数据博彭,周小勇勇风雅,Yangyi Chen Haixu Tang XiaoFeng王(2011年6月),27页
TR695
BLACR: TTP-Free Blacklistable匿名凭证与声誉人何盟,帕特里克·p·曾Apu Kapadia和威利苏西洛(2011年5月),页34页
TR694
RDB-based RDF数据管理技术的研究密苏里州,瓦希德Jalali周,余庆吴(2011年5月),页12页
TR693
Sigiri:统一抽象大规模计算资源交互,伊兰Chinthaka Withana和贝丝苍白(2011年3月),发生9页的页面
TR692
高效协会发现与关键字限制大型图形数据密苏里州周一帆,余庆吴(2011年3月),11页页(2011年提交给VLDB)
TR691
提高自动气象观测与公众Twitter流杰夫•考克斯,贝丝苍白(2011年2月),发生25页的页面
TR690
如何为免费的在线商店:安全分析Cashier-as-a-Service基础网络商店吗夏风王,瑞王烁陈(2011年2月),N / A页面
TR689
独立和Schema-Friendly科学元数据管理,斯科特詹森和贝丝苍白(2011年1月),发生8页页((短)扩展文摘的发表在《第四届IEEE eScience国际会议上进行。
TR688
规划:反复行为不端的匿名用户的实际TTP-Free撤销人何盟,帕特里克·p·曾Apu Kapadia(2011年7月),页(2011年7月更新)
TR688
规划:反复行为不端的匿名用户的实际TTP-Free撤销人何盟,帕特里克·p·曾Apu Kapadia(2011年7月),页(2011年7月更新)
TR687
皮提亚:隐私意识到,点对点网络社交搜索Nathaniel hust, Shirin Nilizadeh Naveed阿拉姆,Apu Kapadia(2010年10月),页
TR686
可组合运行时的经济复苏政策框架支持弹性HPC应用程序安德鲁,约书亚Hursey & Lumsdaine(2010年8月),12页的页面
TR685
订购提高变频器采矿深度优先搜索杰里米·t·恩格尔,爱德华·l·罗伯逊,迪米特·g·Nikolov(2010年6月),页:12页(这是一个扩展版的一篇论文正在审查抽象)
TR684
认证的谎言:检测和击败政府拦截攻击SSLStamm Christopher Soghoian和Sid,(2010年4月),20页页(在提交(不接受)
TR683
基于xml的RDF数据管理高效的查询处理,莫周,余庆吴(2010年4月),6页页(预计将在2010年WebDB出版)
TR682
诱导亲缘图表数据集成,杰里米·恩格尔,瀛丰商务,罗伯•戈德斯通(2010年1月),6页页(本文提交WebDB 2010)
TR681
“Sigiri:向一个轻量级大规模的系统作业管理系统”,伊兰Chinthaka Suresh Marru和贝丝苍白(2009年8月),发生5页的页面
TR680
学习你的身份和疾病研究论文:全基因组研究协会信息泄密事件,瑞王——印第安纳大学布卢雷竞技官方网站下载明顿勇Li -印第安纳大学布卢明顿XiaoFeng王——印第安纳大学布卢明顿Haixu唐——印第安纳大学布卢明顿小勇周——印第安纳大学布卢明顿(2009年8月),12页的页面
TR679
保护隐私基因组计算通过项目专业化王,瑞王IUB, XiaoFeng IUB,周Li - IUB, Haixu唐- IUB,迈克尔Reiter——北卡罗莱纳大学教堂山分校,郑董,大学(2009年8月),12页的页面
TR678
模块化的数据挖掘:一个案例研究框架杰里米·t·恩格尔,爱德华·l·罗伯逊(2009年7月),页7页(提交)
TR677
构建一个概念层次结构使用频繁的标签序列Jon Klinginsmith(大学)、马里卡Mahoui (IUPUI), Josette琼斯(IUPUI),吴媚兰(大学)(2009年6月),7页(本文已提交给CIKM 2009会议。我们不会听到直到7月底验收。)
TR676
社会上引起语义网络和应用程序本杰明·马金(2009年六月),177页的页面(这是一个博士论文)
TR675
兽人:无视路由拥塞模拟器蒂莫·施耐德,托尔斯滕·霍弗勒,安德鲁Lumsdaine(2009年2月),12页的页面
TR674
固定探针为多线程MPI应用程序Torsten霍弗勒道格拉斯·格雷戈尔,布莱恩·巴雷特和安德鲁Lumsdaine(2009年1月),8页的页面
TR673
Workload-aware Trie索引的XML索非亚布伦,余庆吴媚兰,Hyungdae易建联(2009年1月),13页页(提交会议审议)
TR672
对量化限制项目数据的自动化管理太阳,贝丝苍白,发生You-Wei很、翳明(2008年11月),3页的页面
TR671
一项调查的分布式工作流特点和资源需求Lavanya Ramakrishnan,丹尼斯•甘农(2008年9月),20页的页面
TR670
超越:加强信息保护商品应用程序与数据流控制,XiaoFeng Wang Zhuowei李和鲁伊·王(2008年8月),页
TR669
HTTP栅栏:移民控制Web页面Stamm Sid,(2008年7月),11页的页面
TR668
全分辨率Lightfield渲染,安德鲁Lumsdaine托度。吉奥吉夫(2008年7月),页
TR667
对软件安全配置的自动反向工程瑞王,XiaoFeng Wang Kehuan张Zhuowei李(2008年7月),12页的页面
TR666
在FEDORA数字代表铅实验库You-Wei很,贝丝苍白(2008年6月),发生10页的页面
TR665
量子电路:从单向模式——网络教程的版本,Larisse d . Voufo Gerardo奥尔蒂斯,Amr Sabry(2008年6月),28页的页面(这是一个更多的评论基于版本的http://www.cs.indiana.edu/ ~ lvoufo / ow_add_preproc.pdf,已提交给pre-proceedings DCM-QPL 08年的车间(http://www.comlab.ox.ac.uk/people/bob.coecke/DCM_QPL_08.html)。)
TR664
量化个性化的安全认证杰可布森、刘洋,马库斯,Susanne吉姆(2008年6月),10页的页面
TR663
审查的霍夫变换方法,实现快速的脚腕线检测的变体,丹科Antolovic(2008年4月),11页页(这份报告属于Auto-Digitizer,机器视觉和图像处理的开源软件包,印第安纳大学。)雷竞技官方网站下载
TR662
ParaXML:并行多核cpu上的XML处理模型,魏Lu和丹尼斯甘农(2008年4月),13页的页面
TR661
扩散和采用IPv6的在美国希拉里·a·爱尔摩l . Jean营地,布兰登·p·斯蒂芬斯(2008年3月),11页页(本文提出工作报告在思科IP地址分配、研讨会苗必达,CA 3月3 - 4日,2008年。已经提交给2008年信息安全经济学研讨会。)
TR660
一项研究的积极与父/子XPath导航,余庆吴,德克·范·古特马克•Gyssens Jan Paredaens(2008年3月),8页的页面
TR659
一个可伸缩的和健壮的协调架构分布式管理,Srinath佩雷拉,丹尼斯甘农(2008年2月),10页页(在修订出版)
TR658
概率分析成功和失败的候选人一代的频繁项集挖掘算法的问题。唐、明(2008年2月),16页的页面(这是一个独立的研究报告。我现在仍然在寻找一些会议/杂志投稿。)
TR657
基于风险的方法来限制的影响秘密渠道网络传感器数据聚合器传感器隐私,卡米洛·h·Viecco和l . Jean营(2008年2月),页9页(正在修订中尝试出版。)
TR654
基准测试虚拟机在多核机器上的努力阿帕纳万卡特拉曼·莱马克里斯Vinay Pandey,贝丝苍白,发生Shing-Shong Shei(2007年12月),19页页(硕士研究项目)
TR653
View-Constraint对偶在数据库和系统工程约翰·斯普林格(2007年10月),164页页(Ph值。D论文)
TR652
一个案例研究在使用为安全操作系统的界面设计原则、翳明太阳Adity Mutsuddi, Baizil k·雅各布,凯·h·康纳利和Minaxi古普塔(2007年10月),34页的页面
TR651
网络信任:Privacy-Aware共享Web架构的历史,亚历克斯·Tsow Shreyas Kamath和l . Jean营(2007年8月),11页的页面
TR650
海星:Table-Centric工具设计推导,亚历山大·w·Tsow(2007年8月),272页页(Ph值。D论文]
TR649
欺骗和欺骗:钓鱼的庞大的用户研究杰可布森(2007年8月),亚历克斯Tsow和马库斯,46页的页面
TR648
元组空间映射器:设计、挑战和目标约瑟夫·a·科塔姆和安德鲁Lumsdaine(2007年7月),10页的页面
TR647
一个虚拟文件系统框架来支持嵌入式软件开发,寻找Nagendra Pisupati(2007年六月),182页(博士论文和支持设计)
TR646
普适计算环境建立一个受信任的位置服务拉奎尔·希尔,塔拉Al-Muhtadi(2007年5月),6页的页面
TR645
绩效评估的MySQL 5.0和Berkeley DB XML作为网格资源信息经理(可怕的)基准/负载鑫翔,贝丝苍白(2007年2月),发生19页的页面
TR644
CCA CCA-LISI:设计一个平行的稀疏线性解算器接口方(樱桃)刘和兰德尔绿色大苹果(2007年1月),13页页(预计将发表在IPDPS ' 07(2007年IEEE国际并行和分布式处理研讨会))
TR643
钓鱼IQ测试测量恐惧,而不是能力Andrew Dingman Vivek Anandpara,杰可布森、Debin Liu马库斯希瑟Roinestad(2007年1月),9页页(论文已被接受作为一个抽象(5页版本)美国铀浓缩公司07年。)
TR641
顺路的嫁接Stamm Sid, Zulfikar Ramzan,杰可布森(2006年12月),马库斯13页页[TR641的衍生物(引用641)在第九届国际会议上发表信息和计算机安全。)
TR640
一个密集的无线局域网的案例研究,卡米洛·h . Viecco Minaxi古普塔(2006年12月),10页的页面
TR639
方法与结构耦合XPath的碎片索引的XML文档乔治·h·l·弗莱彻Dirk Van古赫特,余庆吴,马克•Gyssens和简Paredaens(2006年10月),19页的页面
TR638
基本的代数概念Concept-Enabled c++彼得•Gottschling(2006年10月),135页的页面
TR637
设计、实现和使用LibNBC,托尔斯滕·霍弗勒和安德鲁Lumsdaine(2006年9月),10页的页面
TR636
非阻塞MPI-2集体行动Torsten霍弗勒,杰弗里·m·斯奎尔斯乔治•Bosilca格雷厄姆•Fagg安德鲁•Lumsdaine官和沃尔夫冈Rehm(2006年9月),6页的页面
TR635
开放的MPI的检查点和重启服务规范,约书亚Hursey和杰弗里·m·斯奎尔斯和安德鲁Lumsdaine(2006年7月),8页
TR634
扩展关系查询优化动态模式多数据库的信息集成,凯瑟琳·m·怀斯和Felix i Wyss(2006年7月),12页的页面
TR633
XML的访问控制框架,斯莫汉(srmohan),业务森古普塔(asengupt)和余庆吴(yuqwu)(2006年7月),40页(预计将发表在:ACM交易系统和信息安全)
TR632
构建和验证实体关系数据模型在pv规范语言:一个案例研究使用的教科书式的例子Venkatesh Choppella业务森古普塔,爱德华·l·罗伯逊和史蒂芬·D·约翰逊(2006年4月),52页的页面
TR631
MPI /脚本语言:可用性和性能的权衡克雷格·苏,约书亚Hursey,阿伦Chauhan(2006年2月),13页的页面
TR630
一个“虚拟光”界面扩展模拟计算机,威廉姆斯等人。(2006年1月),页
TR629
使用超大规模集成扩展模拟计算机密码学,冈萨雷斯et al .(2006年1月),页
TR628
回旋加速器束控制和网络流量负载平衡EAC,陈等人。(2006年1月),页
TR627
进化的字母识别扩展模拟计算机,帕克,m .(2006年1月),页
TR626
吴用蝴蝶翅膀模式来解决哈密顿回路,与金(2006年1月),页
TR625
笔记实现McCulloch-Kilmer RETIC EAC,米尔斯等人。(2006年1月),页
TR624
拒绝服务攻击的检测使用扩展模拟计算机,离Kopecky和Wileman(2006年1月),页
TR623
互补性和非传统的计算、乔纳森·w·米尔斯和布莱斯Himebaugh(2006年1月),页
TR622
消失点:视觉Road-Detection项目车辆DARPA大挑战丹科Antolovic,亚历克斯Leykin和史蒂芬·d·约翰逊(2005年12月),6页页(这项工作表现与迪机器人赛车队的合作与印第安纳大学普遍技术实验室的合作。)雷竞技官方网站下载
TR621
多项式时间无类型列表的查询语言爱德华·l·罗伯逊劳伦斯诉萨克斯顿,德克·范·古特(2005年12月),16页的页面
TR620
跟踪和分析在零售环境中活动,亚历克斯Leykin Mihran Tuceryan(2005年10月),21页
TR619
计划2005年学报第六届研讨会方案和函数式编程,j·迈克尔·阿什利和迈克尔•Sperber编辑(2005年9月),120页页(会议论文集)
TR618
数据来源的调查技术尤l . Simmhan贝丝苍白,发生丹尼斯甘农(2005年8月),25页(短版的论文将发表在ACM SIGMOD记录,2005年9月)
TR617
IUCBRF:一个快速和模块化的案例推理系统框架开发,史蒂文博尔加特和大卫Leake(2005年7月),63页页(一个ascii版本的抽象。这可能包括HTML标记。抽象是可选的,但强烈推荐。)
TR616
常见仪器中间件架构:教学目标的实现肯尼斯·赵,Tharaka Devadithya,唐纳德·f·麦克伦(2005年6月),9页(论文已经提交给网格车间2005]
TR615
一个一元框架分隔的延续琼斯,r·肯特Dybvig西蒙·佩顿,Amr Sabry(2005年6月),40页的页面
TR614
dQUOBEC事件通道通讯系统,Nithya Vijayakumar,贝思苍白(2005年5月)发生,14页的页面
TR613
实现GGF讲台为网格数据服务接口访问数据流刘英,贝丝苍白,发生Nithya Vijayakumar(2005年5月),11页的页面
TR612
视觉系统为自动化客户跟踪营销分析:低层次特征提取,亚历克斯Leykin Mihran Tuceryan(2005年6月),10页的页面
TR611
如何删除一个动态提示:静态和动态分隔延续运营商也同样可表现的奥列格·凯瑟列夫(2005年3月),16页页(与丹尼尔·p·弗里德曼和合作Amr a Sabry逻辑编程系统)
TR610
OGC地理信息系统Web服务兼容Sayar艾哈迈德马龙·皮尔斯,杰弗里·福克斯(2005年3月),64页的页面
TR609
XML访问控制——动态查询重写的方法斯汉业务森古普塔,余庆吴,乔纳森Klinginsmith(2005年2月),12页页(提交论文VLDB 2005。)
TR608
Proof-Theoretic流产延续的基础(扩展版),Zena m . Ariola雨果Herbelin, Amr Sabry(2005年2月),43页的页面(这是一个扩展版的会议文章“最小经典逻辑和控制操作符,Zena m . Ariola &雨果Herbelin第三十国际讨论会自动机,语言和编程,2003,气象出版社,2719信号,动力分配。871 - 885年”。)
TR607
计算生物学的数据管理体系结构,于妈,兰德尔•布金太阳(2005年1月),7页
TR606
三者关系的代数埃德•罗伯逊(2005年1月),24页+封面页(本文的早期版本显示为“三者关系:一个代数语义网”的“学报第二国际研讨会语义Web和数据库,“SWDB 2004年由施普林格出版1 -。)
TR605
第1部分基本为泛型编程语言支持:规范化杰里米•Siek和安德鲁Lumsdaine(2004年12月),70页(较短的版本的论文提交给PLDI 2005会议。)
TR604
并行数据再分配和远程方法调用组件体系结构费利佩•伯特兰兰德尔•绿色大苹果Kostadin Damevski,詹姆斯·a·科尔(David e . Bernholdt杰伊·w·拉尔森,艾伦•苏斯曼(2004年12月),16页
TR603
实验与pr计算刘,阿什拉夫·哈利勒和勇(2004年12月),9页页(这技术报告是最终项目B659 (Web挖掘)。我们预计发布一个修改版的技术报告。
TR602
措施数据库和数据挖掘Marc Gyssens Bassem Sayrafi,德克·范·古特(2004年11月),39页
TR601
RS-Algo:一个算法来提高内存利用率在连续查询系统异步数据流,Nithya Vijayakumar和贝丝苍白(2004年10月),发生15页的页面
处理器系统
《第五车间计划和函数式编程、奥林颤抖和奥斯卡Waddell(2004年10月),128页页(本报告包含了论文发表于第五届ACM SIGPLAN车间)
TR599
最佳的元组在np完全合并爱德华·l·罗伯逊和凯瑟琳·m·魏斯(2004年7月),页9页
TR598
可扩展关系数据库:一个关系互操作性的方法,J.J. Lu, s - y。张,蔡玫Wyss(2004年7月),12个后卫。页面
TR597
一个仪表/传感器MMSF自动光度分析望远镜兰德尔·布和乔治·特纳,方Liu(2004年6月),10页的页面
TR596
推理对添加剂的措施Bassem Sayrafi和德克·范·古特(2004年6月),18页的页面
TR595
比较研究的老年人,年轻,慢性病患者新手PDA用户凯蒂·a·摩尔人,凯康纳利和伊冯·罗杰斯(2004年6月),页
TR594
为企业框架架构原则理查德·a·马丁爱德华·l·罗伯逊和约翰·a·斯普林格(2004年4月),24页的页面
TR593
门户访问并行可视化的科学数据网格查尔斯·Moad和贝丝苍白(2004年2月),发生6页的页面
TR592
基于编译器的方法Schema-Specific XML解析器陆,肯尼斯·赵、魏(2004年2月),9页的页面
TR591
翻译、规模和Occlusion-Tolerant识别与多个特征空间模型,Arnab Dhua,弗罗林Cutzu, Durgesh Dewoolkar和斯蒂芬·Kiselewich(2004年1月),页9页
TR590
多个特征空间模型场景分割和遮挡去除,Arnab Dhua,弗罗林Cutzu, Durgesh Dewoolkar和斯蒂芬·Kiselewich(2004年1月),页13页
TR589
无线定位系统的发展林德利大厅r . Doshi t . Jagatic, a·哈利勒s Shirasuna和p . Venkatakrishnan(2004年1月),28页的页面
TR588
仪器和传感器网络服务:仪器第一次网格的类成员兰德尔·布,肯尼思•赵约翰·c·霍夫曼,起亚霍夫曼,和唐纳德•f•麦克伦(2003年12月),25页的页面
TR587
挖掘频繁项集在任意时间间隔数据流克里斯Giannella加威汉,爱德华·罗伯逊和曹国伟刘(2003年11月),37页的页面
TR586
迭代模态相对化的不可判定性约瑟夫·s·米勒和劳伦斯·s·莫斯(2003年5月),26页的页面
TR585
基准评价Xindice网格信息服务器,Prajakta Vaidya和贝丝苍白(2003年5月)发生,17页的页面
TR584
一个信息理论对一维直方图选择性估计,克里斯Giannella和Bassem Sayrafi(2005年1月),21页
TR583
基准的细节合成为网格资源信息数据库基准/负载,贝丝苍白,发生克雷格•雅各布斯刘英,查理•Moad Rupali某,和Prajakta Vaidya(2003年8月),27页的页面
TR582
结合优化,结合理论托德·l . Veldhuizen和杰里米·g . Siek(2003年5月),18页的页面
TR581
改善懒惰Krivine机器杰里米•阿卜杜勒阿齐兹,丹尼尔·弗里德曼Ghuloum g . Siek和林恩Winebarger(2003年11月),27页页(出现在《华尔街日报》,高阶和符号计算)
TR580
聚合物的处理器6,乔纳森·w·米尔斯(2003年7月),页页
TR579
请求过程接口(RPI)系统服务接口(SSI) LAM模块/ MPI,杰弗里·m·斯奎尔斯布莱恩·巴雷特和安德鲁Lumsdaine(2003年7月),34页页(API版本1.0.0 / SSI版本1.0.0)
TR578
检查点/重新启动系统服务接口(SSI) LAM模块/ MPI斯利拉姆Sankaran,杰弗里·m·斯奎尔斯布莱恩·巴雷特和安德鲁Lumsdaine(2003年7月),22页页(API版本1.0.0 / SSI版本1.0.0)
TR577
MPI集体操作系统服务接口(SSI) LAM模块/ MPI,杰弗里·m·斯奎尔斯布莱恩·巴雷特和安德鲁Lumsdaine(2003年7月),页23页(API版本1.0.0 / SSI版本1.0.0)
TR576
启动系统服务接口(SSI) LAM模块/ MPI,杰弗里·m·斯奎尔斯布莱恩Barett和安德鲁Lumsdaine(2003年7月),25页页(API版本1.0.0 / SSI版本1.0.0)
TR575
系统服务接口(SSI)林/ MPI,杰弗里·m·斯奎尔斯布莱恩·巴雷特和安德鲁Lumsdaine(2003年6月),29页页(SSI版本1.0.0)
TR574
发布订阅事件系统的调查刘英和贝思苍白(2003年5月)发生,19页的页面
TR573
Polychotomous成对分类器分类:一个新的投票原则9,弗罗林Cutzu(2003年1月),页页
TR572
使用侧面人脸检测模板、易朱和弗罗林Cutu(2002年11月),6页的页面
TR571
一个新颖的方法来查看规划形状从范围数据采集、傅Chi-Wing弗罗林Cutzu和安德鲁·汉森(2002年11月),19页的页面
TR570
使用MPI与c#和共同的语言基础设施耶利米Willcock,安德鲁•Lumsdaine拱罗宾逊(2002年10月),17页的页面
TR569
实时响应流数据在Linux集群,贝丝苍白,发生乔治·特纳和阿卡什·夏尔马(2002年11月),12页的页面
TR568
使用Block-Recursive矩阵分解结构和Block-Recursive算法杰里米•d友人(2002年9月),页169页(博士论文)
TR567
打破了障碍:高性能计算的高性能安全凯,康纳利和安德鲁·A·简(2002年8月),7页页(这份报告的一个版本将会出现在新的安全模式车间,2002。)
TR566
统一源跟踪诊断与应用程序的类型推断是,Venkatesh Choppella(2002年8月),200页页(博士论文)
TR565
从真实场景视觉属性区分艺术,亚历克斯·Leykin弗罗林Cutzu和利雅得哈穆德(2002年7月),40页页(论文修改,2002年10月18日)
TR564
保证优化:证明编译器的零空间属性,托德·l·Veldhuizen和安德鲁Lumsdaine(2002年7月),35页页(短维尔森纸出现在:学报2002静态分析研讨会(SAS的02)西班牙马德里,2002年9月17日)
TR563
可靠性在林/ MPI需求规范安德鲁•Lumsdaine杰弗里·m·斯奎尔斯和布莱恩·巴雷特(2002年6月),29页的页面
TR562
XCAT 2.0:设计和实现的基于组件的Web服务,Madhusudhan Govindaraju,斯克里希,肯尼思•赵亚历山大Slominski,丹尼斯·甘农和兰德尔绿色大苹果(2002年6月),12页的页面
TR561
架构支持数据库可视化丹尼斯Groth(2002年5月),230页页(博士论文)
TR560
MSPLS 2002:《车间中西部的编程语言和系统的社会、亚Jarvi Andrew Lumsdaine和David s .明智的,编辑(2002年4月),37页的页面
TR559
高性能计算的肥皂肯尼斯·赵Madhusudhan Govindaraju,兰德尔绿色大苹果(2002年3月),17页的页面
TR558
利用复合分解改善查询评估克里斯·Giannella穆罕默德Dalkilic,丹尼斯Groth和爱德华·罗伯逊(2002年2月),32页的页面
TR557
开发一个自治的实时视觉系统模型飞机丹科Antolovic(2001年10月),102页页(硕士论文)
TR556
与dQUOB系统流数据的动态查询,贝丝苍白和卡斯滕施万发生(2001年9月),22页的页面
TR555
在函数依赖的信息理论近似测量,克里斯Giannella和爱德华·罗伯逊(2001年8月),12页的页面
TR554
一个对象为SelfType编码,史蒂文·e·甘兹和丹尼尔·p·弗里德曼(2001年8月),13页的页面
TR553
模块化翻译计划的对象,史蒂文·e·甘兹和丹尼尔·p·弗里德曼(2001年8月),8页的页面
TR552
交叉与提炼抽象机器是可能的:工程编译器的新方法,史蒂文·e·甘兹和丹尼尔·p·弗里德曼(2001年8月),17页的页面
TR551
FastFDs: Heuristic-Driven,深度优先算法挖掘函数依赖关系实例凯瑟琳Wyss,克里斯•Giannella和爱德华·罗伯逊(2001年7月),23页的页面
TR550
的设计拉伸流的XML解析器系统亚历山大·Slominski(2001年5月),10页的页面
TR549
SoapRMI事件:设计和实现亚历山大·Slominski, Madhusudhan Govindaraju,丹尼斯·甘农和兰德尔绿色大苹果(2001年5月),17页的页面
TR548
SoapRMI c++ / Java 1.1:设计和实现亚历山大·Slominski, Madhusudhan Govindaraju,丹尼斯·甘农和兰德尔绿色大苹果(2001年5月),17页的页面
TR547
血液从达姆的萝卜得,n . Klipsch和David s .明智的(2001年4月),3页的页面
TR546
递归是一种计算效果丹尼尔·p·弗里德曼和Amr Sabry(2000年12月),34页的页面
TR545
诉讼第三ACM SIGPLAN延续(CW的01)研讨会Amr Sabry(编辑)(2001年1月),54页的页面
TR544
正式的方案推导计算机史蒂夫·戴尔·约翰逊(2000年9月),18页页(在http://www.cs.indiana.edu/hmg/schemachine.ps.Z在1997年3月首次发布电子)
TR543
5编译为c++模板模型,托德Veldhuizen(2000年8月),11页的页面
TR542
技术科学的c++,托德Veldhuizen(2000年8月),57页的页面
TR541
简单的理性的算术平均分的规范,劳伦斯·莫斯(2000年7月),10页的页面
TR540
解决普通树基于语法的约束刘,竞争,李宁,斯科特·d·短距起落(2000年7月),26页页(2000年10月修订)
TR539
就在你以为你的小语言是安全的:“在Java表达式模板”托德·l . Veldhuizen(2000年7月),12页的页面
TR538
自动准确的堆栈和堆空间分析的高级语言Leena Unnikrishnan。斯科特·d·短距起落和竞争a·刘(2000年4月),28页的页面
TR537
袭击支付协议绑定,斯科特·d·短距起落(2000年2月),16页页(修订后的2001年1月10日和4月10日,2001年。)
TR536
模型检查多线程分布式Java程序,斯科特·d·短距起落(2000年1月),25页页(修订后的2000年5月和2000年9月。)
TR535
高阶语言自动有时限的分析古斯塔沃·戈麦斯和竞争a·刘(1999年11月),15页的页面
TR534
公告的逻辑、常识和私人的怀疑Alexandru Baltag,劳伦斯·莫斯和斯人(1999年11月),37页的页面
TR533
Morton-order矩阵得到编译器的支持David s .明智和杰里米·d·友人(1999年11月),18页的页面
TR532
这都是过程:按软件工程的教学,丹尼斯·p·Groth和爱德华·l·罗伯逊(1999年11月),页9页
TR531
信息的依赖性,穆罕默德·m·Dalkilic和爱德华·l·罗伯逊(1999年11月),15页的页面
TR530
添加一个路径联系运营商FO +聚(线性),克里斯Giannella和德克·范·古特(1999年11月),31页页(2000年12月修订)
TR529
平均情况推测的算法的性能保罗•Purdom Dirk Van古赫特和丹尼斯·p·Groth(1999年10月),39页页(修订,2003年2月)
TR528
MD-SQL:元数据在关系数据库查询语言c . m .十字架,d·范·古特和f i Wyss(1999年7月),20页的页面
TR527
从递归迭代:优化是什么?刘,竞争和斯科特·d·短距起落(1999年7月),19页的页面
TR526
攻击身份验证协议的约束,斯科特·d·短距起落(1999年7月),30页页(修订后的2000年2月,2000年9月和2001年1月)
TR525
自动化的框架建设和案例推理系统的转换静马业务森古普塔和大卫·威尔逊(1999年7月),24页的页面
TR524
一个系统性的Incrementalization硬件设计技术及其应用史蒂夫·戴尔·约翰逊竞争a .刘和张尝试(1999年6月),14页的页面
TR523
有效检测分布式系统使用的全局属性偏序的方法斯科特•d .短距起落Leena Unnikrishnan和竞争a·刘(1999年6月),26页页(2000年7月修订)
TR522
规范化的多层次Zachman框架理查德·马丁和爱德华·l·罗伯逊(1999年4月),25页的页面
TR521
领导人选举中异步分布式系统,斯科特·d·短距起落(1999年1月),4页的页面
TR520
减少自动验证的身份验证协议,斯科特·d·短距起落(1998年12月),22页页(修订后的1999年4月)
TR519
c++模板部分评估托德·l·Veldhuizen(1998年11月),6页页(2000年7月修订)
TR518
四元数高斯地图和最优曲线和表面的构架安德鲁·j·汉森(1998年10月),62页的页面
TR517
在递归数据消除死代码刘,竞争和斯科特·d·短距起落(1998年10月),15页的页面
TR516
一比特数之间的独特和粘性大卫·j·罗斯和David s .明智的(1998年7月),8页页[Proc。Intl。计算机协会。在内存管理(ISMM ' 98) SIGPLAN。71年,3(1999年3月),49-56。)
TR515
Message-Efficient统一安排可靠的广播,于马和斯科特·d·短距起落(1998年9月),14页的页面
TR514
通过静态Incrementalization动态规划刘,竞争和斯科特·d·短距起落(1998年9月),16页的页面
TR513
Anti-Correlation数字半色调Gusev Dmitri a(1998年8月),87页的页面
TR512
高效的计算通过增量计算竞争a·刘(1998年7月),16页的页面
TR511
线性系统分析仪r .绿色大苹果,d .甘农t . Stuckey j . Villacis e . Akman j . Balasubramanian f . Breg睡椅和m . Govindaraju(1998年6月),12页的页面
TR510
硬件验证使用Coinductive断言Paul s .矿业公司(1998年六月),138页页[博士。论文)
TR509
自动化的分布式系统符号定时分析斯科特·d·短距起落,Leena Unnikrishnan(1998年5月),14页页(修改:1999年8月)
TR508
高级语言的自动准确的有时限的分析刘,竞争和古斯塔沃·戈麦斯(1998年4月),17页的页面
TR507
一个文件的同步器是什么?、美国Balasubramaniam和本杰明·c·皮尔斯(1998年4月),21页的页面
TR506
证明有限资源自动化分析对手的身份验证协议13,斯科特·d·短距起落(1998年3月),页页
TR505
非线性放大,t·阿兰Keahey(1998年2月),196页页[博士。论文)
TR504
有效的符号检测的分布式系统的全局属性刘,斯科特·d·短距起落和竞争a(1998年2月),13页的页面
TR503
比较确定的常规语法树的算法长,拜伦(1998年2月),9页的页面
TR502
析构函数类型马丁·霍夫曼和本杰明·c·皮尔斯(1998年2月),32页的页面
TR501
循环利用隐式并行性在Java中使用多个多线程服务器费边Breg,阿尔特Bik和丹尼斯•甘农(1997年12月),27页的页面
TR500
编译器支持使用NexusJava RMI实现,费边Breg和丹尼斯•甘农(1997年12月),20页的页面
TR499
教学经验分析方法编程语言5,克里斯托弗·t·海恩斯(1997年12月),页页
TR498
死代码消除使用方案正则语法树刘,竞争和斯科特·d·短距起落(1997年11月),16页页[注:TR 517(1998年10月)是一种替代TR498更新。)
TR497
多级专业化相对绑定印第安纳大学的马克•里昂,李雷竞技官方网站下载彼得,卡内基梅隆大学(1997年11月),7页的页面
TR496
到达基于FPGA的硬件Unix-Encription使用迭代合作设计方法,Ingo Cyliax和史蒂文约翰逊,印第安纳大学和Bhaskar雷竞技官方网站下载 Bose派生系统,Inc .(1997年10月),15页的页面
TR495
当地的类型参数合成与有限的量化印第安纳大学,本杰明·c·皮尔斯和大卫·n·雷竞技官方网站下载特纳,一个Teallach有限的技术转让Ctr,爱丁堡,英国(1997年11月),13页的页面
TR494
遗传算法使用循环重新配置硬件控制器的机器人史蒂夫·戴尔·约翰逊,加里·b·帕克Ingo Cyliax和大卫·布劳恩(1997年10月),15页的页面
TR493
当地的类型推断印第安纳大学,本杰明·c·皮尔斯和大卫·n·雷竞技官方网站下载特纳,一个Teallach有限的技术转让Ctr,爱丁堡,英国(1997年11月),25页的页面
TR492
有界的量化与底本杰明·c·皮尔斯(1997年11月),21页的页面
TR491
类型检查和推理丹尼尔·p·弗里德曼,米切尔魔杖和克里斯托弗·海恩斯(1997年9月),46页的页面
TR490
发电机:编译器动态程序架构优化马克·里昂和r·肯特Dybvig(1997年9月),17页的页面
TR489
Javab——一个原型字节码并行化的工具、阿尔特·卡拉J.C. Bik和丹尼斯·b·甘农(1997年7月),52页的页面
TR488
消除死在递归数据计算竞争a·刘(1997年7月),21页的页面
TR487
Javar——重组一个原型的Java编译器、阿尔特·卡拉J.C. Bik和丹尼斯·b·甘农(1997年7月),42页的页面
TR486
浮点累加CG-Like方法的准确性,Etsuko Mizukami(1997年7月),60页页(硕士论文)
TR485
表格语言系统设计史蒂夫·戴尔·约翰逊(1997年6月),29页的页面
TR484
快速和有效的程序内联,奥斯卡Waddell和r·肯特Dybvig(1997年6月),18页的页面
TR483
在Java本机一级布拉斯特区、阿尔特·卡拉J.C. Bik和丹尼斯·b·甘农(1997年5月),13页的页面
TR482
检测全局谓词在分布式系统时钟斯科特·d·短距起落(1997年5月),15页的页面
TR481
领导人选举在分布式系统崩溃失败,斯科特·d·短距起落(1997年4月),15页的页面
TR480
CE: Classifier-Estimator数据挖掘的框架穆罕默德·m·Dalkilic,爱德华·l·罗伯逊Dirk Van古赫特(1997年5月),13页的页面
TR479
限制3 d导航与2 d控制器安德鲁·j·汉森和埃里克Wernert(1997年3月),9页的页面
TR478
非线性放大领域,t·阿兰Keahey和爱德华·l·罗伯逊(1997年3月),12页的页面
TR477
循环优化聚合计算数组刘,竞争和斯科特·d·短距起落(1997年3月),20页的页面
TR476
皮克特人:基于并行计算的一种编程语言本杰明·c·皮尔斯和大卫·n·特纳(1997年3月),26页的页面
TR475
当然喽:CORBA的并行方法、Katarzyna Keahey和丹尼斯•甘农(1997年2月),16页的页面
TR474
在多代理系统演进的沟通9,克里斯托瓦尔Baray(1997年1月),页页
TR473
在多路自动利用隐式并行性递归方法在Java中、阿尔特·卡拉J.C. Bik和丹尼斯·b·甘农(1997年1月),24页的页面
TR472
证明没有字:毕达哥拉斯的泛化David s .明智(1996年12月),1页页[数学。杂志。71年,1(1998年2月),64。新标题,没有证据的话:Appolonius平行四边形定理)
TR471
一个新的模型来解决数据分布问题汤姆,厕所(1996年12月),142页页[博士。论文)
TR470
支持面向对象的方式来表述数据并行处理数据管理科学和工程模拟雅各布·k·Gotwals(1996年8月),169页页[博士。论文)
TR469
编译:高层介绍使用方案5,克里斯托弗·t·海恩斯(1996年10月),页页
TR468
π演算多态行为等价印第安纳大学,本杰明·c·皮尔斯和大卫。Sa雷竞技官方网站下载ngiorgi, INRIA-Sophia Antipolis(1996年10月),28页的页面
TR467
一个平行的交互模型对象在异构分布式环境中Katarzyna Keahey(1996年9月),13页的页面
TR466
实验通过信息素轨迹的模拟机器人路径优化8,杰森·l·阿尔米特(1996年9月),页页
TR465
在Java程序中循环利用隐式并行性的策略、阿尔特·卡拉J.C. Bik和丹尼斯·b·甘农(1996年9月),14页的页面
TR464
把它放在上下文:句法理论的增量项目建设,Shinn-Der李(1996年六月),194页页[博士。论文)
TR463
重塑改善数据本地化的访问模式、阿尔特·卡拉J.C. Bik和彼得M.W. Knijnenburg(1996年9月),13页的页面
TR462
内省学习案例规划苏珊·福克斯(1996年5月)254页页[博士。论文)
TR461
集体对象:面向对象的集体行动在分布式并行计算的工具、Katarzyna Keahey和丹尼斯•甘农(1996年5月),12页的页面
TR460
非线性图像放大,t·阿兰Keahey和爱德华·l·罗伯逊(1996年4月),11页的页面
TR459
查看文本与非线性放大:一个实验研究,t·阿兰Keahey和朱丽安·马利(1996年4月),页9页
TR458
混合数字半色调算法和医学成像的应用程序,尤金·a·桑德勒,Dmitri a·卡西和格里高利·y米尔曼(1996年4月),13页的页面
TR457
顺序系统的分解,刊登着早期(1996年4月),104页页[博士。论文)
TR456
DDD / FM9001——推导验证微处理器,Bhaskar Bose(1996年4月),165页页[博士。论文)
TR455
非线性放大转换的技术,t·阿兰Keahey和爱德华·l·罗伯逊(1996年3月),18页的页面
TR454
SPLIB:图书馆的稀疏线性系统的迭代方法王,兰德尔·布和优势(1996年2月),25页的页面
TR453
用户指南CADYF-SPLIB项目王,优势和兰德尔绿色大苹果(1996年2月),62页的页面
TR452
为量化查询提供更好的支持Sudhir g . Rao,安东尼奥十二月,和德克·范·古特(1996年2月),14页页(修订后的1996年5月):
TR451
设计和实现的反射SQL穆罕默德·m·Dalkilic Manoj Jain,德克·范·古特和Anurag Mendhekar(1996年2月),14页的页面
TR450
曲线和表面科学可视化框架和领域相关的导航、回马(1996年2月),120页页[博士。论文)
TR449
平方阻塞矩阵乘法David s .明智和杰里米·d·友人(1996年1月),13页页[Proc。1997美国电脑。在并行编程的原理和实践,SIGPLAN。32岁,7(1997年7月),页206 - 216。)
TR448
在一阶二维线性齐次部分差分方程Gusev, g·尼尔和Dmitri a(1996年1月),7页的页面
TR447
Delta-Sigma-Modulated序列的统计特性尤金·a·桑德勒,Dmitri a·卡格里高利y米尔曼,和米哈伊尔·l·Podolsky(1996年1月),7页页(修订1996年9月,和标题改为:估计的输出采样过量Delta-Sigma调制)
TR446
低秩对角块预调节器并行计算机上求解稀疏线性系统,兰德尔·布和弗拉基米尔Menkov(1996年1月),37页的页面
TR445
并行的体系结构基于符号处理暂停施工埃里克·r·Jeschke(1995年11月),152页页[博士。论文)
TR444
Corecursion的基础,劳伦斯·莫斯和诺曼·丹纳(1995年11月),21页的页面
TR443
与单传感器连续视网膜:图像处理领域人工神经网络6,乔纳森·w·米尔斯(1995年11月),页页
TR442
轻量级的数据并行处理的对象模板抽象,Neelakantan和丹尼斯转向开始涉足甘农(1995年9月),25页的页面
TR441
可编程集成电路扩展为回旋加速器光束控制模拟计算机乔纳森•米尔斯(1995年9月),9页的页面
TR440
必要且充分的象征性的条件不完整的柯列斯基分解的存在王,优势和兰德尔绿色大苹果,印第安纳大学和凯尔·a·Gallivan伊雷竞技官方网站下载利诺伊大学香槟分校(1995年8月),12页的页面
TR438
感知时间阶段:向一个Adaptive-Oscillator模型的节奏模式处理戴文McAuley j .,(1995年7月),128页页[博士。论文)
TR437
静态和动态分区的指针链接和线程David s .明智和约书亚Walgenbach(1995年10月),9页(Proc。1996页ACM SIGPLAN Intl。Conf.函数式编程,SIGPLAN。31日6(1996年6月),42-49。)
TR436
一个统一的数据模型为关系数据和元数据查询处理Manoj Jain, Anurag Mendhekar和德克·范·古特(1995年7月),25页的页面
TR435
大学研究生院试点项目在电子应用程序——最终报告Eric Jeschke(1995年5月),19页的页面
TR434
一个双行程实际的图像合成方法对于复杂场景,库尔特·齐默尔曼和彼得雪莉(1995年5月),20页的页面
TR433
矩阵求逆在高飞使用四叉树实现杰里米•d, David s .明智的(1995年5月),73页的页面
TR432
电路图的规范形式凯瑟琳Fisler(1995年5月),20页的页面
TR431
实验评价棕:系统控制和数据并行性,Neelakantan和丹尼斯转向开始涉足甘农(1995年5月),13页的页面
TR430
椰壳:一个线程模型支持面向对象的并行任务和数据并行语言,Neelakantan和丹尼斯转向开始涉足甘农(1995年5月),19页的页面
TR429
迭代方法快速光能传递解决方案Gladimir诉Guimaraes Baranoski,兰德尔绿色大苹果和彼得雪莉(1995年4月),37页的页面
TR428
处理查询包含广义量词Sudhir Rao,安东尼奥十二月,和德克·范·古特(1995年4月),16页的页面
TR427
基于约束的动态解释语法形式,劳伦斯·莫斯和大卫·e·约翰逊(1995年3月),19页的页面
TR426
Ill-typed诊断程序是,Venkatesh Choppella和克里斯托弗·t·海恩斯(1995年2月),10页的页面
TR425
平行移动曲线构造方法马,安德鲁·j·汉森和回族(1995年2月),20页的页面
TR424
并行动态规划菲利普·g·布拉德福德(1994年12月),135页页[博士。论文)
TR423
面向对象的并行程序执行在高性能模拟器,苏雷什斯和丹尼斯•甘农(1995年1月),16页(1/2间距)页(注意:这个TR在3/17/95放在目录。)
TR422a
pC + + /流:图书馆对复杂分布式I / O数据结构雅各布•Gotwals Suresh斯和丹尼斯•甘农(1995年1月),10页的页面
TR422b
参考TR422a技术报告雅各布•Gotwals Suresh斯和丹尼斯•甘农(1995年1月),12页(1/2间距)页面
TR421
从用户角度并行I / O雅各布•Gotwals Suresh斯和谢尔比杨(1995年1月),9页(2列,IEEE格式)页(95年出现在前沿:大规模并行计算的前沿研讨会上,麦克莱恩,弗吉尼亚,1995年2月6-9th]
TR420
测序在模块化山顶的异步控制弗兰克·普罗塞,大卫·温克尔和埃里克Brunvand(1994年10月),38页页(标题改为:比较模块化山顶的设计风格。修订和标题改变,1995年3月)
TR419
拓扑的逻辑推理和知识安德鲁•Dabrowski劳伦斯苔藓和罗希特•帕里克说(1994年10月)43页的页面
TR418
Undulant-Block旋转和Integer-Preserving矩阵求逆David s .明智(1994年10月),70页页(修订1995年8月新标题:Undulant-Block消除和Integer-Preserving矩阵求逆。出现在科学。第一版。程序。,33卷,1号,1999年1月,29 - 85。]
TR417
一些调查与激光束LLA视网膜塔,日本琵琶(1994年8月),67页
TR416
一个合乎逻辑的形式化的硬件设计图(1994年9月),凯瑟琳Fisler 28页页(出现在Diagramamtic推理,由杰拉德Allwein编辑和乔恩·巴韦斯。)
TR415
视听传播的数据的数据模型,Munish甘地和爱德华·l·罗伯逊(1994年8月),25页的页面
TR414
Stiquito二世和Tensipede:两个易于构建Nitinol-Propelled机器人j·w·米尔斯(1994年8月),页
TR413
该计划机罗伯特·g .汉堡(1994年8月),59页的页面
TR412a
艾米莉:大型稀疏矩阵的可视化工具,r .绿色大苹果和t .厕所(1994年7月),32页没有屏幕截图(彩色幻灯片)页(官方版)
TR412b
艾米莉:大型稀疏矩阵的可视化工具,r .绿色大苹果和t .厕所(1994年7月),32页5页截图(彩色幻灯片)页面
TR411
笔记上的自适应正交半球赵,雪莉和k(1994年7月),6页的页面
TR410a
模拟测试板:设计和操作(包括附录),R.A. Montante(1994年8月),107页的页面
TR410b
模拟测试板:设计和操作(没有附录),R.A. Montante(1994年8月),45页的页面
TR410c
模拟测试板:设计和操作(附录),R.A. Montante(1994年8月),63页的页面
TR409
延续在硬件软件合作设计先生,女猎手金枪鱼,史蒂文·d·约翰逊和罗伯特·g .汉堡(1994年7月),7页的页面
TR408
分布式数据结构可视化,苏雷什斯和丹尼斯•甘农(1994年7月),16页(1/2间距,6页的颜色)页面(修订后的1995年1月。95年出现在前沿:研讨会上大规模并行计算的前沿,弗吉尼亚州麦克林1995年2月6-9th。)
TR407
四元数Frenet帧:让最优管和丝带从曲线安德鲁·j·汉森(1994年6月),9页的页面
TR406
n维图形的旋转13,安德鲁·j·汉森(1994年6月),页页
TR405
正式设计的交互系统容错时钟同步电路的发展保罗·s .矿工Shyamsundar Pullela和史蒂芬·d·约翰逊(1994年5月),19页的页面
TR404
夷为平地实体关系模型Munish甘地,爱德华·l·罗伯逊和德克·范·古特(1994年5月),38页的页面
TR403
管线式图形交互式渲染复杂的3 d模型架构保罗后来马舍尔(1994年5月),44页的页面
TR402
分析数据结构运动消息传递程序Sekhar r Sarukkai雅各k Gotwals(1994年3月),25页的页面
TR401
处理器性能的引用计数堆硬件大卫·s .明智的布莱恩见鬼,迦勒赫斯,威利亨特和埃里克Ost(1994年5月),30页页(Lisp Symb。第一版。10、2(1997年7月),页159 - 181。)
TR400
不要停止BIBOP:灵活和高效的存储管理的动态语言,r·肯特Dybvig大卫Eby和卡尔·布莱格曼(1994年3月),17页的页面
TR399
图灵测试的规范化菲利普·g·布拉德福德和迈克尔Wollowski(1994年2月),16页的页面
TR398
规范和有界间接合成上刊登Rath, M。女猎手金枪鱼和史蒂芬·d·约翰逊(1995年2月),15页的页面
TR397
保持动态:深、浅和平行,克里斯·海恩斯和理查德·索尔特(1995年2月),16页的页面
TR396
求解线性最小二乘意义上的不平等,r .绿色大苹果和b Winnicka(1994年1月),30页的页面
TR395
基于列表的复杂对象查询语言拉莎·科尔比,劳伦斯诉萨克斯顿和德克·范·古特(1993年12月),33页页(修订后的1994年5月)
TR394
不完整的柯列斯基分解稀疏模式修改优势,王,凯尔Gallivan和兰德尔绿色大苹果(1993年12月),38页的页面
TR393
CIMGS:一个不完整的正交分解预调节器王优势,凯尔Gallivan兰德尔绿色大苹果(1993年12月),27页的页面
TR392
介绍行为表刊登Rath, m .女猎手金枪鱼和史蒂芬·d·约翰逊(1993年12月),21页的页面
TR391
在下界矩阵链排序问题菲利普·g·布拉德福德,Venkatesh Choppell和格里高利·j·e·罗林斯(1993年10月),33页的页面
TR390
连续Prolog动态统计,Ignacio celi和乔纳森·w·米尔斯(1993年8月),15页的页面
TR389
行为表:表示和转换系统合成的基础刊登Rath, m .女猎手金枪鱼和史蒂芬·d·约翰逊(1993年8月),6页的页面
TR388
高阶逻辑丹尼尔Leivant(1993年8月),94页的页面
TR387
回溯和探索,保罗·w·Purdom和g·尼尔(1993年8月),45页的页面
TR386
合作设计的系统分解:一个案例研究使用的正式技术来实现硬件软件分解Bhaskar Bose, m .女猎手金枪鱼和史蒂芬·d·约翰逊(1993年6月),5页的页面
TR385
推导DRAM内存接口的顺序分解上刊登Rath, Bhaskar Bose和史蒂芬·d·约翰逊(1993年6月),5页页
TR384
学习单词:向模块化联结主义的收购接受形态,迈克尔夸夸其谈的人(1993年6月),60页的页面
TR383
交互硬件转换的一个例子,郑朱和史蒂芬·d·约翰逊(1993年5月),18页的页面
TR382
学习名词和形容词的含义:一个联结主义帐户,迈克尔天然气井和琳达·b·史密斯(1993年5月),23页的页面
TR381
非传统的数据模型框架,拉莎科尔比。查询语言和统一(1993年5月),页(博士论文)
TR380
DDD-FM9001:推导验证微处理器,Bhaskar Bose和史蒂芬·d·约翰逊(1993年5月),12页的页面
TR379
基准为时态数据库查询帕特里克p Kalua和爱德华·l·罗伯逊(1993年3月),40页的页面
TR378
Lukasiewicz的昆虫:连续值逻辑的角色在移动机器人的传感器、控制、和运动6,乔纳森·w·米尔斯(1993年3月),页页
TR377
测量信息容量超大规模集成模拟逻辑电路罗伯特·Montante和乔纳森·w·米尔斯(1993年3月),15页页(修订新的标题:在任意大概率误差修正Lukasiewicz逻辑阵列(1993年4月)
TR376
实现面向图形的查询语言:IUGQL维贾伊·m·Sarathy和德克·范·古特(1993年3月),45页的页面
TR375
依据协议规范和流程分解,刊登Rath和史蒂文·d·约翰逊(1993年3月),23页页(1993年6月修订)
TR374
通用查询关系查询语言劳伦斯诉萨克斯顿,德克·范·古特和Munish甘地(1993年3月),20页的页面
TR373
自动合成顺序同步,郑朱和史蒂芬·d·约翰逊(1993年2月),18页的页面
TR372
将布尔值验证与正式的推导,Bhaskar Bose,史蒂文·d·约翰逊,Shyamsundar Pullela(1993年2月),10页的页面
TR371
学习感知和生产节奏模式在一个人工神经网络戴文McAuley j .,(1993年2月),26页的页面
TR370
预测遗传算法收敛时间Sushil j·路易斯和格里高利·j·e·罗林斯(1993年1月),20页的页面
TR369
矩阵链在Polylog订购时间和n / lgn处理器菲利普·g·布拉德福德,格雷戈里·j·e·罗林斯和格里高利·e·香农(1992年12月),20页的页面
TR368
基于一个对象的代数并行查询处理和优化维贾伊·m·Sarathy劳伦斯诉萨克斯顿,德克·范·古特(1992年12月),20页的页面
TR367
推断:静态类型方言的计划(初步教程和文档)克里斯托弗·t·海恩斯(1992年10月),40页的页面
TR366
反射系统可扩展作为其内部表示:一个例证约翰·w·西蒙斯II和丹尼尔·p·弗里德曼(1992年10月),17页的页面
TR365
准静态范围:共享变量绑定多个词法作用域,Shinn-Der李和丹尼尔·p·弗里德曼(1992年10月),14页的页面
TR364
一个简单的反射翻译斯坦利·杰斐逊和丹尼尔·p·弗里德曼(1992年9月),11页的页面
TR363a
Stiquito:小、简单、廉价的昆虫机器人乔纳森•w•米尔斯(1992年9月),48页页(为进一步的信息关于363 a, b和c,看到STIQUITO。信息文件:/ u / ftp / pub / techreports / STIQUITO.INFO]
TR363b
Stiquito通用控制器,乔纳森·w·米尔斯(1992年9月),页
TR363c
6腿自主机器人的仿真在愿景指引下,乔纳森·w·米尔斯(1992年9月),页
TR362
通过一流的翻译语言扩展约翰·w·西蒙斯II,斯坦利·杰佛逊和丹尼尔·p·弗里德曼(1992年9月),22页的页面
TR361
CBR辅助遗传算法结果的解释官员Sushil路易,Gary McGraw和理查德Wyckoff称(1992年8月),25页的页面
TR360
停止与复制,一比特的引用计数David s .明智的(1992年7月),14页页(Inf。过程。列托人。46岁(1993年7月5日),243 - 249。)
TR359
使用目标和经验来指导绑架33,大卫Leake(1992年7月),页页
TR358
四维三维标量场的观点安德鲁·汉森& Pheng恒(1992年7月),8页的页面
TR357
矩阵算法使用四叉树David s .明智(1992年6月),16页页(g·海恩和l·m·r·穆林(eds) atable - 92,第二Intl。研讨会阵列结构。出版。841年,部门d 'Informatique et de矫揉造作的Operationnelle,蒙特利尔大学(1992年11月)。)
TR356
写健康的宏与Syntax-case方案r·肯特郡Dybvig(1992年6月),31页页(修订7/3/92)
TR355
抽象语法在Scheme中罗伯特•Hieb r·肯特Dybvig和卡尔·布莱格曼(1992年6月),18页页(修订7/3/92)
TR354
一个应用文件系统的一个实现布莱恩·c·赫克和David s .明智(1992年6月),16页页[y Bekkers和j·科恩(eds)、内存管理。课堂讲稿在Comp。科学。)
TR353
平均时间为纯文字规则保罗•w•Purdom(1992年5月),16页的页面
TR352
有效的并行动态规划菲利普·布拉德福德(1994年10月),33页页(修订)
TR351
基于规则的程序为高性能并行处理机系统重组劳伦斯·j·坦尼(1992年4月),153页页[博士。论文)
TR350
一流的区段重瓣。Lee & d·p·弗里德曼(1992年3月),45页页(1992年8月修订)
TR349
合并交互式、模块化和面向对象编程,Sho-Huan西蒙东(1992年3月),143页页[博士。论文)
TR348
描述Paralation模型使用动态分配e . Freeman & d·p·弗里德曼(1992年3月),14页的页面
TR347
一个代数面向列表的应用程序,拉莎·科尔比(1992年2月),84页的页面
TR346
对泄漏容器j . Lawall & d·p·弗里德曼(1992年2月),11页的页面
TR345
修改后的报告顺序控制的句法理论和状态马蒂亚斯•类和罗伯特Hieb(1992年2月),34页的页面
TR344
基于规范数据模型,Munish甘地和爱德华·l·罗伯逊(1992年1月),页33页
TR343
灯具在分布抽样射线跟踪彼得,雪莉和Chang偏航王(1992年1月),页
TR342
查询图翻译成好代数表达式。维贾伊·m·Sarathy劳伦斯诉萨克斯顿和德克·范·古特(1991年12月),页
TR341
修正后的算法语言报告计划,威廉·克林杰和乔纳森·里斯(编辑,还有16人)(1991年11月),页
TR340
新的出版:技术对出版业的影响在未来十年格雷戈里·j·e·罗林斯(1991年11月),68页的页面
TR339
Area-Efficient暗示电路非常密集Lukasiewicz逻辑数组乔纳森•w•米尔斯(1991年11月),页
TR338
WAM模板架构乔纳森•w•米尔斯(1991年10月),页
TR337
基于规则的数据依赖分析拉里•坦尼(1991年10月),页
TR336
Rap-Master网络:探索时间与复发性网络模式识别Gary McGraw, Robert Montante & David Chalmers(1991年9月),页
TR335
新的分治技术寻找不相交的路径方,广域网(1991年9月),页
TR334
学习感知并产生词汇联结主义网络Chan-Do李(1991年9月),页(博士论文)
TR333
使用几何和光可视化第四维。安德鲁·j·汉森和Pheng a恒(1991年7月),页
TR332
探索符号/ Subsymbolic连续:RAAM的案例研究道格拉斯·s .空白和丽莎a Meeden和詹姆斯·b·马歇尔(1991年7月),34页的页面
TR331
DDD -数字转换系统设计推导Bhaskar Bose(1991年5月),80页+附录页
TR330
图算法在一个懒惰的函数式编程语言、南斯拉夫牌汽车Kashiwagi和David s .明智的(1991年4月),12个后卫。页(Proc。4日Intl。计算机协会。在清醒与内涵的编程,门洛帕克,CA: SRI Intl。(1991年4月),35-46。)
TR329
Nonminimax传播Moku郑大世Chan Kim和保罗·w·Purdom小(1991年4月),页
TR328
块旋转和(L + U), D '分解David s .明智(1991年3月),页
TR327
采用面向图形对象数据库模型Marc Gyssens, Jan Paredaens Jan Van den Bussche和德克·范·古特。(1991年3月),页
TR326
使用遗传算法来设计结构Sushil j·路易斯和格里高利·j·e·罗林斯(1991年2月),页
TR325
数据并行计算机系统的本地化Mann-Ho李(1991年2月),页(博士论文)
TR324
哈维尔的静态指标四叉树表示,波音稀疏矩阵集合,彼得·h·贝克曼(1991年1月),页
TR323
DDD,机械化系统数字化设计推导史蒂夫·戴尔·约翰逊和Bhaskar Bose(1990年12月),36页的页面
TR322
非单调关系查询的优化,劳伦斯诉萨克斯顿和德克·范·古特(1990年12月),页
TR321
RTBA:通用位片总线架构的数据路径合成上刊登Rath Ignacio celi,罗伯特·m·Wehrmeister和史蒂芬·d·约翰逊(1990年12月),38页的页面
TR320
隐函数的建模任意变形形状安德鲁·j·汉森。(1990年11月),页
TR318
可视化和性能预测并行超级计算机程序:一个中期报告,Sekhar, Sarukkai(1990年11月),页
TR317
在硬件描述一个代数框架数据抽象,郑朱和史蒂芬·d·约翰逊(1990年11月),页
TR316
Linear-Processor DNC算法PlanarGraphs Sub-linear分隔符格雷戈里·e·香农(1990年10月),页
TR315
联结主义逻辑编程乔纳森•w•米尔斯(1990年10月),页
TR314
并行遗传算法应用于旅行商问题,Prasanna慢跑,荣格y Suh和德克·范·古特(1990年8月),页
TR313
模拟VLSI阵列处理机古典和联结主义的人工智能乔纳森·w·米尔斯和查尔斯·a·Daffinger(1990年7月),页
TR312
CMOS VLSI Lukasiewicz逻辑数组乔纳森·w·米尔斯和查尔斯·a·Daffinger(1990年7月),页
TR311
平均时间顺序回溯分析条款小,哈立德Bugrara和保罗·w·Purdom(1990年7月),页
TR310
表示和识别的模式罗伯特•端口(1990年6月),页
TR309
在PlanarGraphs近似小分隔符:权衡,处理器和分离器的尺寸方,格雷戈里·e·香农和广域网(1990年6月),页
TR308
Linear-processor算法寻找小周期无向PlanarGraphs分隔符方湾(1990年5月),页
TR307
网络和Morphophonemic规则重新审视,迈克尔天然气井和Chan-Do李(1990年3月),页
TR306
Linear-Processor数控算法平面指示图2:直接生成树贸易部拷,格雷戈里·e·香农(1990年3月),页
TR305
向系统互动的模块化编程,Sho-Huan西蒙东和r·肯特Dybvig(1990年2月),页
TR304
绩效评估和预测BBN GP1000并行算法弗朗索瓦·博丹,丹尼尔Windheiser威廉•Jalby亚都Atapattu, Mannho李和丹尼斯•甘农(1990年2月),页
TR303
Semantics-Directed编制非线性模式,奥利弗Danvy(1990年2月),页
TR302
Destination-Driven代码生成罗伯特•Hieb r·肯特Dybvig和汤姆·巴特勒(1990年2月),页
TR301
一种新的手术方法与变量参数数量r·肯特Dybvig和罗伯特·Hieb(1990年1月),页
TR300
网络学习语音,迈克尔天然气井和Chan-Do李(1989年12月),页
TR299
图形视图文档,Bjarni Birgisson和格雷戈里·e·香农(1989年12月),页
TR298
可见性、头骨和内核在凸性空间,斯文Schuierer,格雷戈里·j·e·罗林斯和德里克木材(1989年12月),页
TR297
架构支持延迟专业化的逻辑程序乔纳森•w•米尔斯(1989年12月),页
TR296
和查尔斯·a·Daffinger Lukasiewicz逻辑数组乔纳森·w·米尔斯,m·戈登海狸(1989年11月),页
TR295
GraphView一样:一个可扩展的交互式平台操作和显示图表,Bjarni Birgisson和格雷戈里·e·香农(1989年12月),页
TR294
消除不变量可以提高平均情况下的性能可满足性算法约翰·弗朗哥(1989年10月),页
TR293
基于延续为逻辑编程控制操作符理查德·m·索尔特和克里斯托弗·t·海恩斯(1989年10月),页
TR292
Prolog语义以一流的延续和动态数据库克里斯托弗·t·海恩斯和理查德·m·索尔特(1989年10月),页
TR291
在随机零条款的发生可满足性的实例约翰·弗朗哥(1989年10月),页
TR290
推导的SECD机:经验转换的方法来合成罗伯特·m·Wehrmeister(1989年9月),页
TR289
一个数字系统设计推导史蒂夫·戴尔·约翰逊和Bhaskar Bose(1989年8月),页
TR288
黛西,DSI和跛行:问题架构暂停施工史蒂夫·戴尔·约翰逊(1989年8月),页
TR287
在安达处理查询:一个嵌套关系数据库系统乔斯的e·a·布莱克利正在和阿南德Deshpande(1989年8月),页
TR286
黛西是如何懒惰史蒂夫·戴尔·约翰逊(1989年8月),页
TR285
扩展分布式遗传算法解决问题:滑块的难题李,荣格尤尔•Suh和陈(1989年7月),页
TR284
管线式架构的逻辑编程复杂但单周期指令集乔纳森•w•米尔斯(1989年7月),页
TR283
在合成和验证的相互作用:实验与FM8501处理器描述史蒂夫·戴尔·约翰逊,罗伯特·m·Wehrmeister和Bhaskar Bose(1989年7月),页
TR282
语法模型数据库,拉莎·科尔比和德克·范·古特(1989年6月),页
TR281
嵌套关系数据库的实现,Anand Deshpande(1989年6月),页(博士论文)
TR280
加入索引、物化视图和Hybrid-Hash加入:性能分析,乔斯·a·布莱克利正在和南希·l·马丁(1989年6月),页
TR279
操作逻辑组织系统分解史蒂夫·戴尔·约翰逊(1989年6月),页
TR278
概率分析停留在测试生成算法的塑料约翰·弗兰科和库尔特Keutzer(1989年5月),页
TR277
建立分析模型为一个交互式性能预测工具,亚都Atapattu和丹尼斯•甘农(1989年5月),页
TR276
嵌入的自我语言计划茱莉亚•l . Lawall和丹尼尔·p·弗里德曼(1989年5月),页(BIGRE公报中出现的特殊问题上“将Scheme语言工作”)
TR275
强大的词汇选择解析和生成,迈克尔夸夸其谈的人(1989年4月),页
TR274
使用数字设计推导系统:案例研究的一个垃圾收集器VLSI实现c·戴维·波伊尔和史蒂芬·d·约翰逊(1989年4月),页
TR273
凸性空间的分解定理格雷戈里·j·e·罗林斯和德里克木材(1989年2月),页
TR272
Restricted-Oriented凸集格雷戈里·j·e·罗林斯和德里克木材(1989年2月),页
TR271
推理超级计算乔纳森·w·米尔斯,m . Burroughs r . Wehrmeister和d·温克尔(1989年2月),页
TR270
回溯法和随机约束的满意度保罗•w•Purdom(1989年2月),页
TR269
文学编程的一个结构化的方法,Sho-Huan东(1989年1月),页
TR268
对设施的词法作用域,Scheme系统中动态相互递归约翰·弗朗哥和丹尼尔·p·弗里德曼(1989年1月),页
TR267
物化视图维护多个查询优化赫克托耳,乔斯·a·布莱克利正在和埃尔南德斯(1989年1月),页
TR266
计算偏序集和偏序集的偏序集的结构g·j·e·罗林斯和约瑟夫卡尔伯森通过(1988年12月),页
TR265
时间信息和记忆在联结主义网络罗伯特•港口斯文安德森和约翰·w·l·美林(1988年10月),页(绝版- TR 310取代TR 265)
TR264
并行深度优先搜索一般有向图阿洛克Aggarwal,理查德·j·安德森和明y花王(1988年9月),页
TR263
必须多路流约翰·佛朗哥丹尼尔·p·弗里德曼和史蒂芬·d·约翰逊(1988年9月),页(1988年12月修订)
TR262
编译和执行有效定理的逻辑程序乔纳森•w•米尔斯(1988年9月),页
TR261
使用AMD的2901/2909作为一个专门的浮点加法器乔纳森•w•米尔斯(1988年9月),页
TR260
散列的分析与懒惰的删除,佩德罗celi和约翰·佛朗哥(1988年8月),页
TR259
一个递归嵌套关系代数,拉莎·科尔比(1988年8月),页
TR258
动态语言分类与复发性网络美林和罗伯特·安德森,斯文,约翰·w·l·端口(1988年8月),页
TR257
UPSL用户手册,拉里·坦尼(1988年7月),页
TR256
延续和并发性r·肯特Dybvig和罗伯特·Hieb(1988年7月),页
TR255
有效的泄漏检测信息交叉制表表:线性不变条件测试,“花王和丹Gusfield(1988年7月),页
TR254
引擎的延续r·肯特Dybvig和罗伯特·Hieb(1988年7月),页
TR253
建模晶体管合用地史蒂夫·戴尔·约翰逊和c·大卫·波伊尔(1988年6月),页
TR252
警报器的源代码:音节的联结主义模型识别埃里希·j·Smythe(1988年6月),页
TR251
时间计算在联结主义模型埃里希·j·Smythe(1988年6月),页(博士论文)
TR250
并行————首先搜索深度指示图阿洛克Aggarwal,理查德·j·安德森和明y花王(1988年5月),页
TR249
神经网络的联接配置约翰·w·l·美林和罗伯特·f·端口(1988年5月),页
TR248
摘要延续:数学语义处理完整功能的跳跃Matthias类,米切尔的魔杖,丹尼尔·p·弗里德曼和布鲁斯·f·杜巴(1988年5月),页
TR247
Variable-Arity程序界面r·肯特Dybvig和罗伯特·Hieb(1988年4月),页(301年修订后的版本是TR)
TR246
外部罗宾汉哈希佩德罗,附加评论(1988年3月),页
TR245
创建高效的程序交换数据的过程约翰·弗朗哥和丹尼尔·p·弗里德曼(1988年3月),页
TR244
所有图都有周期分隔符和深度优先搜索在DNC平面标识,“花王(1988年3月),页
TR243
嵌套关系数据库的实现Anand Deshpande和德克·范·古特(1988年2月),页
TR242
一个实际的统一算法保罗•w•Purdom(1988年2月),页
TR241
实验四树表示的矩阵Kamal Abdali和David s .明智(1988年2月),页[也出现在Proc。1988国际。Sym.象征性和代数计算)
TR240
自动更新物化视图:检测条件可计算的更新弗兰克·Wm。Tompa和乔斯本部a·布莱克利正在(1988年2月),页
TR239
搜索与不确定性,R.A. Baeza-Yates、J.C.卡尔伯森通过和G.J.E.罗林斯(1988年2月),页
TR238
比较成本的部分订单约瑟夫·c·卡尔伯森通过和格里高利·j·e·罗林斯(1988年1月),页
TR237
应用程序的延续丹尼尔·p·弗里德曼(1988年1月),页
TR236
一个新的随机神经网络的学习算法约翰·w·l·美林和罗伯特·f·端口(1987年11月),页
TR235
更新派生关系:自动检测无关的和可计算的更新,乔斯所a·布莱克利正在尼尔·科伯恩和Perke拉森(1987年11月),页
TR234
嵌套关系数据库的存储结构Anand Deshpande和德克·范·古特(1987年11月),页
TR233
Powerset操作符作为一个代数工具对于理解至少Fixpoint语义上下文中的嵌套关系Marc Gyssens和德克·范·古特(1987年10月),页
TR232
的VLSI实现应用程序的体系结构约翰·t . O ' donnell盖桥梁和西德尼·w·Kitchel(1987年10月),页
TR231
严格分析延迟构造函数列表的应用程序科迪莉亚诉厅(1987年10月),页(博士论文)
TR230
句法理论的连续状态,马提亚类和丹尼尔·p·弗里德曼(1987年10月),页[(修订后的1989年1月,)出现在理论计算机科学69年3日(1989年12月)243 - 287)
TR229
成本Non-dense矩阵的四叉树表示David s .明智和约翰·佛朗哥(1987年10月),页
TR228
缓存策略由全球和本地内存管理程序转换丹尼斯•甘农,威廉·Jalby和凯尔Gallivan(1987年9月),页
TR227
应用人工智能技术为并行计算机程序优化王,丹尼斯·甘农和Ko-Yang(1987年9月),页
TR226
Lambda-v-CS转换的结石:句法理论的控制和状态在命令式Higher-OrderProgramming语言马蒂亚斯•类(1987年8月),页(Ph值。硕士论文)
TR225
分布式遗传算法,荣格y Suh和德克VanGucht(1987年7月),页
TR224
一个软件构建的超级计算机应用程序的工具丹尼斯•甘农,亚都Atapattu,曼李和布鲁斯Shei(1987年8月),页(也在Proc.协会。并行计算和影响力学,86卷,81 - 94)
TR223
调试应用语言,j.t O ' donnell和简历(1987年6月),页
TR222
矩阵代数和应用编程d . s .明智的(1987年6月),页(出现在函数式编程语言和计算机体系结构,274年计算机科学课堂讲稿,柏林,施普林格(1987),134 - 153)
TR221
硬件设计的战术框架,s·d·约翰逊、b . Bose和c·d·波伊尔(1987年5月),页(也在超大规模集成规范,验证和合成,[学报1987年卡尔加里车间]Birtwistel和p . a . Subramanyam (eds)。Kluwer学术出版社,(1987),349 - 384)
TR220
动态标识符可以整洁b .杜巴,m .类和d·p·弗里德曼(1987年4月),页
TR219
硬件设计使用功能连接单元,d·温克尔。和c t·海恩斯(1987年4月),页
TR218
减少必要的高阶语言的语义,m .类和d·p·弗里德曼(1987年3月),页(《Conf.并行体系结构和语言上的欧洲,1987年6月,206 - 223)
TR217
解析语音段划分为音节g . Dorffner s . c . Kwasny罗伯特·f·端口(1987年3月),页
TR216
除了延续m类d·p·弗里德曼,b .杜巴和j .美林(1987年2月),页
TR215
一个语法的顺序控制理论m类d·p·弗里德曼,大肠Kohlbecker和b .杜巴(1987年1月),页(理论计算机科学52 (1987)205 - 237)
TR214
从何处寻找:感知模式的典范玛莎j·埃克斯特龙梅瑞迪斯(1987年1月),页(博士论文)
TR213
将延续嵌入程序对象,克里斯托弗·t·海恩斯和丹尼尔·p·弗里德曼(1987年1月),页(ACM反式。在食物上。系统。& Lang。9日,4日(1987年10月)582 - 598)
TR212
硬件描述与递归方程约翰·奥唐纳(1986年12月),页
TR211
复杂的认知信息处理:一个联结主义计算机体系结构实现,约翰Barnden(1986年12月),页
TR210
搜索重排回溯通常需要验证Unsatisfiability指数时间约翰·弗朗哥(1986年12月),页(修改:1987年4月,)
TR209
编译严格到流科迪莉亚诉大厅& David s .明智的(1986年12月),页
TR208
检测循环简化保罗•w•Purdom(1986年12月),页
TR207
一个指数下界的纯文字规则哈里德·Bugara &保罗·w·Purdom(1986年12月),页(北荷兰信息处理信件27日,(1988年4月)215 - 219))
TR206
从他们的规格Macro-by-Example:派生语法转换尤金·e·Kohlbecker和米切尔魔杖(1986年11月),页[Proc。1987年的ACM研讨会上编程语言的原则,(1987年1月)
TR205
最后Scheme-Word兰丁在听到J-Operator马蒂亚斯•类(1986年11月),页(也出现在《计算机语言,帕加马出版社,1987年,197年——207年,在新标题,“兰丁反思听到J-A部分历史上的注意。”)
TR204
使用CPU设计的朋友大卫·温克尔(1986年10月),页
TR203
平行的VLSI结构仿真和kg / MPP的组织约翰·t·奥唐纳(1986年10月),页
TR202
微积分作业的高阶语言马蒂亚斯•类和丹尼尔·p·弗里德曼(1986年10月),页(参看。第14届ACM的记录Sym.编程语言的原则,慕尼黑,w .德国(1987年1月),314 - 345)
TR201
递归循环,延长难题与解决方案马蒂亚斯•类(1986年10月),页
TR200
计算代谢,Marek w . Lugowski(1986年9月),页
TR199
在编程语言Lisp的语法扩展,尤金·e·Kohlbecker(1986年8月),页(Ph值。硕士论文)
TR198
分析算法:勘误表和练习的答案保罗•w•Purdom(1986年7月),页
TR197
控制操作符、SECD-Machine和演算马蒂亚斯•类和丹尼尔·p·弗里德曼(1986年6月),页[Proc。联合会的TC 2 / WG2。2工作Conf.正式描述编程概念的第三部分,Ebberup,丹麦。1986年8月,193 - 219)
TR196
神秘的塔透露:非反射反射塔的描述,米切尔的魔杖和丹尼尔·p·弗里德曼(1986年6月),页(1986年诉讼ACM LISP函数式编程,研讨会上(1986年8月),298 - 307)
TR195
Expansion-Passing风格除了传统的宏,上面Dybvig, d·p·弗里德曼和c·t·海恩斯(1986年6月),页
TR194
卫生宏扩展,一些Kohlbecker d·p·弗里德曼,m .类和b .杜巴(1986年6月),页(诉讼、1986 ACM研讨会LISP和函数式编程,(1986年8月),151 - 161)
TR193
概率性能可满足性问题的启发式约翰·弗朗哥(1986年5月),页(也出现在离散应用数学)
TR192
使用四叉树并行分解矩阵求逆David s .明智的(1986年5月),页(1986年国际学报》上。会议上并行处理,92 - 99)
TR191
推理与延续。Sym.逻辑在计算机上m类d·p·弗里德曼,大肠Kohlbecker & b .杜巴(1986年6月),页(科学,剑桥,妈,(1986年6月),131 - 141[不是Available-TR 215是一个修正TR 191]]
TR190
确定的解析Multiply-Structured输入g . Dorffner s . Kwasny r .端口(1986年4月),页
TR189
辛恩的乐趣:系统编程联结主义模型埃里希·j·Smythe(1986年2月),页
TR188
接下来PAL-DEVICES——第二代挑战大卫·温克尔(1986年2月),页
TR187
归罪与论述:在治疗命题态度的表征问题John a . Barnden(1986年1月),页
TR186
标准,为ALGOL-Style块结构和Call-by-Name Storeless语义大卫·s .明智的和美国Kamal型(1985年12月),页
TR185
数字设计函数微积分史蒂夫·戴尔·约翰逊(1985年11月),页
TR184
仔细看看导出和导入语句马提亚类和丹尼尔·p·弗里德曼(1985年11月),页(电脑。朗,11(1),1986年,29 - 37)
TR183
逻辑延续克里斯托弗·t·海恩斯(1985年11月),页(美国第三国际Conf.逻辑编程(1985年7月),伦敦,英国课堂讲稿在计算机科学中,/卷。225年,斯普林格出版社,柏林(1985),671 - 685。还在j .逻辑编程,4 / 2 (1987)157 - 176)
TR182
越来越Prolog进计划马蒂亚斯•类(1985年10月),页
TR181
树匹配和简化,保罗·w·Purdom和辛西娅·a·布朗(1985年10月),页(2软件实践和经验17日(1987年2月),105 - 115)
TR180
一个架构,有效地更新关联聚合在应用编程语言,j·t·奥唐纳(1985年9月),页[Proc。联合会国际。函数式编程语言和计算机体系结构会议(1985年9月16日- 19日在法国南希,))
TR179
一种方法模拟一个应用编程存储架构的大规模并行处理器,j·t·奥唐纳(1985年9月),页
TR178
一个抽象的时机抢占c·t·海恩斯和d·p·弗里德曼(1985年8月),页(修订版本出现在计算机语言12卷,2号(1987),109——121年,在标题下,“抽象时间抢占与引擎”)
TR177
最大独立集问题立方平面图形,j·e·伯恩斯(1985年8月),页
TR176
人工智能为什么一定特别:一个的想法/方法/模型/解决方案取决于一个人的比喻吗,m . w . Lugowski(1985年8月),页
TR175
快和慢之间的自动映射规则的演讲,s . c . Kwasny j . Dalby和r .端口(1985年7月),页
TR174
修改后,修改后的报告方案w·d·克林杰(ed)。(1985年6月),页[乔纳森•里斯& w·d·克林杰(eds。和其他17)发表在标题下,“修正后的算法语言计划,报告“SIGPLAN通知21 / 12(1986年12月),37 - 79]
TR173
在麻省理工学院计算机实验室:当地网络用户的观点,m . w . Lugowski(1985年6月),页
TR172
内涵的表征,表征为内涵,命题态度j . a Barnden(1985年6月),页
TR171
计算机科学部门报告,CS部门(1985年5月),页
TR170
约束控制d·p·弗里德曼和c·t·海恩斯(1985年5月),页(学报1985 ACM原则研讨会上的编程语言,(1985年1月),245 - 254[不是available-TR 213取代TR 170]]
TR169
快速多对一的匹配算法,p . w . Purdom和c·a·布朗(1985年5月),页(第一次重写技术和应用国际会议上,第戎,法国(1985年5月),也在jean - pierre Jouannand(主编),重写技术和应用,信号202年,页407 - 416,斯普林格出版社,纽约(1985))
TR168
存储分配的多处理列表美国约翰逊(1985年3月),页
TR167
的概率算法的性能可满足性问题j·佛朗哥(1985年3月),页(信息处理信件23日(1986),103 - 106)
TR166
计划作为一个交互式图形编程环境l . d . Sabbagh(1985年2月),页
TR165
概率分析的推广单位条款文字选择启发式the-Satisfiability问题,j·弗兰科和Ming-Te曹国伟(1985年1月),页(出现在信息科学)
TR164
概率分析的最大单位条款文字选择启发式3-Satisfiability问题发生,j·弗兰科和Ming-Te曹国伟(1984年12月),页
TR163
设计的多处理堆板上引用计数d . s .明智的(1985年1月),页(1985年7月修订),联合会国际诉讼。Conf.函数式编程语言和计算机体系结构,南希,法国,(1985年9月16日- 19日)
TR162
线性未来语义及其实现、美国Kolbl和m .魔杖(1984年10月),页(修订后的1986年4月),科学计算机编程)
TR161
具体化:反射没有形而上学,d·p·弗里德曼和m .魔杖(1984年8月),页[Proc。1984年ACM研讨会Lisp和函数式编程(1984年8月),348 - 355)
TR160
的一个实现2-Lisp,c, d . Halpern(1984年6月),页
TR159
引擎构建过程抽象,海恩斯和d·弗里德曼(1984年8月),页(会议记录的1984 ACM研讨会LISP函数式编程,奥斯汀,TX(1984年8月)18 - 24]
TR158
延续和协同程序c·海恩斯,d·弗里德曼和m .魔杖(1984年8月),页(会议记录的1984 ACM研讨会LISP函数式编程,奥斯汀,TX(1984年8月)293 - 298。也出现在计算机语言2中,3/4(1986)143 - 153号新标题,“获得协同程序与延续”)
TR157
使用mkmac大肠Kohlbecker(1984年5月),页(没有- - -修正TR 153包括mkmac]
TR156
直接Denotational语义:Combinator-based Goto的编译m .老挝(1984年5月),页
TR155
eu-Prolog:参考手册和报告,大肠Kohlbecker(1984年4月),页
TR154
一些观察n-Valued分离分离功能g·爱泼斯坦,j·李,p . o . Mandayam(1984年5月),页(《第十四多元逻辑,国际研讨会(1984年5月)
TR153
计划84年临时参考手册,d . Friedman, c·海恩斯大肠Kohlbecker和m .魔杖(1984年2月),页(修订,1985年6月)
TR152
短期信息处理在联结主义理论j . Barnden(1984年1月),页(认知和大脑理论7(1),1984年)
TR151
编程与延续d·弗里德曼,c·海恩斯和大肠Kohlbecker(1984年1月),页(程序转换和编程环境,(p .胡椒,ed),出版社:柏林,海德堡(1984),263 - 274)
TR150
Combinator-Based编译器的一个案例研究语言与街区和递归函数,Marek j .老挝(1983年10月),页
TR149
C-Scheme参考手册肯特Dybvig(1983年9月),页(硕士论文)
TR148
代数语义逻辑编程,米切尔魔杖(1983年8月),页
TR147
原型被翻译成数据流方案丹尼尔·p·弗里德曼和Pee-Hong陈(1983年8月),页
TR146
函数几何方法在计算机图形学中应用陈和Sabbagh(1983年8月),页
TR145
方案图形参考手册气,陈Ost, Sabbaugh施普林格(1983年8月),页
TR144
在分区稀疏矩阵表示的复杂性爱德华·l·罗伯逊和j.p. Malmquist(1984年1月),10页页[24(1984),60——68年)
TR143
平均案例分析的一些模型可满足性问题,哈立德Bugara和辛西娅·布朗(1982年12月),页
TR142
电源为自由意志论域语义大卫·s .明智的(1983年7月),页
TR141
合成的数字设计递归方程史蒂夫·戴尔·约翰逊(1984年5月),页(博士论文,由麻省理工学院出版社出版,可能1984]
TR140
Non-Writing通信的同步并行机器或:不写作的乐趣j·伯恩斯,k . Keutzer, p . w . Purdom(1983年6月),页
TR139
计划从函数式编程应用程序和实现翻译的功能,戴夫Laymon(1983年4月),页
TR138
两个数据流模型的实现方案,Pee-Hong陈(1983年2月),页
TR137
计划311参考手册,c . Fessender w·克林杰d·弗里德曼和c·海恩斯(1983年2月),页[不可用——TR 153是一个更新计划手册)
TR136
Metafont元数学和形而上学,道格拉斯霍夫施塔特(1982年12月),页
TR135
一个理论的启发式博弈树搜索小,Chun-Hung Tzeng和保罗·w·Purdom(1982年12月),页请求者(指Chun-Hung Tzeng球状态)
TR134
研究在印第安纳大学计算机科学系,1981 - 82雷竞技官方网站下载,米切尔魔杖(1982年12月),页
TR133
计划高级语义代数威廉•克林杰丹尼尔·p·弗里德曼和米切尔魔杖(1985年1月),页(代数方法在语义(约翰·雷诺兹& m . Nivat eds),剑桥大学出版社,(1985)237 - 250)
TR132
人工智能:Subcognition计算道格拉斯·r·霍夫施塔特(1982年11月),页
TR131
连续的图解数据结构在人类认知约翰·Barnden(1982年10月),页
TR130
选手在Careenium内部谁?或者,“我”这个词的意思吗?道格拉斯·r·霍夫施塔特(1982年7月),页
TR129
在应用实时编程问题,Lennart Edblom和丹尼尔·p·弗里德曼(1982年6月),页
TR128
纯文字规则和多项式的平均时间,保罗·w·Purdom jr .和辛西娅·a·布朗(1982年6月),页(在计算,14日暹罗j . 4(1985年11月),943 - 953)
TR127
转换理论,多元逻辑,逻辑设计,乔治·爱泼斯坦(1983年1月),页
TR126
指南印刷电路板制造设施,弗兰克·普罗塞和帕特里夏·j·Brajnifoff(1982年1月),页
TR125
评估搜索方法分析保罗·w·Purdom jr .和辛西娅·a·布朗(1982年4月),页(国家Conf.人工智能(1982),124 - 127)
TR124
对分布式计算模型、语言和启发式,鲍勃Filman和丹尼尔·p·弗里德曼(1982年6月),页[AFIPS相依Proc。(1982年6月)AFIPS出版社,阿灵顿,弗吉尼亚州671 - 677)
TR123
搜索重排回溯和多项式的平均时间小保罗·w·Purdom(1983年1月),页(人工智能21 (1983),117 - 133)
TR122
研究计算机科学系在1980——81国际单位,米切尔的魔杖,编辑(1981年12月),页
TR121
由计算机语音分析:前景和方向,李贝克尔(1981年12月),页
TR120
DSI项目描述a, s·d·约翰逊和t . Kohlstaedt(1981年11月),页
TR119
黛西1。0参考手册a . t . Kohlstaedt(1981年11月),页
TR118
多项式平均时间可满足性问题保罗·w·Purdom jr .和辛西娅·a·布朗(1981年12月),页(Inf。科学41岁(1987),23 - 42)
TR117
用更少的搜索解决可满足性问题小保罗·w·Purdom(1982年7月),页[(修订),IEEETPAMI 6(1984),页510 - 513)
TR116
与流电路和系统:实现沟通史蒂夫·戴尔·约翰逊(1982年7月),页[(修订),imac事务在科学计算,第二卷,(ed)。m . Ruschitzka, 1983年,页311 - 319)
TR115
紧凑的榕树/ FFT网络布局David s .明智的(1981年1月),页(h .龚,b . Sproull和g·斯蒂尔(eds)。超大规模集成系统和计算,计算机科学出版社,罗克维尔市,MD(1981), 186——195克)
TR114
连接网络的输出驱动的多处理列表史蒂夫·约翰逊(1981年10月),页
TR113
指定一次通过的自下而上的编译器辛西娅·A·布朗和保罗·w·Purdom小(1981年7月),页(标题改为:编译器前端设计的方法和符号,发表在软件实践和经验14(4)1984年4月,335 - 346)
TR111
口译员的函数式编程David s .明智的(1982年1月),页[j·达林顿、p·亨德森和d·特纳(eds)。函数式编程及其应用,剑桥大学出版社(1982))
TR110
滑雪手册、灰色Clossman(1981年7月),页
TR109
解决常见的编程问题的应用编程语言托马斯·m·“(1981年6月),页
TR107
方案的分布式过程德怀尔,雷克斯和r·肯特Dybvig(1981年4月),页
TR106
花哨的蕨类植物需要护理丹尼尔·p·弗里德曼和David s .明智的(1981年1月),页(研讨会函数式语言和计算机体系结构,s . HolmsTRom NordsTRom, b, Wikstrom, a . (eds)。实验室程序设计方法学、Goteborg、瑞典(1981))
TR105
如何有效地搜索辛西娅·a·布朗和保罗•沃尔顿Purdom小(1981年3月),页(第七次国际联合Conf.人工智能,温哥华,不列颠哥伦比亚(1981),588 - 594)
TR103
上下文无关文法的平衡,平衡和不平衡的二进制语言乔治·爱泼斯坦和卡斯珀马丁(1981年3月),页
TR102
对布尔代数的观点乔治·爱泼斯坦(1981年2月),页
TR101
平均时间分析简化Davis-Putnam程序艾伦•戈德堡保罗·w·Purdom jr .和辛西娅·a·布朗(1982年1月),页(信息处理信件15 (1982),72 - 75)
TR100
回溯算法的实证比较辛西娅·a·布朗和保罗•沃尔顿Purdom小(1982年1月),页[IEEE TPAMI 4(1982), 309——316年)
TR99
鼓舞人心的分布在分布式计算罗伯特·e·Filman丹尼尔·p·弗里德曼(1980年12月),页一样(注:TR 124年已出版)
TR98
在印第安纳大学计算机科学系的研究雷竞技官方网站下载,米切尔的魔杖,编辑(1980年8月),页
TR97
一个实验基于分布处理g . Wolynes, j . Ginder b . Roitblat诉罗兰(1980年8月),页
TR96
莎士比亚的戏剧不是他写的,而是由其他人的同名,道格拉斯·r·霍夫施塔特灰色a . Clossman和玛莎·j·梅瑞迪斯(1980年7月),页
TR95
不同构造编译器和证明他们正确的建议,米切尔魔杖(1980年9月),页
TR94
产生目标代码表示延续的语义米切尔魔杖(1982年7月),页(ACM反式。在食物上。Lang.和系统4、3(1982年7月),496 - 517)
TR93
方案3。1参考手册,米切尔魔杖(1980年6月),页
TR92
多处理CODA:分离之下的形式应用到Quasi-Parallel模型的方案约瑟夫·r·Ginder(1980年5月),页
TR91
一个正式的消息传递系统的模型詹姆斯·e·伯恩斯(1980年9月),页((修订))
TR90
基于延续多处理米切尔魔杖(1980年1月),页[Proc。1980 LISP会议,19 - 28)
TR89
分析回溯搜索重排辛西娅·a·布朗和保罗·w·Purdom小(1981年6月),页[(修订)暹罗j .计算,12 4,(1983)717 - 733)
TR88
规范、模型和实现的数据抽象米切尔魔杖(1982年1月),页(理论计算机科学20 (1982)3 - 32)
TR87
解析扩展LR (k)文法保罗•沃尔顿Purdom jr .和辛西娅·a·布朗(1980年1月),页(Acta Informatica 14 (1980), 299 - 315)
TR86
平均时间回溯分析辛西娅·a·布朗和保罗·w·Purdom小(1981年1月),页(暹罗j .在计算(1981),583 - 593)
TR85
计算机系统生成的数据分析分子研究的DNA斯科特•麦考特(1979年5月),页
TR84
一个公平的应用多道程序设计方法David s .明智和丹尼尔·p·弗里德曼(1979年4月),页(G。卡恩(ed)、语义的并发计算,柏林,施普林格(1979),203 - 225)
TR83
语义例程和LR (k)解析器,保罗·w·Purdom和辛西娅·布朗(1980年1月),页(Acta Informatica 14 (1980) 299 - 315)
TR82
分配格的n乔治·爱泼斯坦(1979年3月),页
TR81
类作为语法糖,米切尔魔杖(1978年12月),页
TR80
应用多道程序设计记录的一个不确定的构造函数丹尼尔·p·弗里德曼和David s .明智的(1980年1月),页(7日美国电脑。在编程语言的原则(1980年1月),245 - 250)
TR79
双伙伴系统David s .明智(1978年12月),页
TR78
初步应用编程的系统方法丹尼尔·p·弗里德曼和David s .明智的(1978年11月),页
TR77
回溯与多层次动态搜索重排保罗·w·Purdom Jr .,爱德华·罗伯逊和辛西娅·布朗(1978年10月),页(Acta Informatica 15 (1981), 99 - 113)
TR76
伙伴系统精确的公式保罗·w·Purdom jr .和辛西娅·a·布朗(1980年1月),页(信息科学,22 (1980)1 - 18]
TR75
莫里斯的垃圾压实恢复引用计数算法David s .明智的(1979年7月),页(ACM反式。编程语言和系统1,1(1979年7月),115 - 120)
TR74
Sting-unless:一个条件,Interlock-free存储指令丹尼尔·p·弗里德曼和David s .明智的(1978年1月),页[Proc。16日安。Allerton Conf.在通信、控制和计算,伊利诺伊大学乌尔班纳(1978),578 - 584)
TR73
引用计数可以管理相互递归的循环环境丹尼尔·p·弗里德曼和David s .明智的(1979年1月),页(信息处理信件,8日1(1979年1月),41 - 45)
TR72
应用多道程序设计丹尼尔·p·弗里德曼和David s .明智的(1979年4月),页((修订))
TR71
上下文无关文法的平衡和平衡的二进制语言乔治·爱泼斯坦(1977年11月),页
TR70
条件表达式的注意丹尼尔·p·弗里德曼和David s .明智的(1978年11月),页[通讯。ACM 21日11(1978年11月),931 - 933)
TR68
语言的解释模型基于暂停施工约翰逊,史蒂文德克斯特(2013年11月),页
TR66
代数理论和树重写系统米切尔魔杖(1978年6月),页((修订))
TR65
最后代数语义和数据类型扩展,米切尔的魔杖(1979年1月),页[J。薪酬系统。科学。19(1979),27岁- 44)
TR64
无限的计算结构丹尼尔·p·弗里德曼和David s .明智的(1978年7月),页(软件实践和经验8,4(7 - 8月,1978),407 - 416)
TR63
n . resch书评的多值逻辑乔治·爱泼斯坦(1977年5月),页(《符号逻辑)
TR62
正式的和计算机诗歌、乔治·爱泼斯坦和Ben Shneiderman(1977年4月),页
TR61
基于延续程序转换策略,米切尔的魔杖(1980年1月),页[J。ACM, 27(1980), 164——180年)
TR60
树的大小部分回溯保罗•w•Purdom(1978年11月),页(暹罗在计算7日期刊4(1978年11月),481 - 491)
TR59
硬件设计风格混合逻辑起草公约,弗兰克·普罗塞和d·温克尔(1977年5月),页(电脑设计16 5(1977年5月),111 - 117)
TR58
一个交互式柏拉图二叉树遍历的教训第三,埃德温·布朗和斯图亚特·c·夏皮罗(1976年11月),页
TR57
一比特的引用计数David s .明智和丹尼尔·p·弗里德曼(1977年9月),页(诺Tidskr。Informationsbehandling(钻头)17日,3(1977年9月)351 - 359)
TR56
为文件系统方面的应用编程丹尼尔·p·弗里德曼和David s .明智的(1977年3月),页[Proc。ACM Conf.语言设计可靠的软件,SIGPLAN通知12日3(1977年3月),41 - 55)
TR55
编译Lambda表达式使用延续和分解,米切尔的魔杖和丹尼尔·p·弗里德曼(1978年3月),页(Comp。朗杂志》上。3,(1978)241 - 263)
TR54
自动程序缩进,保罗·w·Purdom(1978年1月),页[18(1978),211——218年)
TR53
逻辑语义网络罗伯特·j·贝克特尔(1976年7月),页
TR52
并行处理方面的应用编程,丹尼尔·p·弗里德曼和David s .明智的(1978年4月),页[IEEE反式。在电脑上,印度4(1978年4月)289 - 296)
TR51
数据库管理系统:回顾与参考Ben Shneiderman(1976年5月),页(信息处理管理、13 p。23 (1977))
TR50
输出驱动的递归程序的解释,或写创建和破坏数据结构丹尼尔·p·弗里德曼和David s .明智的(1976年12月),页(信息处理字母5、6(1976年12月),155 - 160)
TR49
大众:小而有效的与机器无关的文本编辑器尼古拉斯·f . Vitulli(1976年4月),页[硕士论文。应该可以在情郎图书馆。)
TR48
实验调查的计算机程序调试和修改,Ben Shneiderman和麦凯(1976年7月),页(第六届国际大会国际人体工程学协会学报》(1976年7月)(计算机科学部门,可以通过Ben Shneiderman马里兰大学学院公园,马里兰州20742)。)
TR47
一个逻辑语义网络罗伯特•贝克特尔和斯图尔特·c·夏皮罗(1976年3月),页
TR46
相关性的相关性斯图亚特·c·夏皮罗和米切尔魔杖(1976年11月),页((修订))
TR45
通过查表递归程序设计丹尼尔·p·弗里德曼,David s .明智和米切尔魔杖(1976年1月),页(学报1976交流研讨会上象征性和代数计算,(1976))
TR44
缺点不应评估其参数丹尼尔·p·弗里德曼和David s .明智的(1976年1月),26页+附录页(I。Michaelson和r·米尔纳(eds)。自动机、语言和编程,爱丁堡大学出版社,爱丁堡(1976),256 - 284)
TR43
降低了有效的多属性组合索引检索Ben Shneiderman(1977年2月),页(信息系统,21977年,p . 149)
TR42
有效的代数公理语义米切尔魔杖(1975年11月),页(TR # 29取而代之的是修订版本)
TR41
数学语言学、逻辑和语言和推理在孩子的发展、乔治·爱泼斯坦和斯图尔特·c·夏皮罗(1976年10月),页[纽约科学院年报,280年(1976年10月),120 - 126年)
TR40
一个环境多元递归过程丹尼尔·p·弗里德曼和David s .明智的(1977年1月),页(在b .罗比(ed)编写程序,Dunod Informatique,巴黎(1977),182 - 200)
TR38
决定性的维恩图乔治·爱泼斯坦(1976年1月),页(1976年国际学报》上。计算机协会。在多元逻辑)
TR37
对一个程序员行为的认知模型,Ben Shneiderman和理查德·迈耶(1979年6月),页[Intl。j .房价和信息科学8 3(1979年6月),第219页)
TR36
实验调查的效用在编程流程图麦凯,Ben Shneiderman,理查德•迈耶和彼得·海勒(1977年6月),页[通讯。ACM 20日(1977年6月)
TR34
垃圾收集一堆包括散射表丹尼尔·p·弗里德曼和David s .明智的(1977年4月),页(信息处理字母5、6(1976年12月)161 - 164错误信息处理。6、2(1977年4月),72年)
TR33
亨德里克斯的模型同时行动和连续过程:介绍和实现约翰·d·劳伦斯和丹尼尔·p·弗里德曼(1977年1月),页[国际期刊的人机研究9 (1977),537 - 581)
TR32
批处理顺序和树结构文件的搜索,Ben Shneiderman和维克多•古德曼(1976年9月),页(ACM TODS1} 3(1976年9月),p . 268)
TR31
介绍SNePs斯图亚特·c·夏皮罗(1976年12月),页((修订))
TR30
对存储结构及其转换彼得,本篇报告和本Shneiderman(1975年6月),页
TR29
一阶身份作为定义语言米切尔魔杖(1979年5月),页[(修订)发表在《Informatica 14日(1980),337 - 357)
TR28
记录仪,图论研究的互动环境斯蒂芬·胡佛和斯图尔特·c·夏皮罗(1975年5月),页
TR27
功能组合丹尼尔·p·弗里德曼和David s .明智的(1978年1月),页(计算机语言3 1(1978年1月),31 - 35)
TR26
基本运算和数学两个互补的计算乔治·爱泼斯坦(1975年4月),页
TR25
审查程序和数据的设计技术Ben Shneiderman(1976年1月),页(软件实践和经验5,(1976),555 - 567)
TR24
特点是Subresiduated晶格的逻辑、乔治·爱泼斯坦和a .角(1976年1月),页(Zeitschrift f”你mathematische逻辑学》和《Mathematik Bd。22岁(1976年))
TR23
定点结构在Order-Enriched类别。,米切尔的魔杖(2013年8月),34页[系统结构。Comp。Sci 8 (1979)]。
TR23
定点结构在Order-Enriched类别。,米切尔的魔杖(2013年8月),34页[系统结构。Comp。Sci 8 (1979)]。
TR21
Boolean-Valued循环大卫·s .明智的丹尼尔·p·弗里德曼斯图亚特·c·夏皮罗和米切尔魔杖(1975年12月),页(诺Tidskr。信息behandling(15位))
TR20
计算的框架模型,米切尔魔杖(1974年12月),页
TR19
解除结构递归到不同的迭代中丹尼尔·p·弗里德曼和David s .明智的(1974年12月),页
TR18
介绍计算机代数概念基础乔治·爱泼斯坦(1974年10月),页
TR17
在程序员行为探索性实验Ben Shneiderman(1976年6月),页[Intl。j .计算机和信息科学5日(1976年6月),123 - 143)
TR16
实验测试编程语言,风格上的考虑和设计技术。Ben Shneiderman(1975年1月),页[Proc。NCC, AFIPS出版社(1975),653——656年)
TR15
柏拉图数据结构课程的课程斯图亚特·c·夏皮罗(1974年8月)页面
TR14
感应、递归和编程,米切尔魔杖(1976年7月),页[(修订)由爱思唯尔出版北荷兰,1980年)
TR13
对编码数据结构和数据转换的理论,Ben Shneiderman佩顿和斯图亚特·c·夏皮罗(1976年3月),页[Int。计算机和信息科学j . 5, 1(1976年3月),33-43]
TR12
通过自然语言互动咨询斯图亚特·c·夏皮罗,斯坦利·c·Kwasny(1975年8月),页(CACM 18日8(1975年8月),459 - 462)
TR11
实现数据结构的晶格米切尔魔杖(1975年1月),页(TR # 23所取代)
参见“TR10
的理由,才丹尼尔·p·弗里德曼和斯图尔特·c·夏皮罗(1974年7月),页(7 SIGPLAN通知9日(1974年7月),7 - 14)
TR9
引用列表的边缘David s .明智的(1976年6月),页[通讯。ACM 19日(1976年6月6日),338 - 342)
TR8
指导HYCOMP1的使用,斯图亚特·c·夏皮罗和大卫·a·格雷斯(1973年12月),页
TR6
交互式可视化仿真开始编程的学生,斯图亚特·c·夏皮罗和道格拉斯·p·威默(1974年2月),页[(也称为TR7) SIGCSE公告6日1(1974年2月),11 - 14)
TR4
上下文无关语言的强势注入引理David s .明智的(1976年3月),页[理论计算机科学3,3 (1976)359 - 369)
TR2
LR(0)大小的机器小保罗•W Purdom(1973年1月),23页的页面

这个技术报告指数自动生成:2023年6月15日00:10:02星期四
Baidu
map