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

{"title":"Application of design style in evolutionary multi-level networks synthesis","authors":"T. Luba, C. Moraga, S. Yanushkevich, V. Shmerko, J. Kolodziejczyk","doi":"10.1109/EURMIC.2000.874628","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874628","url":null,"abstract":"Considers the evolutionary design of logical networks from the computer-aided design (CAD) point of view. Scanning the space of all possible network solutions by a scanning window is the the crucial point of an evolutionary paradigm. This is the basis for the implementation of CAD methods in order to improve recently obtained results on the evolutionary approach for network synthesis. Firstly, we introduce the concept of a target design style in evolutionary network synthesis and show that it is closely related to the CAD problem of multi-level network design over a fixed library of cells. Secondly, because the network search space is partitionable, we use the technique of switching function decomposition. Therefore, independent parallel processing of subspaces via genetic algorithms (GAs) is possible. Moreover, since GAs are inherently parallel, we achieve massively parallel processing. The experimental data demonstrate the efficiency of the proposed approach and large improvements over recently obtained results.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"33 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":"133547014","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}

{"title":"An improved column compatibility approach for partition based functional decomposition","authors":"V. Muthukumar, R. Bignall, H. Selvaraj","doi":"10.1109/EURMIC.2000.874617","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874617","url":null,"abstract":"The paper deals with the problem of generating compatible pairs of a k-block partition P(B)=(B/sub 1/, B/sub 2/, ..., B/sub k/), where B is the bound set. Compatible and incompatible pairs of block partitions of P(B) are generated by a partition calculus based approach called the Block Compatible Approach. The compatible block partitions generate a compatibility graph that can be solved using clique partition algorithms. The incompatible block partitions form an incompatibility graph, which can be solved using a graph colouring algorithm or maximum independent set (MIS) partition algorithm.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"263 31‐35","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132442459","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}

{"title":"A new state assignment method targeting FPGA implementations","authors":"L. Józwiak, A. Slusarczyk","doi":"10.1109/EURMIC.2000.874615","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874615","url":null,"abstract":"State assignment is one of the most important problems in hardware implementation of finite state machines. It influences to a high degree all quality aspects of the final hardware implementation. FPGAs are commonly used for implementation of systems produced in small- to medium-size series or requiring a relatively high speed and/or (re)programmability. With both speed and logic capacity rapidly growing, FPGAs evolved very quickly to highly-flexible technology of choice for major manufacturers. Unfortunately, the progress in synthesis methods and EDA tools for FPGA implementations does not keep up with the revolutionary development of the FPGA hardware platform. The characteristic features of the technology invalidate the traditionally used criteria, heuristics and synthesis methods. The development of new FPGA-targeted (near) optimal state assignment methods is therefore of primary practical importance. In this paper we propose a new state assignment method for FPGA implementations. It consists in optimization of the information flows in the resulting circuit. This results in binary functions with compact input supports, circuit composed of reasonably independent and highly coherent parts, and minimized (long) interconnections between the parts. The proposed method produces therefore compact and fast circuits in FPGA technology. Our tool that implements the method, compared to state-of-the-art encoding tools, consistently produces high quality results.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"1 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":"124108178","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}

{"title":"How internet and intranets are challenging all educational systems","authors":"H. Maurer","doi":"10.1109/EURMIC.2000.874609","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874609","url":null,"abstract":"A recent (March 2000) survey reports that there are over 100.000 WWW sites, that contain educational material of some kind. This survey is correct, if the \"some kind\" is interpreted in a rather liberal fashion. However, closer inspection will reveal that much of the material is little more than some sort of pages from an electronic book: the advantage over books (except for the ease of accessibility?) is quite unclear, to put it mildly. \"The World Lecture Hall\", a basically positive undertaking, contains only a very partial list of already screened material ( http://www.utexas.edu/world/lecture/). Even this shows already some 90 topics with some 2000 entries, many entries with dozens of chapters: hence, this site alone points to probably well over 10.000 units that can be considered reasonable quality information material. I have very deliberately used the term \"information\" rather than \"educational\" material: as blurred as the border between those two types of material may be, there is a tremendous difference, a difference not often recognized enough. WWW (be it an Internet or Intranet variety) will only change our educational system if it offers much more than information. The buzz words most often heard are: \" You don't just need information but interaction, you need things where the computer is used in essential way, not just as page turning mechanism\". This is not incorrect as such, yet has led to so many wrong efforts that I consider it today a very angerous statement indeed. Many persons have deduced from this statement that if they just add animations or simple simulations where you can play around by adjusting parameters a bit, maybe also a few trivial questions thrown in here and there, they will obtain what is needed for basically (partially) replacing usual teaching techniques. Nothing could be further from the truth. The whole history of CBT from the early sixties on has proven that this is incorrect! It has taken a long time for at least some people to understand that this is not why WWW can and will revolutionize all our educational systems. In my talk I will argue that the crucial element is to have a powerful networked training and learning environment that does provide (a) material that uses modern multimedia techniques (b) allows the communication and cooperation between arbitrary groups of learners and experts (c) makes the system get richer and richer because of questions being asked and answered, (d) gives feedback to those who have created material (e) permits learners alone or cooperatively to not just look at material but to actually work with it (and I will explain what this means), (0 does not deal with education as an isolated situation but part of human knowledge management, (g) provides a powerful administrative, statistical and progress tracking machinery in the background and (h) never forgets some facets of cognitive psychology much too often overlooked or unknown. In my talk I will sketch some of the major compon","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"21 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":"121441992","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}

{"title":"Task assignment and scheduling under memory constraints","authors":"R. Szymanek, K. Kuchcinski","doi":"10.1109/EURMIC.2000.874619","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874619","url":null,"abstract":"Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constraints. The paper presents a new heuristic developed for task assignment and scheduling for such systems. These systems also have a large number of constraints of different nature, such as cost, execution time, memory capacity and limitations on resource usage. The heterogeneous constraints require new synthesis methods which will take them into account while searching for a valid solution. The heuristic presented in the paper is a part of the CLASS system (Constraint Logic Programming based System Synthesis).","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"1 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":"129050713","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}

{"title":"Software testing concept used for MAS/C-compiler","authors":"M. Popovic, V. Kovacevic, M. Temerinac","doi":"10.1109/EURMIC.2000.874422","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874422","url":null,"abstract":"The paper presents a software testing concept used for MICRONAS Intermetall MAS DSP C compiler MAS/C-Compiler. The concept is based on a specially developed software testing tool, which asserts whether the application generated by MAS/C-Compiler is valid or not. If not, it helps compiler designers to localize the bug, and to eliminate it. Compiler testing is viewed as a continual process. For each new compiler test case, the following two steps are conducted: (i) reference error-free source code is designed using commercially available high quality C++ reference compilers; (ii) a specially developed bit-exact testing tool is used to compare outputs of application produced by reference compiler and application produced by MAS/C-Compiler. Based on this comparison, bug localization and elimination is possible.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"2 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":"126123817","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}

{"title":"Agent-based adaptive selection and interaction to Z39.50 servers","authors":"Camino Fernández, I. Aedo, P. Díaz, Vicente Matellán Olivera","doi":"10.1109/EURMIC.2000.874406","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874406","url":null,"abstract":"Digital libraries and OPACs offer an enormous collection of information resources which can be accessed through the Internet by quite different users thanks to the existence of standard protocols for information retrieval such as Z39.50. However, some users may have difficulty in getting the items they are looking for in such a huge volume of heterogeneous resources since they have to know where and how they have to search. Thus, one of the main reasons for disregarding the Z39.50 service has traditionally been the absence of appropriate interfaces and the cost of making alternative searches. WAY-Z39.50 tries to help spread the use of these servers by providing easy Web access to them, as well as facilitating access to multiple servers at once. The prototype implements the general WAY model based on an agent-based architecture that provides adaptive searching in different servers using an adaptive interface as well.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"13 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":"126402962","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}

{"title":"Parallel multiplier designs utilizing a non-binary logic scheme","authors":"R. Lin","doi":"10.1109/EURMIC.2000.874531","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874531","url":null,"abstract":"The paper presents a novel approach for CMOS low-power, high performance parallel multiplier design, utilizing a recently proposed non-binary shift switch logic scheme. Compared with the existing well-known parallel multiplier designs, the new approach requires fewer partial product bit reduction stages, and improves performance in speed, VLSI area as well as power dissipation. SPICE simulations with a 0.25 micron, 2.5 volt supply process on critical paths have demonstrated the superiority of the approach.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"19 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":"114084912","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}

{"title":"Logic representation of programs to detect arithmetic anomalies","authors":"F. Belli, Thomas Illgen","doi":"10.1109/EURMIC.2000.874421","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874421","url":null,"abstract":"Much interest, especially by banks and insurance companies is paid to detect arithmetic anomalies and inexactness of arithmetic expressions. Numerous examples in the past show that although mathematical methods for correct implementation of arithmetic expressions exist and are well understood, many programs contain arithmetic anomalies, impreciseness or faults. Software tests based on conventional coverage criteria (F. Belli, 1998) and functional tests are not well suited for detection of these faults. The detection of arithmetic anomalies by these methods strongly depends on the adequateness of test cases. The selection of effective test cases needs a lot of effort to detect context-sensitive arithmetic inexactness. The authors introduce a novel approach for detecting arithmetic anomalies. The method is based on the specification of fault classes combined with the transformation of the program under test into a predicate logic model. The number of potential context-sensitive faults is deployed as a criterion to precisely select modules in large software systems to increase the test effectiveness.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"9 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":"132118407","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}

{"title":"The role of gesture in environmental control","authors":"Ross Kirk, Andy Hunt, Mark Hildred, Adrian Verity","doi":"10.1109/EURMIC.2000.874509","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874509","url":null,"abstract":"The paper describes the way in which tools developed for the performance and analysis of musical gesture can be used in environmental control systems. A conclusion arising from the work suggests that a gestural facility developed by disabled clients for the performance of music, and strengthened through music therapy, can be utilised directly in the interaction with the wider environment, contributing to enhanced quality of life for this group of people.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"111 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":"132364085","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}