迈克尔·多塞斯
人员信息
其他同名人员
优化列表
2020年–今天
2023 [公元43年] Konstantinos Korakis公司 , 迈克尔·多塞斯 :
“制冷、通风和空调装置技术员”:职业学校三级机械专业现代课程的新方法。 SEEDA-玉米 2023 : 1-6 2022 [j7] Dimitrios Amanatidis公司 , 迈克尔·多塞斯 :
使用CCC框架的SGD行为合成:一个简单的XOR求解MLP。 申请。 智力。 52 ( 13 ) : 15226-15236 ( 2022 ) [j6] 安东尼奥斯·达达利亚利斯 , 乔治·克拉纳斯 , Oikonomou泛球虫 , 乔治·弗洛斯 , 迈克尔·多塞斯 :
在合法化和详细放置场景中利用网络连接。 信息。 13 ( 5 ) : 212 ( 2022 ) [公元42年] 迪米特里奥斯·帕帕莱卡斯 , 阿萨纳西奥斯·齐奥瓦拉斯 , 乔治·弗洛斯 , 乔治·迪米特里奥 , 迈克尔·多塞斯 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) :
通过基于度量的工作负载分类预测近数据处理性能改进。 莫卡斯特 2022 : 1-4 [公元41年] Dimitrios Amanatidis公司 , 乔治·查齐萨瓦斯(Georgios Chatzisavas) , 迈克尔·多塞斯 :
利用深度学习进行基于脑MRI的自身免疫性疾病诊断。 SEEDA-玉米 2022 : 1-5 [公元40年] Dimitrios Amanatidis公司 , Kyriakos Kydoniefs公司 , 迈克尔·多塞斯 :
基因可视化数据库。 SEEDA-玉米 2022 : 1-5 [公元39年] Dimitrios Amanatidis公司 , 伊菲涅娅·米洛纳 , 迈克尔·多塞斯 :
社交媒体与消费者行为:探索性因素分析。 SEEDA-玉米 2022 : 1-5 [c38] Dimitrios Amanatidis公司 , 康斯坦蒂娜·瓦西 , 迈克尔·多塞斯 :
生物信息学的深层神经网络应用。 SEEDA-玉米 2022 : 1-9 [公元37年] 乔治·克拉纳斯 , 安东尼奥斯·达达利亚利斯 , Oikonomou泛球虫 , 迈克尔·多塞斯 :
清除VLSI封装的PyPi。 SEEDA-玉米 2022 : 1-6 [公元36年] 伊菲涅娅·米洛纳 , Dimitrios Amanatidis公司 , 迈克尔·多塞斯 :
Instagram上的希腊议会议员:关于塑造政治形象的研究。 SEEDA-玉米 2022 : 1-7 [公元35年] 西奥多拉·萨尼达 , Argyros Sideris公司 , 安东尼奥斯·查齐萨瓦斯 , 迈克尔·多塞斯 , 米纳斯·达西根尼斯 :
在嵌入式系统上使用传输学习的射线照相图像。 SEEDA-玉米 2022 : 1-4 [公元34年] Argyros Sideris公司 , 西奥多拉·萨尼达 , 安东尼奥斯·查齐萨瓦斯 , 迈克尔·多塞斯 , 米纳斯·达西根尼斯 :
基于FPGA微处理器的Keccak算法高吞吐量图像处理。 SEEDA-玉米 2022 : 1-4 2021 [公元33年] 安东尼奥斯·达达利亚利斯 , 安东尼奥斯·特拉古达拉斯 , 乔治·克拉纳斯 , 迈克尔·多塞斯 , 乔治·迪米特里奥 :
以批处理模式并置Vivado设计流。 PCI公司 2021 : 134-137 [公元32年] 亚历山德罗斯·安杰鲁 , 安东尼奥斯·达达利亚利斯 , 迈克尔·多塞斯 , 乔治奥斯·迪米特里奥 :
现代处理器体系结构的无分支代码生成。 PCI公司 2021 : 300-305 [c31] 安东尼奥斯·达达利亚利斯 , 乔治·克拉纳斯 , Oikonomou泛球虫 , 迈克尔·多塞斯 :
标准单元设计基于连接的合法化器的变体。 SEEDA-玉米 2021 : 1-5 [公元30年] 迈克尔·多塞斯 :
高级综合环境中的聚合形式验证。 SEEDA-玉米 2021 : 1-5 [公元29年] 乔治·克拉纳斯 , 安东尼奥斯·达达利亚利斯 , Oikonomou泛球虫 , 乔治·弗洛斯 , 迈克尔·多塞斯 :
重新设计、扩展和评估放置实用程序工具集。 SEEDA-玉米 2021 : 1-5 [公元28年] 尼科尔·弗里苏利 , Dimitrios Kotsifakos公司 , 迈克尔·多塞斯 , 克里斯托斯·杜利格里斯 :
VET中的STEAM——ArcGIS StoryMap方法。 SEEDA-玉米 2021 : 1-8 2020 [公元27年] 阿塔纳西奥斯·齐奥瓦拉斯 , 乔治·迪米特里奥 , 迈克尔·多塞斯 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) :
基于自适应操作的ALU和FPU时钟。 MOCAST公司 2020 : 1-4 [公元26年] 迈克尔·多塞斯 :
使用自动和可执行、周期准确模拟器和生成的测试台进行快速、正式验证。 PCI公司 2020 : 144-147 [公元25年] Dimitrios Amanatidis公司 , 迈克尔·多塞斯 :
CCC框架:XOR问题的简单MLP的训练和推理。 SEEDA-玉米 2020 : 1-5 [公元24年] 乔治·迪米特里奥 , 迈克尔·多塞斯 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) :
高级综合中的全局变量和指针变量。 SEEDA-玉米 2020 : 1-6 【c23】 乔治·克拉纳斯 , 出租车司机G.库斯科拉斯 , Vasileios Dimitriadis公司 , 迈克尔·多塞斯 , Oikonomou泛球虫 , 安东尼奥斯·达达利亚利斯 :
一种新的遗传算法用于保留先前单元位置的I/O焊盘规划。 SEEDA-玉米 2020 : 1-5 [公元22年] 乔治·西西亚斯 , Sotirios Kontogiannis公司 , 默托·康斯坦蒂尼杜 , 迈克尔·多塞斯 :
用于高速公路适用检测系统的拟议CNN框架的初步结果。 SEEDA-玉米 2020 : 1-7
2010 – 2019
2019 【c21】 Dimitrios Amanatidis公司 , 迈克尔·多塞斯 :
CART的高级合成。 SEEDA-玉米 2019 : 1-5 [公元20年] Dimitrios Amanatidis公司 , 迈克尔·多塞斯 , 伊菲涅娅·米洛纳 :
TripAdvisor评论情绪分析的卷积神经网络。 SEEDA-玉米 2019 : 1-6 [第19条] 阿塔纳西奥斯·齐奥瓦拉斯 , 乔治·迪米特里奥 , 迈克尔·多塞斯 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) :
流水线处理器中基于指令的时序分析。 SEEDA-玉米 2019 : 1-6 2018 [第18条] 迈克尔·多塞斯 , Ioannis Kazanidis公司 , 瓦萨米迪斯(Stavros Valsamidis) , 乔治·科科尼斯 , Sotirios Kontogiannis公司 :
为交互式物联网智能博物馆提出的开源框架。 PCI公司 2018 : 294-299 [第17条] 伊奥尼斯·乔治亚迪斯 , 迈克尔·多塞斯 , Sotirios Kontogiannis公司 :
物联网设备安全数据传输过程的性能评估。 PCI公司 2018 : 306-311 [第16条] 乔治·迪米特里奥 , 迈克尔·多塞斯 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) :
用于高水平合成的循环流水线中的操作依赖性。 SEEDA-玉米 2018 : 1-6 [第15条] 迈克尔·多塞斯 , 乔治·迪米特里奥 :
解决CCC高级综合E-CAD框架中的回路管线问题。 TSP公司 2018 : 1-4 2017 [j5] 尼古拉斯·卡尔卡洛斯 , 安杰洛斯·马克普洛斯 , 迈克尔·多塞斯 :
基于ANN模型的3R机器人逆运动学解的最佳模型参数。 国际期刊制造材料。 机械。 工程师。 7 ( 三 ) : 20-40 ( 2017 ) [第14条] 乔治·迪米特里奥 , 迈克尔·多塞斯 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) :
CCC高级合成中的循环流水线。 MOCAST公司 2017 : 1-4 2016 [第13条] 乔治·迪米特里奥 , 乔治奥斯·查齐亚纳斯塔西奥 , 阿波斯托洛斯·沙基里迪斯 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) , 迈克尔·多塞斯 :
用于高级综合的源代码级编译器优化。 SEEDA-玉米 2016 : 11-18 [第12条] 安杰洛斯·马克普洛斯 , 迈克尔·多塞斯 , 阿纳斯塔西奥斯·弗拉古奥 , Petros D.Kasidiaris公司 :
将电子学习游戏化作为克服其不足的手段。 SEEDA-玉米 2016 : 86-91 2015 [第11条] Kleovoulos Kalaitzidis公司 , 乔治奥斯·迪米特里奥 , 乔治奥斯·斯塔穆利斯(Georgios I.Stamoulis) , 迈克尔·多塞斯 :
功能单元网络处理器的性能和功耗模拟。 泛希腊信息学会议 2015 : 71-76 [第10条] 迈克尔·多塞斯 , 乔治·迪米特里奥 :
高级C结构的硬件合成。 泛希腊信息学会议 2015 : 83-85 2014 【c9】 迈克尔·多塞斯 :
高级合成的浮点范式。 泛希腊信息学会议 2014 : 22:1-22:6 2013 【c8】 迈克尔·多塞斯 :
在正式设计框架中进行建模和仿真。 BCI公司 2013 : 31-38 [第1页] 迈克尔·多塞斯 :
高层和系统综合中的形式化方法。 语义超/多媒体适配 2013 : 23-81 2012 【j4】 迈克尔·多塞斯 :
控制密集型应用的正式ESL合成。 高级软件。 工程师。 2012 : 156907:1-156907:30 ( 2012 ) 2011 【c7】 Dimitrios Amanatidis公司 , 迈克尔·多塞斯 :
使用行为合成实现用于图像处理应用的细胞神经网络。 泛希腊信息学会议 2011 : 183-187 2010 [j3] 迈克尔·多塞斯 :
通过基于知识的智能系统自动提取硬件加速器。 《国际情报杂志》。 信息处理。 1 ( 2 ) : 14-31 ( 2010 ) [注2] 迈克尔·多塞斯 :
通过Web对程序加速器进行预防性纠正、行为化的高级合成。 J.下一代。 技术信息。 1 ( 1 ) : 47-60 ( 2010 ) [j1] 迈克尔·多塞斯 :
设计自动化工具的中间谓词格式。 J.下一代。 技术信息。 1 ( 1 ) : 100-117 ( 2010 ) 【c6】 迈克尔·多塞斯 :
具有选项的可证明正确的硬件的合成。 ICECS公司 2010 : 631-634 【c5】 迈克尔·多塞斯 :
从控制密集型顺序程序自动生成大规模并行硬件。 超大规模集成电路 2010 : 98-103 【c4】 迈克尔·多塞斯 :
使用XML模式验证正式硬件编译器。 SMAP公司 2010 : 90-97
2000 – 2009
2009 【c3】 迈克尔·多塞斯 , T.泰米利斯 , L.马尔科普洛斯 :
生成程序协处理器的Web服务。 SMAP公司 2009 : 121-128
1990 – 1999
1999 【c2】 迈克尔·申克 , 迈克尔·多塞斯 :
使用时序图验证正确的硬件编译。 复地 1999 : 313-331 1994 【c1】 迈克尔·多塞斯 , 詹姆斯·诺拉斯 , 加里·波特 :
从ADA合成定制硬件。 国际会计准则委员会 1994 : 229-232