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

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future最新文献

筛选
英文 中文
Supporting tele-teaching: visualization aspects 支持远程教学:可视化方面
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-10-01 DOI: 10.1109/EURMIC.2000.874401
O. Brand, L. Petrak, D. Sturzebecher, M. Zitterbart
{"title":"Supporting tele-teaching: visualization aspects","authors":"O. Brand, L. Petrak, D. Sturzebecher, M. Zitterbart","doi":"10.1109/EURMIC.2000.874401","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874401","url":null,"abstract":"A strong trend for using collaborative systems in teaching can be observed. Often first experience is gained by conducting seminars or lectures with existing tools, e.g., using the MBone. These tests generally find that the support of existing, mainly generic tools is not adequate for tele-teaching. While some projects directly address learning aspects these tend to be limited in scalability, mainly addressing smaller groups. Our approach is to develop a general framework and basic components which can be used in a variety of scenarios. Currently the two main scenarios are a discussion group consisting of few (about 10) participants with equal rights, and a lecture scenario with more participants (up to 100) and a lecturer in control. For these scenarios, not only aspects of session control are relevant, but as well methods to provide feedback to the lecturer about the current session. This is achieved through a combination of visualization methods customized for the selected scenario. The session control uses a graphical representation of a room typically used in the specified scenario in order to provide feedback and to allow ease of use. The control marks tools currently in use allowing the lecturer and students to easily identify and participate in the corresponding media representation (e.g., audio and video). A special feedback tool allows rating, and can be used to gain feedback from the students about the received video and audio quality, the speed of presentation or any other resource one wants a rating on.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"305 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117108745","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
HOMER-D: a European funded project-from conception to implementation HOMER-D:欧洲资助的项目——从概念到实施
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874517
C. Skouras
{"title":"HOMER-D: a European funded project-from conception to implementation","authors":"C. Skouras","doi":"10.1109/EURMIC.2000.874517","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874517","url":null,"abstract":"Haemodialysis and peritoneal dialysis are the two techniques used to maintain patients with end-stage renal failure to life. Both procedures need regular hospital visits, with haemodialysis being the most demanding but producing the best long term results. HOMER-D provides a solution for safely delivering complete haemodialysis treatment to patients at their homes. The system is heavily based on telemedicine and cutting edge IT/IS technologies. It was researched, built and deployed for clinical trials with totally acceptable clinical results. HOMER-D was partially funded by the European Community.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"265 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121065925","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
Towards application-specific architecture platforms: embedded systems design automation technologies 面向特定应用架构平台:嵌入式系统设计自动化技术
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874613
P. Paulin
{"title":"Towards application-specific architecture platforms: embedded systems design automation technologies","authors":"P. Paulin","doi":"10.1109/EURMIC.2000.874613","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874613","url":null,"abstract":"Architectural platforms can be defined as a domainor application-specific base design which is easily configured to the specific needs of a given market. This configuration can be done before fabrication, i.e. at the design level, supported by hardware configuration and synthesis tools. The configuration can also be done after chip fabrication, by programming portions of logic on the chip implemented as embedded FPGA (eFPGA). Alternatively, configuration can be done more simply by downloading new S/W program code for on-board embedded processors, assuming embedded reprogrammable memory is used (for example, embedded Flash or one-time programmable memories).","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128545142","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}
引用次数: 5
ACTion: combining logic synthesis and technology mapping for MUX based FPGAs 动作:结合逻辑综合和基于MUX的fpga的技术映射
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874625
Wolfgang Günther, R. Drechsler
{"title":"ACTion: combining logic synthesis and technology mapping for MUX based FPGAs","authors":"Wolfgang Günther, R. Drechsler","doi":"10.1109/EURMIC.2000.874625","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874625","url":null,"abstract":"Technology mapping for multiplexor (MUX) based field programmable gate arrays (FPGAs) has widely been considered. A new algorithm is proposed that applies techniques from logic synthesis during mapping. By this, the target technology is considered in the minimization process. Binary decision diagrams (BDDs) are used as an underlying data structure due to the close relation between BDDs and MUX netlists. The algorithm uses local don't cares obtained by a greedy algorithm. The mapping is sped up by computing signatures. A trade-off quality versus runtime can be specified by the user by setting different parameters. Experimental results comparing the approach to the best known results show improvements of more than 30% for area and 40% for delay for many instances.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123531920","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}
引用次数: 28
Integrating groupware and CASE capabilities for improving stakeholder involvement in requirements engineering 集成群件和CASE功能，以改进涉众在需求工程中的参与
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874423
P. Grünbacher
{"title":"Integrating groupware and CASE capabilities for improving stakeholder involvement in requirements engineering","authors":"P. Grünbacher","doi":"10.1109/EURMIC.2000.874423","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874423","url":null,"abstract":"A methodology for collaborative requirements engineering has to provide intuitive and straightforward means for involving success-critical stakeholders like customers, users, and developers. A promising approach is to provide a set of views presenting comprehensible portions of the evolving requirements model to the stakeholders. We have developed such views for requirements negotiation in the course of the EasyWinWin project. Tools supporting these views need to provide support for stakeholder collaboration as well as modeling and analysis. We have therefore integrated two COTS products: a collaboration platform and a CASE environment.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121554740","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}
引用次数: 21
Formal coverification of embedded systems using model checking 使用模型检查的嵌入式系统的正式覆盖
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874622
L. Cortés, P. Eles, Zebo Peng
{"title":"Formal coverification of embedded systems using model checking","authors":"L. Cortés, P. Eles, Zebo Peng","doi":"10.1109/EURMIC.2000.874622","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874622","url":null,"abstract":"The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for hardware/software systems are needed. We introduce a computational model for embedded systems based on Petri nets, called PRES. We present an approach to coverification of both the hardware and software parts of an embedded system represented by PRES. We use symbolic model checking to prove the correctness of such systems, specifying properties in CTL and verifying whether they are satisfied. This coverification method permits one to reason formally about design properties as well as timing requirements. A medical monitoring system illustrates the feasibility of our approach on practical applications.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"7 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114007105","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}
引用次数: 36
Automated extraction of image segments from clinically diagnostic hand-drawn geometric shapes 从临床诊断手绘几何形状中自动提取图像片段
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874527
R. Guest, M. Fairhurst, J. Potter
{"title":"Automated extraction of image segments from clinically diagnostic hand-drawn geometric shapes","authors":"R. Guest, M. Fairhurst, J. Potter","doi":"10.1109/EURMIC.2000.874527","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874527","url":null,"abstract":"Simple geometric shape drawing tasks are commonly used to diagnose and monitor patient performance for a range of clinical and neuropsychological conditions. Assessment relies upon observing the presence of components within a drawn image. The application of assessment criteria has been shown to vary amongst trained raters. An algorithm is presented to automatically extract the components from the static image of shape drawing responses. Specifically, images taken from a group of patients with visuo-spatial neglect and control subjects show the accurate identification of horizontal, vertical and diagonal components. Examples of performance metrics based on the features extracted from the component analysis show clear differences between neglect and control responses which are able to detect differences in performance more sensitive to the standard number of component assessment.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132505242","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
Behavior-preserving transformations for design-for-test 为测试而设计的行为保留转换
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874633
J. Voeten, H. Vranken
{"title":"Behavior-preserving transformations for design-for-test","authors":"J. Voeten, H. Vranken","doi":"10.1109/EURMIC.2000.874633","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874633","url":null,"abstract":"An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controllability and observability of the internal system behavior. This can be achieved by introducing Points of Control and Observation (PCOs) in a system. We examine the effects of PCO insertion in a behavioral system specification expressed in the CCS process algebra. We define a collection of behavior-preserving transformations that enable PCOs to be inserted in a correct way, i.e. without disturbing the initial system behavior. The transformations are proven to preserve the observational system behavior and therefore they make the time-consuming process of a posteriori formal verification superfluous.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131507146","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}
引用次数: 1
Dynamic reference to support authoring of Web based material 动态参考以支持基于Web的材料的创作
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874403
V. Konstandinidis, E. H. Ng, C. Ghaoui
{"title":"Dynamic reference to support authoring of Web based material","authors":"V. Konstandinidis, E. H. Ng, C. Ghaoui","doi":"10.1109/EURMIC.2000.874403","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874403","url":null,"abstract":"Generally, a system developed and based primarily on reusable software components is more reliable and of better quality, as frequently used components tend to be of a higher standard. Tools that support authoring of Web based material form a subclass of software. Thus, Web developers should benefit from such tools that make use of reusable components. This paper presents a way of improving the reusability of tools that support authoring of Web based material through dynamic reference (DR).","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127417750","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}
引用次数: 1
Reliability analysis of a self-repairing embryonic machine 自我修复胚胎机的可靠性分析
Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874653
C. Ortega-Sanchez, A. Tyrrell, D. Mange, A. Stauffer, G. Tempesti
{"title":"Reliability analysis of a self-repairing embryonic machine","authors":"C. Ortega-Sanchez, A. Tyrrell, D. Mange, A. Stauffer, G. Tempesti","doi":"10.1109/EURMIC.2000.874653","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874653","url":null,"abstract":"The embryonics project proposes a family of cellular architectures with reconfiguration properties inspired by the ontogenesis of multicellular organisms. This paper proposes reliability models for the MICTREE embryonic architecture. The models are used to analyse the reliability of MICTREE arrays with different combinations of spare cells. The methodology followed to attain the models can be used to analyse other cellular architectures with spares.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115597098","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
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信