检索结果-内蒙古大学图书馆

IEEE International Conference on Multimedia and Expo (ICME)

作者： Chang-Soon Park Mann-Ho Lee Young-Sung Son Oh-Young Kwon Dept. of Software Eng. ETRI Taejon South Korea Department of Computer Science Chungnam National University Taejon South Korea Software Engineering Department Electronics and Telecommunications Research Institute Taejon South Korea Department of Computer Engineering Korea University of Technology and Education ChungNam South Korea

We introduce the CROWN (Clustering Resources on Workstation Network) system that consists of several PCs interconnected with the Myrinet. In order to provide multimedia-on-demand services, especially VoD, we have developed CrownFS as a continuous media file system over the Linux operating system. CrownFS is a user level file system. Because the clustering technology is based on off-the-shelf commodities, user-level design and implementation can be natural in a clustering system and has a great benefit in portability. The architecture of CrownFS and its usage for VoD service are presented. Field test results show that a prototype CrownFS VoD server with four nodes can provide 150 MPEG-1 streams concurrently. CrownFS can also be extended to support a discrete media file system and to provide over a thousand multimedia streams.

关键词： File servers Streaming media File systems Network servers Workstations Personal communication networks Linux Operating systems Testing Prototypes

来源：评论

学校读者我要写书评

暂无评论

Size versus robustness in evolved sorting networks: is bigger better?

Size versus robustness in evolved sorting networks: is bigge...

引用

NASA/DoD Workshop on Evolvable Hardware

作者： J. Masner J. Cavalieri J.F. Frenzel J. Foster Center for Secure and Dependable Software Dept. of Computer Science University of Idaho Dept. of Electrical Engineering Micro electronics Research and Communications Institute University of Idaho

We are interested in discovering how and why circuits developed using evolutionary methods tend to be more robust than hand designed ones. To this end, we compare evolved circuits to known, minimal sorting networks. We introduce a new, size-independent metric, called bitwise stability (BS), which measures how well a network performed when subjected to real-world types of errors. In particular, we examine stuck-on-one, stuck-on-zero and passthrough errors, a generalization of a short circuit. Networks were evolved using tree structured and linear encoded chromosomes. We found that evolution improves bitwise stability and that tree structures tend to confer more bitwise stability than linear structured chromosomes. We discuss how the size of a sorting network affects its robustness and our discovery that bigger does not necessarily mean better.

关键词： Robustness Intelligent networks Sorting Hardware computer science Circuit stability Biological cells Encoding Microelectronics Circuit faults

来源：评论

学校读者我要写书评

暂无评论

Special purpose image convolution with evolvable hardware

引用

EvoWorkshops 2000: 2nd European Workshop on Evolutionary Computation in Image Analysis and Signal Processing, EvoIASP 2000, 1st European Workshop on Evolutionary Computation in Systems, Control and Drives in Industry, Evo-SCONDI 2000, 2nd European Workshop on Evolutionary Telecommunications, EvoTel 2000, 1st European Workshop on Evolutionary Scheduling and Timetabling, EvoStim 2000, 3rd European Workshop on Evolutionary Robotics, EvoRob 2000 and 1st European Workshop on Evolutionary Aeronautics, EvoFlight 2000 held in conjunction with European Conference on Genetic Programming, EuroGP 2000 and 3rd International Conference on Evolvable Systems, ICES 2000

作者： Dumoulin, Joe Foster, James A. Frenzel, James F. McGrew, Steve New Light Industries Ltd SpokaneWA United States Center for Secure and Dependable Software U. Idaho MoscowID United States Microelectronics Research and Communications Inst U. Idaho MoscowID United States Dept. of Computer Science U. Idaho MoscowID United States Dept. of Electrical and Computer Engineering U. Idaho MoscowID United States

ISBN: (纸本)3540673539

In this paper, we investigate a unique method of inventing linear edge enhancement operators using evolution and reconfigurable hardware. We show that the technique is motivated by the desire for a totally automated object recognition system. We show that an important step in automating object recognition is to provide flexible means to smooth images, making features more obvious and reducing interference. Next we demonstrate a technique for building an edge enhancement operator using evolutionary methods, implementing and testing each generation using the Xilinx 6200 family FPGA. Finally, we present the results and conclude by mentioning some areas of further investigation. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Object recognition

来源：评论

学校读者我要写书评

暂无评论

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN

引用

Electronic Notes in Theoretical computer Science 2000年第2期30卷 157-162页

作者： Michael Leuschel Jesper Jørgensen Declarative Systems and Software Engineering Dept. of Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK Dept. of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40 DK-1871 Frederiksberg C Denmark

The so called “ cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Shared memory multistage clustering structure, an efficient structure for massively parallel processing systems

Shared memory multistage clustering structure, an efficient ...

引用

International Conference on High Performance Computing in the Asia-Pacific Region

作者： H.S. Shahhoseini M. Naderi R. Buyya Dept. of Electr. Eng. Iran Univ. of Sci. & Technol. Tehran Iran Electrical Engineering Department Iran University of Science and Technology Narmak Iran School of Computer Science and Software Engineering Monash University Melbourne Australia

A novel structure is proposed for massive parallel processing systems. This structure is expandable in a vertical and horizontal manner and covers many of the previous computer designs. Queuing theory and the Jackson queuing network are applied for constructing an analytical model for the proposed structure. This model gives a closed-form solution for the system performance metrics, such as processor waiting time, system processing power, and so on. Two novel points in development of these analytical models are: application of open queuing network rules for analyzing a closed queuing network, and calculation of the input rate of each service center as a function of the input rate for the previous center. The model can be used for evaluating the MPP system or optimizing its specification on design space.

关键词： Queueing analysis Analytical models Parallel processing Power system modeling Multiprocessor interconnection networks Communication networks computer science software engineering Power engineering computing Closed-form solution

来源：评论

学校读者我要写书评

暂无评论

Tightly coupling authoring and evaluation in an integrated tool to support iterative design of interactive hypermedia educational manuals 00

Tightly coupling authoring and evaluation in an integrated t...

引用

Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques

作者： Selma Holmquist N. Hari Narayanan Departamento de Cálculo Facultad de Ingeniería Universidad de Los Andes Mérida Venezuela Intelligent & Interactive Systems Laboratory Dept. of Computer Science & Software Engineering Auburn University Auburn AL

ISBN: (纸本)9781581132199

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a *** this paper we present a framework for the iterative design of interactive Hypermedia Educational Manuals, implemented in a software tool that integrates authoring and evaluation support in order to speed up iterative design cycles. Two unique features of our approach are the automatic generation of a structural description of the manual being designed and the automatic incorporation of interaction data logging elements in the manual during the authoring phase. These are then used by an evaluation tool to generate statistical analyses and graphical presentations of user interactions with the manual and redesign recommendations. Thus, the architecture of this tool embodies a tight coupling between the design of Hypermedia Educational Manuals and the evaluation of their instructional effectiveness. An experiment was carried out in which a prototype manual was created, tested with a group of students, redesigned based on analyses and recommendations provided by the evaluation tool, and then re-evaluated using data from a second group of students. This experiment showed that the integrated tool does help simplify the evaluation process and improve the efficiency of iterative design cycles.

关键词： empirical study interaction data analysis and visualization iterative design tool evaluation hypermedia authoring

来源：评论

学校读者我要写书评

暂无评论

Measure-driven

引用

Journal of software Maintenance and Evolution 2000年第1期12卷 47-78页

作者： Cantone, Giovanni Dept. Info. Syst. Prod. Mgmt. Eng. University of Rome at Tor Vergata Roma Italy Dept. Info. Syst. Prod. Mgmt. Eng. University of Rome at Tor Vergata S.N.C. Roma Italy Department of Computer Science Dept. Info. Syst. and Prod. Mgmt. Faculty of Engineering Italy Scientific-Technical Committee Admin. and Docum. Computing Center University of Rome at Tor Vergata Roma Italy University of Naples University of Maryland Italy Intl. Software Eng. Research Network Italy UMD Exp. Software Engineering Group Italy Ital. Assoc. Info. Automat. Comp. Italy Faculty of Engineering University of Naples Italy

This paper reports on an on-going project undertaken within the University of Rome at Tor Vergata to automate the business processes of a class of administrative organizations. The experience gained and the lessons learned, while performing in the role of Innovation-driver, are abstracted and presented. In the context of this experience with process re-engineering, the paper compares the utility of empirically investigating software technology transfer with the reuse of technology measurement models possibly available. The paper also discusses the roles played by various environmental factors - technology, experimentation and measurements, an organization's business objectives, and other organizational issues, including the expected benefits and costs - in the empirical investigation of software technology transfer. The paper concludes by presenting a short case study and three lessons learned. Copyright © 2000 John Wiley and Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CSE Special Australasian Issue—Guest Editorial

引用

computer Science Education 2000年第2期10卷 107页

作者： John Fulcher David Carrington School IT and Computer Science and Intelligent Systems Research Group University of Wollongong NSW 2522 Australia Dept. Computer Science and Electrical Engineering and Software Verification Research Centre University of Queensland QLD 4072 Australia

Click to increase image sizeClick to decrease image size

关键词： computer science PROBLEM-based learning NEURAL networks (computer science) HIGHER education

来源：评论

学校读者我要写书评

暂无评论

An overview of HAL 5th

引用

5th International Conference on Principles and Practice of Constraint Programming, CP 1999

作者： Demoen, Bart de la Banda, Maria García Harvey, Warwick Marriott, Kim Stuckey, Peter Dept. of Computer Science K.U. Leuven Belgium School of Computer Science and Software Engineering Monash University Australia Dept. of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)3540666265

Experience using constraint programming to solve real-life problems has shown that finding an efficient solution to the problem often requires experimentation with different constraint solvers or even building a problem-specific constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-defined solver interface, mutable global variables for implementing a constraint store, and dynamic scheduling for combining, extending and writing new constraint solvers. Equally importantly, HAL supports semi-optional type, mode and determinism declarations. These allow natural constraint specification by means of type overloading, better compile-time error checking and generation of more efficient run-time code. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a distributed Web document database

The design and implementation of a distributed Web document ...

引用

1999 lnternational Workshops on Parallel Processing, ICPP 1999

作者： Shih, Timothy K. Ma, Jianhua Huang, Runhe Dept. of Computer Science and Information Engineering Tamkang University Tamsui251 Taiwan Dept. of Computer Software University of Aizu Aizu-Wakamatsu City965-8580 Japan

ISBN: (纸本)0769503535

Distance learning has become a very important mechanism for virtual university operation. In order to realize such an operation smoothly, it is necessary to consider distance learning from three perspectives: administration, awareness, and assessment. We are currently implementing a virtual university environment according to these guidelines. In this paper, we propose a new Web documentation database as a supporting environment of the Multimedia Micro-University project. The design of this database facilitates a Web documentation development paradigm that we have proposed earlier. From a script description, to its implementation as well as testing records, the database and its interface allow the user to design Web documents as virtual courses to be used in a Web-savvy virtual library. The database supports object reuse and sharing, as well as referential integrity and concurrence. In order to allow real-time course demonstration, i.e. also propose a simple course distribution mechanism, which allows the pre-broadcast of course materials. The System is implemented as a three-tier architecture which runs under MS Windows and other platforms. © 1999 IEEE.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：