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

A World Wide Web based architecture for the implementation of a virtual laboratory 基于万维网的虚拟实验室体系结构的实现

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874400

Francisco J. Gómez-Arribas, Manuel Cervera, Javier Martínez

引用次数: 20

Designing high speed asynchronous pipelines 设计高速异步管道

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874658

S. Perri, P. Corsonello, G. Cocorullo

引用次数: 1

Using rising pitch as a communication metaphor: an empirical investigation 运用上升音调作为交际隐喻:一项实证研究

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874497

D. Rigas, J. Alty

{"title":"Using rising pitch as a communication metaphor: an empirical investigation","authors":"D. Rigas, J. Alty","doi":"10.1109/EURMIC.2000.874497","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874497","url":null,"abstract":"The paper describes a series of experiments in which the possibility of using rising pitch as a communication metaphor in user interfaces is investigated. These experiments were performed with one and two sequences of rising pitch notes taken either from the Diatonic or the Chromatic scale. Two groups of subjects participated in these experiments. One group consisted of British origin subjects and the second group of international origin subjects. The two groups of subjects aimed to identify cultural differences in subjects' perception of rising (ascending) pitch and synthesised voices (musical instruments). Results indicated that rising pitch can be perceived by subjects and thus can be used to communicate certain types of information with a reasonable degree of accuracy (/spl plusmn/3). All results were significant statistically. For example, information to be communicated using this rising pitch approach could be length, spatial location, lists and many other user interface or multimedia events. Cultural background did not appear to influence perception of rising pitch sequences. The change of the instrument also did not influence the perception of users. The paper concludes with a series of empirically derived design guidelines for the use of rising pitch in auditory and multimedia systems.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"49 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":"121435822","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

SystemC based hardware synthesis becomes reality 基于SystemC的硬件综合成为现实

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874663

Heinz-Josef Schlebusch

{"title":"SystemC based hardware synthesis becomes reality","authors":"Heinz-Josef Schlebusch","doi":"10.1109/EURMIC.2000.874663","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874663","url":null,"abstract":"Summary form only given. The advances in ASIC technology have enabled the design of systems-on-chip (SoC). The complexity associated with SoC is creating many new challenges at all levels of the design process. The article discusses SystemC, an open community C++ modeling platform for system-level design and hardware/software co-design. SystemC is broadly supported by a large and growing number of leading system houses, semiconductor companies, intellectual property (IP) providers, embedded systems and EDA tool vendors through the Open SystemC Initiative (OSCI). The objective of the OSCI is to engender a whole new market for system-level design solutions, based on its support of SystemC and a common modeling platform with built-in interoperability. In order to gain acceptance from the SoC engineering community, the new standard modeling platform has to be more than just a means of communication; it has to support all kinds of features that can help to solve their most burning issue, namely \"time-to-market\". For SoC, it is essential to support the reuse of intellectual property (IP) for multiple designs. That in turn means the support of IP creation as well as IP integration. Until recently, the synthesis tools required VHDL/Verilog descriptions as the design entry language, which of course was one good reason for hardware engineers not to adopt SystemC in their design flow. In June 2000, Synopsys introduced SystemC Compiler, a synthesis tool that allows one to synthesise hardware IP from a synthesizable subset of SystemC, thereby removing one of the biggest hurdles for the adoption of SystemC by the hardware design community.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"11 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":"128481341","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}

引用次数: 8

Verifying sequence and content for safety critical hypermedia systems 验证安全关键超媒体系统的序列和内容

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874408

R. Newman

引用次数: 2

Simulation meets verification-checking temporal properties in SystemC 仿真满足验证-检查SystemC中的时间属性

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874664

D. W. Hoffmann, Jürgen Ruf, T. Kropf, W. Rosenstiel

{"title":"Simulation meets verification-checking temporal properties in SystemC","authors":"D. W. Hoffmann, Jürgen Ruf, T. Kropf, W. Rosenstiel","doi":"10.1109/EURMIC.2000.874664","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874664","url":null,"abstract":"Due to the increasing complexity of VLSI circuit designs, errors are likely to happen at all stages in the design cycle. Already today, more then 70% of the development time is spend on circuit debugging. This number is even expected to grow in future and imposes yet unsolved challenges on tomorrow's EDA industry. Therefore, the verification of systems (hardware or embedded hardware/software systems) is one of the most important tasks in the design process. To cope with the increasing complexity, various attempts have been made to increase productivity. Among those, one is to provide better suited system description languages (SDLs) supporting the designer at all levels of abstraction. Another important issue is the development of tailored validation and verification techniques. In the past, most verification techniques have been based on simulation and test methods. Recently, formal methods such as temporal property checking has become increasingly popular. However, their industrial applicability is currently restricted to small or medium sized design or to a specific phase in the design cycle. The author describe a simulation based method for verifying temporal properties of systems described in SystemC/sup TM/. The method allows the user to specify properties about the system in a finite version of linear time temporal logic (FLTL). These properties are then checked on-the-fly during each simulation run, and each violation is immediately signaled to the designer.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"14 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":"125341946","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}

引用次数: 3

Computer models for strategic business process optimisation 战略业务流程优化的计算机模型

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874426

V. Haase

引用次数: 6

On the computation time of three-dimensional digital waveguide mesh acoustic models 三维数字波导网格声学模型的计算时间研究

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874498

G. Campos, D. Howard

引用次数: 9

Developing ICU-Talk. A computer based communication aid for patients in intensive care ICU-Talk发展。一种用于重症监护病人的计算机通信辅助设备

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874508

A. Judson, I. Ricketts, A. Waller, N. Alm, B. Gordon, F. MacAulay, J. Brodie, M. Etchels, A. Warden, A. J. Shearer

引用次数: 2

Verification of designs containing black boxes 验证包含黑盒的设计

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI: 10.1109/EURMIC.2000.874621

Wolfgang Günther, Nicole Drechsler, R. Drechsler, B. Becker

引用次数: 16