大卫·瓦尔特
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [j7] 马可·迪·玛丽亚 , 大卫·瓦尔特 , 托尔斯滕·肖曼 , 拉尔夫·克纳克斯特德 :
设计挑战来自virtuellen Raum-Ein Erfahrungsbericht und Handlungsempfehlungen。 HMD Prax公司。 维茨。 60 ( 三 ) : 738-753 ( 2023 ) [公元20年] 马可·迪·玛丽亚 , 大卫·瓦尔特 , 保尔·费迪南德·斯特克 , 拉尔夫·克纳克斯特德 :
通过学习缓解教育挑战。 DELFI公司 2023 : 38 [第19条] 马可·迪·玛丽亚 , 大卫·瓦尔特 , 费比安·塞吉特 , 拉尔夫·克纳克斯特德 :
核心反射器-原型zur Unterstützung von Verlernen beim分析Lesen für Studierende。 DELFI公司 2023 : 42 [第18条] 大卫·瓦尔特 , 马可·迪·玛丽亚 , 拉尔夫·克纳克斯特德 :
混合学习环境中管理技术压力的工具支持。 DELFI公司 2023 : 63 [第17条] 马可·迪·玛丽亚 , 大卫·瓦尔特 , 托尔斯滕·肖曼 , 拉尔夫·克纳克斯特德 :
实用的非学习支持——组织该领域的系统回顾。 ECIS公司 2023 [第16条] 马可·迪·玛丽亚 , 大卫·瓦尔特 , 拉尔夫·克纳克斯特德 :
通过组织间无学习促进可持续生态系统——呼吁研究。 GI-Jahrestagung公司 2023 : 1351-1358 [第15条] 马可·迪·玛丽亚 , 大卫·瓦尔特 , 托尔斯滕·肖曼 , 拉尔夫·克纳克斯特德 :
设计无学习支持系统:需求目录。 经济信息学 2023 : 49 2022 [第14条] 马可·迪·玛丽亚 , 大卫·瓦尔特 , 拉尔夫·克纳克斯特德 :
主题设计师-Eine Webanwendung zur Unterstützung von Abschlussarbeiten。 DELFI公司 2022 : 243-244 [i1] 阿扬·巴苏马利克 , 大流士·布南达 , 尼古拉斯·德龙 , 尼古拉斯·C·哈里斯 , 卢德米拉·列夫科娃 , 卡尔文·麦卡特 , 拉克希米·奈尔 , 大卫·瓦尔特 , 大卫·威德曼 :
模拟深度学习硬件的自适应块浮点。 CoRR公司 abs/2205.06287 ( 2022 )
2010 – 2019
2018 [第13条] 罗希尔·维玛 , 金淳基 , 大卫·瓦尔特 :
情感分析器弱点的句法分析。 EMNLP公司 2018 : 1122-1127 2014 [第12条] 安德鲁·费舍尔 , 萨蒂什·巴库 , 凯文·琼斯 , 达纳什里·库尔卡尼 , 斯科特·利特尔 , 大卫·瓦尔特 , 克里斯·迈尔斯 :
LEMA:数字密集型模拟/混合信号电路的正式验证工具。 MWSCAS公司 2014 : 1017-1020 2013 [第11条] 科斯塔丁·达梅夫斯基 , 巴德雷丁·阿勒塔耶布 , 陈慧(音) , 大卫·瓦尔特 :
通过建模和验证向计算机科学家教授网络物理系统。 SIGCSE公司 2013 : 567-572 2011 [j6] 斯科特·利特尔 , 大卫·瓦尔特 , 克里斯·迈尔斯 , 罗伯特·A·萨克 , 萨蒂什·巴库 , Tomohiro Yoneda公司 :
使用标记混合Petri网验证模拟/混合信号电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 30 ( 4 ) : 617-630 ( 2011 ) 2010 [j5] 斯科特·利特尔 , 大卫·瓦尔特 , 凯文·琼斯 , 克里斯·迈尔斯 , 阿尔珀·森 :
使用模拟轨迹生成的模型进行模拟/混合信号电路验证。 发现的国际期刊。 计算。 科学。 21 ( 2 ) : 191-210 ( 2010 )
2000 – 2009
2008 【j4】 大卫·瓦尔特 , 斯科特·利特尔 , 克里斯·迈尔斯 , 尼古拉斯·西格米勒 , Tomohiro Yoneda公司 :
使用符号方法验证模拟/混合信号电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 12 ) : 2223-2235 ( 2008 ) 2007 【b1】 大卫·瓦尔特 :
使用符号方法验证模拟和混合信号电路。 美国犹他大学, 2007 [第10条] 大卫·瓦尔特 , 斯科特·利特尔 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
模拟/混合信号电路的符号模型检查。 ASP-DAC公司 2007 : 316-323 【c9】 大卫·瓦尔特 , 斯科特·利特尔 , 克里斯·迈尔斯 :
使用SMT求解器对模拟和混合信号电路进行有界模型检查。 ATVA公司 2007 : 66-81 【c8】 斯科特·利特尔 , 大卫·瓦尔特 , 凯文·琼斯 , 克里斯·迈尔斯 :
使用模拟轨迹生成的模型进行模拟/混合信号电路验证。 ATVA公司 2007 : 114-128 2006 [j3] 郝政 , 克里斯·迈尔斯 , 大卫·瓦尔特 , 斯科特·利特尔 , Tomohiro Yoneda公司 :
用故障定向抽象验证定时电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 25 ( 三 ) : 403-412 ( 2006 ) 【c7】 斯科特·利特尔 , 尼古拉斯·西格米勒 , 大卫·瓦尔特 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
使用标记混合petri网验证模拟/混合信号电路。 国际计算机辅助设计协会 2006 : 275-282 2005 【c6】 克里斯·迈尔斯 , 里德·哈里森 , 大卫·瓦尔特 , 尼古拉斯·西格米勒 , 斯科特·利特尔 :
模拟电路验证案例。 传真 2005 : 53-63 2004 【c5】 斯科特·利特尔 , 大卫·瓦尔特 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
用时间混合Petri网验证模拟和混合信号电路。 ATVA公司 2004 : 426-440 2003 【c4】 郝政 , 克里斯·迈尔斯 , 大卫·瓦尔特 , 斯科特·利特尔 , Tomohiro Yoneda公司 :
用故障导向抽象验证定时电路。 ICCD公司 2003 : 28-35
1990 – 1999
1996 【c3】 大卫·瓦尔特 , 乔恩·克里奇 :
IRISS并行数据库机的设计。 HPCN欧洲 1996 : 913-914 1995 【c2】 乔恩·柯里奇 , 大卫·瓦尔特 , 罗莫拉·吉顿 :
W-SQL:可扩展、高度并行数据库机器的接口。 BNCOD公司 1995 : 263-276 1994 [注2] 大卫·瓦尔特 :
来自牛顿、塞肯和理查森方法的计算机艺术。 计算。 图表。 18 ( 1 ) : 127-131 ( 1994 ) 【c1】 大卫·瓦尔特 , 乔恩·克里奇 :
自动指纹识别中的大规模数据管理和大规模并行结构。 HPCN公司 1994 : 435-440 1993 [j1] 大卫·瓦尔特 :
制作电脑艺术的系统偶然发现。 计算。 图表。 17 ( 6 ) : 699-700 ( 1993 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)