张林涛
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元15年] 张林涛 , 王丽红 , 俞敏辉 , 吴蓉(音) , 大卫·C·斯特芬斯 , 盖伊·G·波特 , 刘明霞 :
混合表征学习用于5年以上晚年抑郁症的结构MRI认知诊断。 医学图像分析。 94 : 103135 ( 2024 ) [i11] 吴梦琪 , 张林涛 , 佩夫·蒂安·雅普 , 朱宏图 , 刘明霞 :
基于分离潜在能量的风格翻译:一个图像级结构MRI协调框架。 CoRR公司 abs/2402.06875 ( 2024 ) [i10] 张林涛 , 吴梦琪 , 王丽红 , 大卫·C·斯特芬斯 , 盖伊·G·波特 , 刘明霞 :
三维脑MRI联合图像去噪和运动伪影校正的迭代学习。 CoRR公司 腹肌/2403.08162 ( 2024 ) 2023 [公元14年] 王菊华 , 张建华 , 泉州 , 张林涛 :
周长八和短循环尺寸的全长行乘法器QC-LDPC码。 IEEE接入 11 : 22250-22265 ( 2023 ) [j13] 王远宇(音) , 张林涛 , 池伟 , 余良堂 :
C-V2X中基于博弈联盟的资源分配和计算卸载联合优化。 Ad Hoc网络 150 : 103266 ( 2023 ) [公元12年] 章子怡 , 容颜 , 魏源 , 张林涛 :
融合网络拓扑的影响传播者识别。 国际期刊软件。 工程知识。 工程师。 33 ( 11&12 ) : 1701-1724 ( 2023 ) [公元11年] 孟莉(Meng Li) , 胡顺波 , 李国强 , 张富春 , 李季涛 , 岳阳 , 张林涛 , 刘明涛 , 严旭 , 德谦付 , 张文银 , Xing Wang(王兴) :
连续下一个网络作为可变形脑磁共振图像配准的增强正则化。 传感器 23 ( 6 ) : 3208 ( 2023 ) [公元10年] 杨龙孙 , 张林涛 , 余良堂 , 张建新 :
PASS:车辆网络中缓存辅助NOMA的功率分配和SIC顺序选择。 Wirel公司。 网络 29 ( 1 ) : 173-187 ( 2023 ) [公元60年] 赵汉玉(Hanyu Zhao) , 韩振华 , 芷阳 , 张全鲁 , 李明霞 , 范扬 , 张千禧 , 李宾阳 , 杨玉清 , 邱丽丽(Lili Qiu) , 张林涛 , 周立东 :
SiloD:深度学习集群缓存和调度的协同设计。 欧洲系统 2023 : 883-898 [公元59年] 张林涛 , 吴金健 , 王丽红 , 李旺 , 大卫·C·斯特芬斯 , 邱世君 , 盖伊·G·波特 , 刘明霞 :
脑解剖学指导下的MRI分析,用结构MRI评估认知功能障碍的临床进展。 迈克尔(8) 2023 : 109-119年 [公元58年] 吴梦琪 , 张林涛 , 佩夫·蒂安·雅普 , 林伟丽 , 朱宏图 , 刘明霞 :
通过分离潜在能量的风格翻译实现结构MRI协调。 MICCAI的MLMI (1) 2023 : 1月11日 [第九章] 林志琦 , 苗有山 , 刘国栋 , 史晓祥 , 张全鲁 , 范扬 , 赛义德·马利基 , 易珠 , 徐曹 , 程莉 , 毛洋 , 张林涛 , 周立东 :
SuperScaler:通过统一抽象支持灵活的DNN并行化。 CoRR公司 abs/2301.08984 ( 2023 ) [i8] 王宏(Hong Wang) , 周元治 , 张驰(Chi Zhang) , 陈鹏 , 黄明霞 , 刘毅(音) , 张林涛 :
XFL:一个高性能、轻量级的联合学习框架。 CoRR公司 abs/2302.05076 ( 2023 ) [i7] 张林涛 , 吴金健 , 王丽红 , 李旺 , 大卫·C·斯特芬斯 , 邱世君 , 盖伊·G·波特 , 刘明霞 :
用结构MRI预测认知功能障碍临床进展的脑解剖预先建模。 CoRR公司 abs/2306.11837 ( 2023 ) 2022 [公元9年] 张林涛 , 王菊华 :
利用置换和分段从Sidon序列构造QC-LDPC码。 IEEE通信。 莱特。 26 ( 8 ) : 1710-1714 ( 2022 ) [j8] Taekyung Heo公司 , 杨旺(Yang Wang) , 崔伟 , Jaehyuk Huh先生 , 张林涛 :
分层内存系统中具有巨大页面的自适应页面迁移策略。 IEEE传输。 计算机 71 ( 1 ) : 53-68 ( 2022 ) [公元57年] 张林涛 , 俞敏辉 , 王丽红 , 大卫·C·斯特芬斯 , 吴蓉(音) , 盖伊·G·波特 , 刘明霞 :
用结构MRI了解5年以上阿尔茨海默病晚期抑郁症的临床进展。 MICCAI的MLMI 2022 : 259-268 [公元56年] 杨梦珠 , 王永芳 , 李国强 , 张林涛 , 董朱 , 王成超 :
SU-Net:一种基于改进U-Net网络的视网膜分割模型。 RICAI公司 2022 : 946-950 [公元55年] 朱梦洁 , 张显聪 , 张林涛 , 李国强 , 胡顺波 , 王永芳 , 王磊(Lei Wang) :
TST网络:用于大脑MR注册的两阶段相互增强的深度学习网络。 RICAI公司 2022 : 951-956 [公元54年] 张林涛 , 赵彩锦 , 王元宇 , 余良堂 , 杨波(Bo Yang) :
车辆网络中的依赖感知任务调度和缓存放置。 VTC弹簧 2022 : 1-5 [i6] 张林涛 , 王丽红 , 俞敏辉 , 吴蓉(音) , 大卫·C·斯特芬斯 , 盖伊·G·波特 , 刘明霞 :
混合表征学习用于5年以上晚期抑郁症的结构MRI认知诊断。 CoRR公司 abs/2212.12810 ( 2022 ) 2021 [j7] 傅德谦 , 胡顺波 , 张林涛 , 何树清 , 邱建龙 :
基于区块链和大数据的干线物流联盟智能云计算。 J.超级计算机。 77 ( 12 ) : 13863-13878 ( 2021 ) [公元53年] 高晓天 , 崔伟 , 张林涛 , 毛洋 :
OpEvo:张量算子优化的进化方法。 AAAI公司 2021 : 12320-12327 [第52条] 张林涛 , 赵彩锦 , 杨龙孙 , 余良堂 , 郝曾 :
具有不完全信道估计的5G车载网络中缓存辅助NOMA的资源分配。 国际商会 2021 : 1125-1130 [第51条] 朱岳余 , 余良堂 , 张林涛 , 郝曾 :
基于深度强化学习的车联网计算卸载决策与任务调度。 国际商会 2021 : 1166-1171 [公元50年] 郝曾 , 张林涛 , 余良堂 , 杨龙孙 , 于启阮 :
基于强化学习的NOMA车载协同通信网络智能资源分配。 ICCSE公司 2021 : 622-627 [公元49年] 李伯杰 , 左格非 , 魏白 , 张林涛 :
1管道:数据中心网络中可扩展的总订单通信。 SIGCOMM公司 2021 : 78-92 [公元48年] 张建新 , 陈宣志 , 杨龙孙 , 余良堂 , 张林涛 :
基于预约的车联网资源分配方案。 VTC弹簧 2021 : 1-5 [公元47年] 张林涛 , 杨龙孙 , 余良堂 , 郝曾 , 于启阮 :
MEC-enabled Vehicular Networks中的联合卸载决策和资源分配。 VTC弹簧 2021 : 1-5 [公元46年] 罗紫嫣 , 赵林峰 , 魏成 , 陈思浩(Sihao Chen) , 齐晨 , 慧雪 , 王海东 , 刘传杰 , 毛洋 , 张林涛 :
基于参数化动作强化学习的网络搜索匹配计划生成。 万维网 2021 : 1040-1052 [i5] Kai-Fung Chu公司 , 张林涛 :
针对异构数据的隐私保护自学联合学习。 CoRR公司 abs/2102.05883 ( 2021 ) 2020 [j6] 胡顺波 , 张林涛 , 李国强 , 刘明涛 , 德谦付 , 张文银 :
在出生后第一年使用全局和局部标签驱动的深度回归学习进行大脑变形注册。 IEEE接入 8 : 25691-25705 ( 2020 ) [公元45年] 雷沙 , 陈石 , 齐晨 , 张林涛 , 王厚峰 :
通过基于内存的递归计算网络估计最小操作步骤。 国际JCNN 2020 : 1-8 [公元44年] 胡顺波 , 张林涛 , 严旭 , 沈定刚 :
基于结构相似性和非重叠约束的标签驱动脑变形配准。 MICCAI的MLMI 2020 : 210-219 [公元43年] 马凌霄 , 谢志强 , 芷阳 , 薛吉龙 , 苗有山 , 崔伟 , 胡文祥 , 范扬 , 张林涛 , 周立东 :
Rammer:使用rTasks实现整体深度学习编译器优化。 OSDI公司 2020 : 881-897 [i4] 高晓天 , 崔伟 , 张林涛 , 毛洋 :
OpEvo:张量算子优化的进化方法。 CoRR公司 abs/2006.05664 ( 2020 )
2010 – 2019
2019 [j5] 曹世杰 , 聂兰顺 , 德钦詹(De-chen Zhan) , 王文强 , 许宁义 , 拉马希斯·达斯 , 吴铭(音) , 张林涛 , Derek Chiou先生 :
FlexSaaS:一个可重新配置的Web搜索选择加速器。 ACM事务处理。 可重构技术。 系统。 12 ( 1 ) : 5:1-5:20 ( 2019 ) [公元42年] 李国强 , 张林涛 , 胡顺波 , 德谦付 , 刘明涛 :
用于医学图像配准的具有双U网模型和多分辨率损失计算的对抗网络。 CISP-BMEI公司 2019 : 1-5 [公元41年] 张林涛 , 李国强 , 德谦付 , 张文银 , 刘明涛 , 胡顺波 :
基于无监督深度回归网络的婴儿脑多对比MR非刚性联合配准。 CISP-BMEI公司 2019 : 1-5 [公元40年] 曹世杰 , 马凌霄 , 文聪晓 , 陈章 , 刘云欣 , 张林涛 , 聂兰顺 , 芷阳 :
SeerNet:通过低位量化预测卷积神经网络特征图稀疏性。 CVPR公司 2019 : 11216-11225 [公元39年] 薛吉龙 , 苗有山 , 程晨 , 吴铭(音) , 张林涛 , 周立东 :
基于RDMA的快速分布式深度学习。 欧洲系统 2019 : 44:1-44:14 [公元38年] 曹世杰 , 陈章 , 朱良瑶 , 文聪晓 , 聂兰顺 , 德钦詹(De-chen Zhan) , 刘云欣 , 吴铭(音) , 张林涛 :
具有银行平衡稀疏性的FPGA上高效稀疏LSTM。 FPGA(现场可编程门阵列) 2019 : 63-72 [公元37年] 胡顺波 , 张林涛 , 李国强 , 刘明涛 , 德谦付 , 张文银 :
使用全局和局部标签驱动的深度回归学习进行婴儿大脑可变形注册。 MICCAI的MLMI 2019 : 106-114 [公元36年] Taegyeong Lee公司 , 林志琦 , Saumay推 , 李彩华 , 刘云欣 , 李永基 , 徐凤源 , 徐晨仁 , 张林涛 , 宋俊华 :
封闭性:使用SGX进行隐私保护的远程深度学习推断。 MobiCom公司 2019 : 46:1-46:17 [公元35年] 陈石 , 齐晨 , 雷沙 , 慧雪 , 李素建 , 张林涛 , 王厚峰 :
我们知道你会问什么:一个多功能切换和预测的对话系统。 NLPCC(1) 2019 : 93-104 [公元34年] 李伯杰 , 崔天一 , 淄博王 , 魏白 , 张林涛 :
Socksdirect:数据中心套接字可以快速兼容。 SIGCOMM公司 2019 : 90-103 2018 [公元33年] 刘洪福 , 黄子明 , 齐晨 , 李明琴 , 云浮 , 张林涛 :
具有灵活平衡约束的快速聚类。 IEEE大数据 2018 : 743-750 [公元32年] 陈石 , 齐晨 , 雷沙 , 李素建 , 徐孙 , 王厚峰 , 张林涛 :
自动对话:用无监督学习标记对话数据。 EMNLP公司 2018 : 684-689 [公元31年] 林子川 , 赵天奇 , 杨广文 , 张林涛 :
情节记忆深度Q-网络。 国际JCAI 2018 : 2433-2439 [c30] 刘璐阳 , 中瑞光 , 五羊·张 , 刘云欣 , 张建松 , 张林涛 , 马可·格鲁特斯 :
剪断绳索:设计一个低延迟远程渲染的高质量无连接VR系统。 MobiSys公司 2018 : 68-80 [i3] 林子川 , 赵天奇 , 杨广文 , 张林涛 :
情节记忆深度Q-网络。 CoRR公司 abs/1805.07603 ( 2018 ) [i2] 薛吉龙 , 苗有山 , 程晨 , 吴铭(音) , 张林涛 , 周立东 :
RPC被认为有害:RDMA上的快速分布式深度学习。 CoRR公司 abs/1805.08430 ( 2018 ) 2017 【j4】 张林涛 , 安元登 , 伊恩·卡梅隆 , 王恩刚(Engang Wang) , 约翰·西恩茨 :
工业电磁连铸结晶器性能参数研究。 J.计算。 设计。 工程师。 4 ( 4 ) : 256-262 ( 2017 ) [公元29年] 中瑞光 , Manni Wang(王曼尼) , 陈子建 , 刘璐阳 , 刘云欣 , 张建松 , 张林涛 , 托马斯·莫西布罗达 :
利用商品硬件构建可编程无线高质量虚拟现实系统。 APSys公司 2017 : 7:1-7:7 [公元28年] 李伯杰 , 阮振元 , 文聪晓 , 卢元伟 , 熊永强 , 安德鲁·普特南 , 陈恩宏 , 张林涛 :
KV-Direct:具有可编程NIC的高性能内存键值存储。 SOSP(标准操作程序) 2017 : 137-152 2015 [公元27年] 张全鲁 , 戴亚非 , 张林涛 :
D交换机:双模直连网络连接磁盘。 SoCC公司 2015 : 71-83 [公元26年] 张全鲁 , 戴亚非 , 李凤倩 , 张林涛 :
UStore:用于数据中心的低成本冷存档数据存储系统。 ICDCS系统 2015 : 431-441 2013 [公元25年] 洪春涛 , 董舟 , 毛洋 , Carbo Kuo公司 , 张林涛 , 周立东 :
夸父:缩小数据库复制中的并行性差距。 集成电路驱动单元 2013 : 1186-1195 2011 [c24] 史景浩 , 夏明元 , 吴铭(音) , 张林涛 , 张征 :
SLIM:从云到设备,再到设备。 APSys公司 2011 : 16 【c23】 郭华阳 , 吴铭(音) , 周立东 , 胡刚(音译) , 杨俊峰 , 张林涛 :
通过动态界面简化进行实际的软件模型检查。 SOSP(标准操作程序) 2011 : 265-278
2000 – 2009
2009 [j3] 沙拉德·马利克 , 张林涛 :
从理论困难到实际成功的布尔可满足性。 Commun公司。 ACM公司 52 ( 8 ) : 76-82 ( 2009 ) [公元22年] 杨俊峰 , 陈提生 , 吴铭(音) , 徐志磊 , 刘学政 , 林浩翔 , 毛洋 , Fan Long(风扇长) , 张林涛 , 周立东 :
MODIST:未修改分布式系统的透明模型检查。 NSDI公司 2009 : 213-228 2008 [注2] 曼纽尔·科斯塔 , 乔恩·克劳克罗夫特 , 米盖尔·卡斯通 , 安东尼·罗斯特龙(Antony I.T.Rowstron) , 周立东 , 张林涛 , 保罗·巴勒姆 :
警惕:端到端遏制互联网蠕虫疫情。 ACM事务处理。 计算。 系统。 26 ( 4 ) : 9:1-9:68 ( 2008 ) 【c21】 约翰·D·戴维斯 , 张西滩 , 方瑜 , 张林涛 :
一个实用的可重构硬件加速器,用于布尔可满足性求解器。 数模转换器 2008 : 780-785 [c20] 约翰·戴维斯 , 谭章喜 , 方瑜 , 张林涛 :
设计一种用于SAT求解的高效硬件蕴涵加速器。 坐 2008 : 48-62 2007 [第19条] 卢卡斯·波尔多 , 张林涛 :
量化布尔和线性约束的求解器。 囊 2007 : 321-325 [第18条] 曼纽尔·科斯塔 , 米盖尔·卡斯通 , 周立东 , 张林涛 , 马库斯·佩纳多 :
弹跳器:通过阻止错误的输入来保护软件。 SOSP(标准操作程序) 2007 : 117-130 2006 [j1] 卢卡斯·波尔多 , 优素福·哈马迪 , 张林涛 :
命题可满足性与约束规划:一项比较调查。 ACM计算。 Surv公司。 38 ( 4 ) : 12 ( 2006 ) [第17条] 张林涛 :
结合连接范式和析取范式求解QBF。 AAAI公司 2006 : 143-150 [第16条] 伊利亚·米罗诺夫 , 张林涛 :
SAT解算器在散列函数密码分析中的应用。 坐 2006 : 102-115 [i1] 伊利亚·米罗诺夫 , 张林涛 :
SAT解算器在散列函数密码分析中的应用。 IACR加密。 电子打印架构。 2006 : 254 ( 2006 ) 2005 [第15条] 周立东 , 张林涛 , 弗兰克·麦克谢里 , 妮可·埃莫利卡 , 曼纽尔·科斯塔 , 史蒂夫·钱恩 :
首先看对等蠕虫:威胁和防御。 IPTPS公司 2005 : 24至35 [第14条] 达尔科·马里诺夫 , 萨尔夫拉兹·库希德 , 苏哈贝·布格拉拉 , 张林涛 , 马丁·里纳德 :
将声明模型编译为布尔公式的优化。 坐 2005 : 187-202 [第13条] 张林涛 :
关于吸积消除和快速CNF简化。 坐 2005 : 482-489 [第12条] 曼纽尔·科斯塔 , 乔恩·克劳克罗夫特 , 米盖尔·卡斯通 , 安东尼·罗斯特龙(Antony I.T.Rowstron) , 周立东 , 张林涛 , 保罗·巴勒姆 :
警惕:端到端遏制互联网蠕虫。 SOSP(标准操作程序) 2005 : 133-147 2004 [第11条] 托马斯·鲍尔 , 拜伦·库克 , Shuvendu K.Lahiri公司 , 张林涛 :
萨帕托:谓词抽象精化的自动定理证明。 CAV汽车 2004 : 457-461 2003 [第10条] 张林涛 , 莎拉·马利克 :
使用基于独立分辨率的检查器验证SAT解算器:实际实现和其他应用。 日期 2003 : 10880-10885 【c9】 张林涛 , 莎拉·马利克 :
SAT解算器的缓存性能:算法高效实现的案例研究。 坐 2003 : 287-298年 2002 【c8】 张林涛 , 莎拉·马利克 :
寻求有效的布尔可满足性求解器。 CADE公司 2002 : 295-313 【c7】 张林涛 , 莎拉·马利克 :
寻求有效的布尔可满足性求解器。 腔静脉 2002 : 17-36 【c6】 张林涛 , 莎拉·马利克 :
量化布尔公式计算中满意度和冲突的对称处理。 人物配对关系 2002 : 200-215 【c5】 马来语K.Ganai , 普拉纳夫·阿沙尔 , 阿尔蒂·古普塔 , 张林涛 , 莎拉·马利克 :
结合基于电路和基于CNF的算法的优点,实现高性能SAT求解器。 数模转换器 2002 : 747-750 【c4】 张林涛 , 莎拉·马利克 :
量化布尔可满足性求解器中的冲突驱动学习。 国际计算机辅助设计协会 2002 : 442-449年 2001 [c3] 马修·莫斯克维奇 , Conor F.Madigan公司 , 赵莹 , 张林涛 , 莎拉·马利克 :
Chaff:设计一个高效的SAT求解器。 数模转换器 2001 : 530-535 【c2】 张林涛 , Conor F.Madigan公司 , 马修·莫斯克维奇 , 莎拉·马利克 :
布尔可满足性求解器中的高效冲突驱动学习。 国际计算机辅助设计协会 2001 : 279-285 【c1】 阿尔蒂·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 , 张林涛 , 莎拉·马利克 :
使用SAT和BDD进行图像计算的基于分区的决策启发式。 国际计算机辅助设计协会 2001 : 286-292