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

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

来源：评论

学校读者我要写书评

暂无评论

Unifying theories of healthiness condition

Unifying theories of healthiness condition

引用

Asia-Pacific Conference on Software Engineering

作者： He Jifeng C.A.R. Hoare International Institute for Software Technology United Nations University Macau Macao China Computing Laboratory Programming Research Group Oxford University Oxford UK

A theory of programming starts with a complete Boolean algebra of specifications, and defines healthiness conditions which exclude infeasibility of implementation. These are expressed as algebraic laws useful for transformation and optimisation of designs. programming notations and languages must be restricted to those preserving all the healthiness conditions. We have explored a wide range of programming paradigms, including nondeterministic, sequential, parallel, logical and probabilistic. In all cases, we have found a single healthiness condition, formalised by constructions due to Karoubi and to Kleisli. The uniformity maintains for all paradigms a single notion of correctness throughout the chain that leads from specification through designs to programs that are proved to meet the original specification.

关键词： Design optimization Laboratories Boolean algebra Logic programming Parallel programming Maintenance Specification languages

来源：评论

学校读者我要写书评

暂无评论

Building the next generation of high performance computing researchers in engineering and science: the NCSA/ARL MSRC PET summer internship program

Building the next generation of high performance computing r...

引用

Frontiers in Education (FIE) Conference

作者： M.B. Walker E.C. Grove V.A. To National Center for Supercomputing Applications University of Illinois Urbana-Champaign Urbana IL USA Major Shared Resource Command Programming Environment and Training Program Army Research Laboratory Aberdeen MD USA

The National Center for Supercomputing Applications (NCSA) at the University of Illinois at Urbana-Champaign (UIUC) is lead academic institution for the Army research laboratory Major Shared Resource Center programming Environment and Training Program (ARL MSRC PET). This program is part of the Department of Defense (DoD) high performance computing modernization program. ARL MSRC PET has a scientific advancement, outreach and training mission. With US-wide faculty and ARL engineers and scientists, the ARL MSRC PET training team offered its summer intern program in high performance computing (HPC) in 1998, 1999, and will again in 2000. It encourages young Americans to consider computer science and engineering careers in DoD and elsewhere. A program focus is outreach to under-represented minorities and women. Mentors and program administrators play a crucial role. The paper discusses the development of this innovative government-university collaborative education program and lessons learned for those wishing to establish similar programs to introduce young Americans to real-life HPC research and applications.

关键词： High performance computing Positron emission tomography programming environments Application software Military computing Computer science Computer science education Educational programs Laboratories Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Implementation lessons of performance prediction tool for parallel conservative simulation 6

引用

6th International European Conference on Parallel Computing, Euro-Par 2000

作者： Lim, Chu-Cheow Low, Yoke-Hean Gan, Boon-Ping Cai, Wentong Intel Corporation SC12-305 2000 Mission College Blvd Santa ClaraCA95052-8119 United States Programming Research Group Oxford University Computing Laboratory University of Oxford OxfordOX1 3QD United Kingdom Gintic Institute of Manufacturing Technology 71 Nanyang Drive Singapore638075 Singapore Center for Advanced Information Systems School of Applied Science Nanyang Technological University Singapore639798 Singapore

ISBN: (纸本)9783540679561

Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorithms for specific simulation protocols. In order for the prediction results to be close to the results from actual parallel executions, there are further considerations when implementing the analyzer. These include (a) equivalence of code between the sequential program and parallel program, and (b) system effects (e.g. cache miss rates and synchronization overheads in an actual parallel execution). This paper describes our investigations into these issues on a performance analyzer for a conservative, "super-step" (synchronous) simulation protocol. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

PRAM programming: in theory and in practice

引用

Concurrency and Computation: Practice and Experience 2000年第4期12卷

作者： D. S. Lecomber C. J. Siniolakis K. R. Sujithan Programming Research Group Oxford University Computing Laboratory Oxford OX1 3QD U.K.

That the influence of the PRAM model is ubiquitous in parallel algorithm design is as clear as the fact that it is technologically infeasible for the forseeable future. The current generation of parallel hardware prominently features distributed memory and high-performance interconnection networks—very much the antithesis of the shared memory required for the PRAM model. It has been shown that, in spite of communication costs, for some problems very fast parallel algorithms are available for distributed-memory machines—from embarassingly parallel problems to sorting and numerical analysis. In contrast it is known that for other classes of problem PRAM-style shared-memory simulation on a distributed-memory machine can, in theory, produce solutions of comparable performance to the best possible for such architectures. The Bulk Synchronous Parallel (BSP) model accurately represents most parallel machines—theoretical and actual—in an execution and cost model. We introduce a scalable portable PRAM realization appropriate for BSP computers and a methodology for usage. Our system is fast and built upon the familiar sequential C++ coupled with the new standard BSP library of parallel computation and communication primitives. It is portable to and predictable on a vast number of parallel computers including workstation clusters, a 256-processor Cray T3D, an 8-node IBM SP/2 and a 4-node shared-memory SGI Power Challenge machine. Our approach achieves simplicity of programming over direct-mode BSP programming for reasonable overhead cost. We objectively compare optimized BSP and PRAM algorithms implemented with our C++ PRAM library and provide encouraging experimental results for our new style of programming. Copyright © 2000 John Wiley & Sons, Ltd.

关键词： PRAM latency hiding BSP distributed memory simulation parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

A framework for model-checking timed CSP

A framework for model-checking timed CSP

引用

作者： Ouaknine, Joël Programming Research Group Oxford Univ. Computing Laboratory

A framework for model-checking timed CSP processes within a new model of standard CSP was discussed. The timing of events was provided by the consistent and regular communication of a special tock event, analogous to the tick of a clock. A translation function TCSP&rarrCSP was done inductively over syntax of TCSP processes to equate every elapsed time unit with the communication of k tocks. It was observed that event occurance and timeout did not lead to an accumulation of timing errors.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Efficient deterministic sorting on the BSP model

引用

Parallel Processing Letters 1999年第1期9卷 69-79页

作者： Gerbessiotis, Alexandros V. Programming Research Group Computing Laboratory Oxford University Oxford OX1 3QD United Kingdom

We present a new algorithm for deterministic sorting on the Bulk-Synchronous Parallel (BSP) model of computation. We sort n keys using a partitioning scheme that achieves the requirements of efficiency (one-optimality) and insensitivity against initial key distribution. Although we employ sampling to realize efficiency, we give a precise worst-case estimation of the maximum imbalance which might occur. The algorithm is one-optimal for a wide range of the BSP parameters in the sense that its speedup on p processors is asymptotically (1 - o(1)) p.

关键词： Parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

A framework for model-checking timed CSP

A framework for model-checking timed CSP

引用

IEE Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems (Ref. No. 1999/006)

作者： J. Ouaknine Programming Research Group Oxford University Computing Laboratory UK

Timed CSP is a well-known process algebra, built as an extension to Hoare's original CSP, designed to handle concurrency combined with timing considerations. It achieves this over a continuous time domain (the non-negative real numbers), which has the drawback of precluding standard model-checking approaches, as the state-space of any process is naturally a priori (uncountably) infinite. This paper shows how to circumvent this problem by translating and reinterpreting timed CSP processes within a new model of standard CSP. In this discrete model, which draws on previous work by A.W. Roscoe (1997) and A. Mukkaram (1993), timing of events is provided by the consistent and regular communication of a special tock event, analogous to the 'tick' of a clock. The various parallel components of a process are therefore required to synchronise on tock, ensuring a uniform rate of passage of time. General results yielding tight bounds on the loss of information inherent to the translation are given.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hardware/software codesign for FPGA-based systems

Hardware/software codesign for FPGA-based systems

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： J.M. Saul Computing Laboratory Programming Research Group Oxford University Oxford UK

A new codesign compiler called Dash (Design Automation for Software and Hardware) provides a co-synthesis and co-simulation environment for mixed FPGA/processor architectures. It compiles a C-like description to a solution containing both processors and custom hardware, and allows the descriptions of FPGA-based processors to be heavily parametrised. The user may add instructions to the processors, and the Dash software architecture allows the user to add facilities for targeting these extra instructions to the compiler. This system is being used to design a number of case studies, and a single-chip codesign of an Internet video game is used to illustrate the design flow.

关键词： Hardware Field programmable gate arrays Software systems Computer architecture Design automation Application software Software tools Acceleration Laboratories Hip

来源：评论

学校读者我要写书评

暂无评论

Symposia lectures

引用

Journal of Biosciences 1999年第1期24卷 5-31页

作者： F. Parak A. Ostermann G. U. Nienhaus Nobuo Niimura William A. Eaton Stephen J. Hagen Eric R. Henry James Hofrichter Gouri Jas Lisa Lapidus Victor Muñoz Chih-chen Wang Abani Bhuyan Javant Udgaonkar Heinz Rüterians Derek N. Woolfson M. D. Finucane J. H. Lees M. J. Pandya G. Spooner M. Tuna Wilma K. Olson K. V. R. Chary E. Westhof I. G. Wool C. C. Correll V. I. Ivanov S. A. Bondarenko E. M. Zdobnov A. D. Beniaminov E. E. Minyat N. B. Ulyanov Dale B. Wigley Nobuo Shimamoto Takashi Kinebuchi Hiroyuki Kabata Osamu Kurosawa Masao Washizu Barbara Baird David Holowka H. Belrhali P. Nollert A. Royant J. P. Rosenbusch E. M. Landau E. Pebav-Peyroula Anil K. Lala Patrick R. D’Silva Daniela Pietrobon Paolo Pinton Paulo Magalhaes Anna Chiesa Marisa Brini Tullio Pozzan Rosario Rizzuto M. Montai Shu-Rong Wang José L. Carrascosa B. Bhattacharyya Ian A. Wilson Dinakar M. Salunke Kurt Drickamer Anne Imberty A. Surolia Louise N. Johnson Michal Neeman S. M. Prince K. McLuskey R. J. Cogdell K. McAuley N. W. Isaacs G. Venturoli F. Drepper J. C. Williams J. P. Allen X. Lin P. Mathis R. van Grondelle Wolfgang Junge T. Tsukihara K. Shinzawa-Itoh R. Nakashima E. Yamashita M. J. Fei N. Inoue T. Tomizaki C. Peters Libeu S. Yoshikawa Patrick Chaussepied Keiichi Namba Marie-France Carlier Fariza Ressacl Valerie Laurent Thomas Loisel Coumaran Egile Philippe Sansonetti Dominique Pantaloni Manju Bansal E. W. Knapp M. G. Ullmann A. Amadei B. L. de Groot M. A. Ceruso M. Paci H. J. C. Berendsen A. Di Nola V. Di Francesco P. J. Munson J. Garnier Sung-Hou Kim Jean-Michel Claverie Ian C. P. Smith P. T. Callaghan Bruce Cornell Ratna S. Phadke Kazuhiko Kinosita D. Goldfarb I. Qromov C. Shutter I. Pecht P. Manikandan R. Carmieli T. Shane David S. Moss Clare E. Sansom Jeremy K. Cockcroft Ian J. Tickle Huub C. P. Driessen J. Raul Grigera Ramen K. Poddar Charles R. Cantor Barry Robson Jean Garnier John Helliwell Sunney I. Chan Ronald Rock Physik-Department El7 Technische Universität München Garching Abteilung Biophysik Universität Ulm Ulm Advanced Science Research Center Japan Atomic Energy Research Institute Japan Laboratory of Chemical Physics NIDDK National Institutes of Health Bethesda USA National Lab of Biomacromolecules Institute of Biophysics Beijing China National Centre for Biological Sciences Bangalore Institute of Biophysical Chemistry University of Frankfurt Frankfurt/Main Germany Centre for Biomolecular Design and Drug Development University of Sussex UK Rutgers University Piscataway USA Department of Chemical Sciences Tata Institute of Fundamental Research Mumbai India IBMC-CNRS Strasbourg France Department of Biochemistry and Molecular Biology The University of Chicago Chicago USA Engelhardt Institute of Molecular Biology RAS Moscow Russia Sir William Dunn School of Pathology University of Oxford Oxford UK Structural Biology Center National Institute of Genetics Japan Faculty of Engineering Kyoto University Kyoto Advance Co. Tokyo Japan Department of Chemistry and Chemical Biology Cornell University Ithaca Institute de Biologie Structurale Joseph Fourier Grenoble Cedex 1 France Biomembrane Lab Department of Chemistry and Biotechnology CenterIndian Institute of Technology Bombay Powai Mumbai India Dept of Biomedical Sciences Univ. of Padova Italy Dept. Exp. Diagn. Med. Sect. Gen. Pathol Ferrara Italy Department of Biology University of California San Diego La Jolla USA Chinese Academy of Sciences Institute of Biophysics Beijing China Centra Nacional de Biotecnología CSIC. Campus de la Universidad Autónoma de Madrid Cantoblanco Spain Dept.of Biochemistry Bose Institute Calcutta-54 India The Scripps Research Institute La Jolla National Institute of Immunology New Delhi India Glycobiology Institute Department of Biochemistry University of Oxford Oxford UK Centre de Recherches sur les Macromolécules Végétales-CNRS Grenoble cedex 9 France Molecular Biophysics Uni

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：