Pub Date : 2000-10-01DOI: 10.1109/EURMIC.2000.874401
O. Brand, L. Petrak, D. Sturzebecher, M. Zitterbart
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.
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874517
C. Skouras
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.
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874613
P. Paulin
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).
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874625
Wolfgang Günther, R. Drechsler
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.
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874423
P. Grünbacher
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.
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874622
L. Cortés, P. Eles, Zebo Peng
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.
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874527
R. Guest, M. Fairhurst, J. Potter
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.
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874633
J. Voeten, H. Vranken
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.
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874403
V. Konstandinidis, E. H. Ng, C. Ghaoui
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).
{"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}
Pub Date : 2000-09-05DOI: 10.1109/EURMIC.2000.874653
C. Ortega-Sanchez, A. Tyrrell, D. Mange, A. Stauffer, G. Tempesti
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：