发布求助
文献互助 智能选刊 最新文献

European Educational Forum最新文献

筛选
英文 中文
Verification of Randomized Distributed Algorithms 随机分布算法的验证
European Educational Forum Pub Date : 2002-01-17 DOI: 10.1007/3-540-44667-2_6
R. Segala
{"title":"Verification of Randomized Distributed Algorithms","authors":"R. Segala","doi":"10.1007/3-540-44667-2_6","DOIUrl":"https://doi.org/10.1007/3-540-44667-2_6","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127158930","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Development of Embedded Software at ICT ICT嵌入式软件的开发
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_32
F. T. G. Veltmaat
{"title":"Development of Embedded Software at ICT","authors":"F. T. G. Veltmaat","doi":"10.1007/3-540-65193-4_32","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_32","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"344 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134232871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Long Road from Research to Telecommunication Applications 从研究到电信应用的漫漫长路
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_31
Hans F. van Rietschote
{"title":"The Long Road from Research to Telecommunication Applications","authors":"Hans F. van Rietschote","doi":"10.1007/3-540-65193-4_31","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_31","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"188 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123014995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Engineering of Real-Time Systems with an Experiment in Hybrid Control 实时系统工程与混合控制实验
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_27
A. Ravn, T. Eriksen, Michael Holdgaard, H. Rischel
{"title":"Engineering of Real-Time Systems with an Experiment in Hybrid Control","authors":"A. Ravn, T. Eriksen, Michael Holdgaard, H. Rischel","doi":"10.1007/3-540-65193-4_27","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_27","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128604385","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Analyzing and Synthesizing Hybrid Control Systems 混合控制系统的分析与综合
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_19
M. Branicky
{"title":"Analyzing and Synthesizing Hybrid Control Systems","authors":"M. Branicky","doi":"10.1007/3-540-65193-4_19","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_19","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":" February","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120827243","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Embedded Systems in Consumer Products 消费产品中的嵌入式系统
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_30
R. Bourgonjon
{"title":"Embedded Systems in Consumer Products","authors":"R. Bourgonjon","doi":"10.1007/3-540-65193-4_30","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_30","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"67 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120896249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Proof-Based System Engineering and Embedded Systems 基于验证的系统工程和嵌入式系统
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_23
G. L. Lann
{"title":"Proof-Based System Engineering and Embedded Systems","authors":"G. L. Lann","doi":"10.1007/3-540-65193-4_23","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_23","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115754922","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 34
A Design Notation and Toolset for High-Performance Embedded Systems Development 高性能嵌入式系统开发的设计符号和工具集
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_24
Devesh Bhatt, J. Shackleton
{"title":"A Design Notation and Toolset for High-Performance Embedded Systems Development","authors":"Devesh Bhatt, J. Shackleton","doi":"10.1007/3-540-65193-4_24","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_24","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116862368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A Modular Approach for Programming Embedded Systems 嵌入式系统编程的模块化方法
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_22
Shangping Ren, G. Agha
{"title":"A Modular Approach for Programming Embedded Systems","authors":"Shangping Ren, G. Agha","doi":"10.1007/3-540-65193-4_22","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_22","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"280 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134220475","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
On Modeling Real-Time Task Systems 实时任务系统建模
European Educational Forum Pub Date : 1996-11-25 DOI: 10.1007/3-540-65193-4_21
Deji Chen, A. Mok, Sanjoy Baruah
{"title":"On Modeling Real-Time Task Systems","authors":"Deji Chen, A. Mok, Sanjoy Baruah","doi":"10.1007/3-540-65193-4_21","DOIUrl":"https://doi.org/10.1007/3-540-65193-4_21","url":null,"abstract":"","PeriodicalId":426063,"journal":{"name":"European Educational Forum","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114756399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信