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

Computing: The Australasian Theory Symposium (CATS 2001)

作者： McIver, Annabelle Morgan, Carroll Programming Research Group University of Oxford Oxford OX1 3QD United Kingdom Dept. of Engineering and Computer Science University of New South Wales Sydney 2052 Australia Dept. of Computing Macquarie University Sydney 2019 Australia

'Almost-certain eventualities' are liveness properties that hold with probability 1. 'Abstract probabilities' are probabilities in transition systems about which we know only that they are neither 0 nor 1. Vardi [17] showed that almost-certain properties in linear temporal logic depend only on abstract probabilities, rather than on the probabilities' precise values;we discuss the extent to which a similar result holds in quantitative temporal logic [9,10], and we show how to specialise the logic to those cases. The aim is to provide a simpler calculus than the full logic, one that is in a certain sense complete for proving almost-certain eventualities from abstract-probabilistic assumptions. We consider briefly the complexity of the specialised logic. © 2001 Published by Elsevier Science B.V.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Almost-Certain Eventualities and Abstract Probabilities in Quantitative Temporal Logic

引用

Electronic Notes in Theoretical computer Science 2001年 42卷 12-40页

作者： Annabelle McIver Carroll Morgan Programming Research Group University of Oxford Oxford OX1 3QD UK Dept. of Engineering and Computer Science University of New South Wales Sydney 2019 Australia

‘Almost-certain eventualities’ are liveness properties that hold with probability 1. ‘Abstract probabilities’ are probabilities in transition systems about which we know only that they are neither 0 nor 1. Vardi [17] showed that almost-certain properties in linear temporal logic depend only on abstract probabilities, rather than on the probabilities' precise values; we discuss the extent to which a similar result holds in quantitative temporal logic [9,10], and we show how to specialise the logic to those cases. The aim is to provide a simpler calculus than the full logic, one that is in a certain sense complete for proving almost-certain eventualities from abstract-probabilistic assumptions. We consider briefly the complexity of the specialised logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

OPTIPRISM: a distributed hierarchical network management system for all-optical networks

OPTIPRISM: a distributed hierarchical network management sys...

引用

IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM)

作者： B. Khan D.D. Kleiner D. Talmage Center for Computational Science Naval Research Laboratory Washington D.C. USA Advanced Engineering & Sciences ITT Industries USA Computer Integration & Programming Solutions Corp. Center for Computational Science Naval Research Laboratory Washington D.C.

OPTIPRISM is an agent-based network management system (NMS) providing configuration and fault management services for all-optical networks. OPTIPRISM has been developed and tested on the Multi-wavelength Optical Network (MONET) switches of the Advanced Technology Demonstration Network (ATDnet). OPTIPRISM features a scalable architecture consisting of a distributed hierarchy of intelligent, mobile manager agents. These managers have uniform interfaces, which makes it is easy to add managers from the hierarchy in order to extend OPTIPRISM as the network grows. Using agent mobility, OPTIPRISM is able to reorganize its physical deployment so as to improve overall responsiveness. Finally, OPTIPRISM includes an innovative browser agent which incorporates a scalable solution to the problem of end-user interaction with a large distributed NMS.

关键词： All-optical networks Optical fiber networks computer network management Wavelength division multiplexing Optical switches Intelligent agent Application software Optical network units Hardware Laboratories

来源：评论

学校读者我要写书评

暂无评论

Performance of turbo coded signals over partial response fading channels with imperfect phase reference

Performance of turbo coded signals over partial response fad...

引用

Midwest Symposium on Circuits and Systems (MWSCAS)

作者： O.N. Ucan O. Osman A. Gumus Engineering Faculty Electrical & Electronics Department Istanbul University Avcilar Istanbul Turkey Vocational School of Higher Education Department of Computer Technologies and Programming Yeditepe University Istanbul Turkey Siemens Business Services Administration Department System Administrator at System and Network Kartal Istanbul Turkey

In this paper, the performance of turbo coded signals are investigated over a new channel model, denoted as 1/spl plusmn/D/sup n//Partial Response Fading Channels (PRFC) with imperfect phase reference. The combined effects of the 1/spl plusmn/D/sup n//PRFC and nonideal coherent receiver on the phase of the received amplitude and of a noisy carrier reference are considered. The numerical results demonstrate the error performance degradation due to both amplitude fading and phase noise process.

关键词： Turbo codes Fading Phase noise Gaussian noise AWGN Signal to noise ratio Electronic mail Additive white noise Maximum likelihood decoding Convolutional codes

来源：评论

学校读者我要写书评

暂无评论

Information theoretical approach to minimization of AND/EXOR expressions of switching functions

Information theoretical approach to minimization of AND/EXOR...

引用

4th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services, ITELSIKS 1999

作者： Shmerko, V. Popel, D. Stanković, R.S. Cheushev, V. Yanushkevich, S. Department of Computer Aided Design Systems Techinal University of Szczecin Poland Department of Computer Sicience State University of Informatics and Radioelectronics Minks Belarus Department of Computer Science Faculty of Electronic Engineering University of Nis Serbia Department of Programming Technologies State University Minsk Belarus

ISBN: (纸本)078035768X

In modern circuit design, the Shannon decomposition of switching functions is widely used. On the other hand, in information theory of telecommunication, the Shannon entropy used as a measure to represent the information in numerical values, is a key notion. In this paper, we relate these two concepts, belonging to different areas, into an approach to the minimisation of exclusive-or sum-of-products (AND/EXOR) expressions for switching functions. The Shannon decomposition, and the closely related Davio decomposition for AND/EXOR expressions are interpreted in terms of basic concepts in the information theory. Thanks to that, we have proposed an entropy based strategy for minimization of AND/EXOR expressions. We have provided a comparison and an experimental verification of this strategy with some known heuristic minimization strategies using benchmarks. In some cases, our program Info-EXOR produces extremely better results. Moreover, the information theory interpretation of classical decomposition of switching functions offers a new point of view to the existing design styles. © 1999 IEEE.

关键词： Information theory

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented programming workshop report

Aspect-oriented programming workshop report

引用

Workshops on Object-Oriented Technology, ECOOP 1997

作者： Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands

ISBN: (纸本)3540640398

Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or characterisation of AOP. Therefore, the main goal of the ECOOP’97 AOP workshop was to identify the "good questions" for exploring the idea of AOP. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

An implementation of a CSCW framework using CORBA 4

An implementation of a CSCW framework using CORBA

引用

4th IEEE Workshop on the Architecture and Implementation of High Performance Communication Systems, HPCS 1997

作者： Song, Dong Ho Chi, Dong Hae In, Youn Jin Lee, Keung Hae Department of Computer Engineering Hangkong University Hwajun Dong 200-1 Koyang City Kytrnggi Do41 1-791 Korea Republic of Parallel Programming Section ETRI Yirsong P. 0.Box 106 Taejon Korea Republic of

OMG's (Object Management Group) CORBA (Common Object Request Broker Architecture) is becoming a common platform for distributed computing environment. However, it is yet to address CSCW (computer Supported Collaborative Work) ftamework. This paper addresses the problem of building a framework for CSCW and proposes a new CSCW framework based on CORBA (CFC). CFC includes session, participant, mode, directory, stream, media and resource management. A desktop conference system and DSM-CC compliant video-on-demand system were built to demonstrate the usefulness of the framework. The performance of CORBA based CSCW applications is given. The strengths and weaknesses of using a CORBA framework are also discussed. © 1997 IEEE.

关键词： Video on demand

来源：评论

学校读者我要写书评

暂无评论

An implementation of a CSCW framework using CORBA

An implementation of a CSCW framework using CORBA

引用

IEEE Workshop on High-Performance Communication Systems, HPCS

作者： Dong Ho Song Dong Hae Chi Youn Jin In Keung Hae Lee Department of Computer Engineering University of Hong Kong Koyang Kyunggi South Korea Parallel Programming Section Electronics and Telecommunications Research Institute Taejon South Korea

关键词： Application software Videoconference Middleware System software Streaming media Video sharing Multimedia systems Cities and towns Parallel programming Abstracts

来源：评论

学校读者我要写书评

暂无评论

PPD: A practical parallel loop detector for parallelizing compilers

PPD: A practical parallel loop detector for parallelizing co...

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Cheng-Tien Wu Chao-Tung Yang Shian-Shyong Tseng Knowledge Engineering and Programming Language LaboratoryDepartment of Computer & Information Science Natíonal Chiao-Tung University Hsinchu Taiwan Department of Computer and Onformation Science at National Chiao Tung University Hsinchu Taiwan

ISBN: (纸本)0818672676

It is well known that extracting parallel loops plays a significant role in designing parallelizing compilers. The execution efficiency of a loop is enhanced when the loop can be executed in parallel or partial parallel, like a DOALL or DOACROSS loop. This paper reports on the practical parallelism detector (PPD) that is implemented in PFPC (a portable FORTRAN parallelizing compiler running on OSF/1) at NCTU to concentrate on finding the parallelism available in loops. The PPD can extract the potential DOALL and DOACROSS loops in a program by invoking a combination of the ZIV test and the I test for verifying array subscripts. Furthermore, if DOACROSS loops are available, an optimization of synchronization statement is made. Experimental results show that PPD is more reliable and accurate than previous approaches.

关键词： Detectors Equations Information science Parallel processing System testing Program processors Chaos Knowledge engineering computer languages Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Development and application of MCAL tools for marine radar instruction

引用

computer Applications in engineering Education 1995年第4期3卷 259-259页

作者： Guirguis, S. Korany, E. Abdel-Bary, A. Institute of Graduate Studies and Research Alexandria University Alexandria Egypt Shawkat K. Guirguis:obtained the BSc and M.Sc. degrees in Computer Science and Automatic Control Faculty of Engineering Alexandria University in 1981 and 1984 respectively. In 1988 he obtained a PhD degree in Electronics and Communications Faculty of Engineering Cairo University co-supervised by the Imperial College of Science and Technology University of London where he spent two years as an academic visitor. His current research interests include software quality management multimedia automatic programming and decision support systems. He is currently a lecturer of Computer Science at the Institute of Graduate Studies & Research Alexandria University. Ezzat A. Korany:received the BS degree in Electrical Engineering (Electronics Section) from the University of Alexandria Egypt in 1971 the MS degree in Electrical Engineering (Computer Section) from Ain Shams University Cairo Egypt in 1977 and the PhD degree in Electrical Engineering (Digital Systems) from Florida Institute of Technology U.S.A. in 1982. He is currently an associate professor of Computer Science at the Institute of Graduate Studies & Research University of Alexandria. His research interests are in data communications and multimedia applications computer networks image processing and pattern recognition. Abdel-Latif A. Abdel-Bary:obtained the BEng degree in Electronics Technology from Arab Maritime Transport Academy in 1986. In 1995 he obtained the MSc degree in Information Technology from the Institute of Graduate Studies & Research Alexandria University. His current research interests include ICAL hypermedia and automatic programming.

In this article a multimedia computer-assisted learning (MCAL) system is presented. The major objective of this work was to investigate the potential of using such systems as tools for transferring instructional course information through various types of computer media as opposed to the classic CAL systems. The philosophy and techniques employed to design the system are investigated. Usage of the implemented system and its merits have been illustrated through its application to teach engineering students and technicians the theory and concepts of marine radar. System design, implementation, test, and revision phases are presented and discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：