咨询与建议

限定检索结果

文献类型

  • 95 篇 会议
  • 50 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 150 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 88 篇 工学
    • 77 篇 计算机科学与技术...
    • 63 篇 软件工程
    • 16 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 动力工程及工程热...
    • 4 篇 建筑学
    • 4 篇 生物医学工程(可授...
    • 4 篇 生物工程
    • 3 篇 机械工程
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 安全科学与工程
    • 2 篇 光学工程
    • 2 篇 电子科学与技术(可...
  • 38 篇 理学
    • 16 篇 数学
    • 14 篇 物理学
    • 7 篇 系统科学
    • 5 篇 生物学
    • 3 篇 化学
    • 2 篇 统计学(可授理学、...
  • 17 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 6 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 6 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
    • 3 篇 公共卫生与预防医...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 经济学
  • 1 篇 文学
  • 1 篇 农学

主题

  • 10 篇 computational mo...
  • 9 篇 visualization
  • 6 篇 software enginee...
  • 5 篇 computer archite...
  • 5 篇 data models
  • 4 篇 computer science
  • 4 篇 real time system...
  • 4 篇 data mining
  • 4 篇 monitoring
  • 4 篇 security
  • 4 篇 mobile communica...
  • 4 篇 clustering algor...
  • 4 篇 kernel
  • 4 篇 data structures
  • 4 篇 artificial intel...
  • 4 篇 data visualizati...
  • 4 篇 training
  • 3 篇 runtime
  • 3 篇 systems engineer...
  • 3 篇 educational inst...

机构

  • 7 篇 state key labora...
  • 5 篇 centre for compu...
  • 4 篇 centre for compu...
  • 4 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 school of comput...
  • 3 篇 state key labora...
  • 3 篇 institute for qu...
  • 3 篇 centre for resea...
  • 3 篇 centre for distr...
  • 3 篇 centre for compu...
  • 2 篇 school of mathem...
  • 2 篇 college of engin...
  • 2 篇 high integrity s...
  • 2 篇 perimeter instit...
  • 2 篇 software systems...
  • 2 篇 department of co...
  • 2 篇 department of ps...
  • 2 篇 department of co...
  • 2 篇 centre for compu...

作者

  • 15 篇 john grundy
  • 10 篇 grundy john
  • 8 篇 bei zeng
  • 8 篇 mohamed almorsy
  • 8 篇 zhengfeng ji
  • 7 篇 zahedi mansooreh
  • 6 篇 almorsy mohamed
  • 6 篇 ibrahim amani s.
  • 5 篇 nengkun yu
  • 5 篇 gaber mohamed me...
  • 5 篇 mohamed medhat g...
  • 4 篇 jianxin chen
  • 4 篇 hamlyn-harris ja...
  • 4 篇 shonali krishnas...
  • 4 篇 krishnaswamy sho...
  • 4 篇 amani s. ibrahim
  • 3 篇 black sue
  • 3 篇 bo du
  • 3 篇 lefei zhang
  • 3 篇 rajkumar buyya

语言

  • 148 篇 英文
  • 2 篇 其他
检索条件"机构=Centre for Computing and Engineering Software Systems"
150 条 记 录,以下是141-150 订阅
排序:
PARALLEL AND DISTRIBUTED TLM COMPUTATION WITH SIGNAL-PROCESSING FOR ELECTROMAGNETIC-FIELD MODELING
收藏 引用
INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年 第3-4期8卷 169-185页
作者: SO, PPM ESWARAPPA, C HOEFER, WJR NSERC/MPR Teltech Research Chair in RF Engineering Department of Electrical and Computer Engineering University of Victoria Victoria British Columbia V8W 3P6 Canada Poman So received his B.Sc. degree in computer science and physics from the University of Toronto Toronto Onatario Canada in 1985. He obtained his B.A. Sc. and M.A.Sc. degrees in electrical engineering (summa cum laude) from the University of Ottawa Ottawa Ontario Canada in 1987 and 1989 respectively. Mr So was a research engineer in the University of Ottawa from January 1989 to October 1991 his research interests included CAD techniques of microwave circuits and numerical methods for electromagnetic wave modelling. He specialized in the development of electromagnetic engineering CAD software and successfully implemented a number of electromagnetic wave simulators based on the two-dimensional and three-dimensional transmission-line matrix methods. From August 1990 to February 1991 he accompanied Professor W. J. R. Hoefer to Rome Italy and Sophia Antiopolas France. During that time he implemented a parallel version of the 3D-TLM simulator for the CM-2 Connection Machine using C-Star and X Windows Library. He is a research engineer and a Ph.D. student at the University of Victoria Victoria British Columbia Canada. He ported the 2D- and 3D-TLM simulators to DECmpp 1200 massively parallel computer using MPL C and C++. He also combined OSA90/hope a commercially available microwave CAD program with a 2D-TLM simulation module for geometry optimization using the Datapipe technique of OSA90/hope. Recently he has developed a distributed client-server computing technique for the TLM method this technique could accelerate the TLM simulation by more than an order of magnitude. Channabasappa Eswarappa received the M.Tech. degree in electrical engineering from the Indian Institute of Technology Kanpur India in 1983 and Ph. D. degree from the University of Ottawa Canada in 1990. He worked as an Assistant Executive Engineer and later as
This paper describes the implementation of transmission-line matrix (TLM) method algorithms on a massively parallel computer (DECmpp 12000), the technique of distributed computing in the UNIX environment, and the comb... 详细信息
来源: 评论
A strategy for the production of verifiable code using the B method  2nd
收藏 引用
2nd International Symposium of Formal Methods Europe, FME 1994
作者: Storey, Andrew C. Haughton, Howard P. Centre of Systems Software Engineering School of Computing Information Systems and Mathematics South Bank University Borough Rd LondonSE1 OAA United Kingdom 77 Crowley Close Waddon Croydon United Kingdom
The purpose of this paper is to describe extensions to the B Method in order to facilitate the generation of provably correct SPARK Ada code. Two strategies are provided. Firstly, a process model for the B Method is s... 详细信息
来源: 评论
Measurement for software quality
Measurement for software quality
收藏 引用
IEE Colloquium on Proof of Designed Reliability (Digest No. 1994/239)
作者: R. Whitty Centre for Systems and Software Engineering School of Computing South Bank University USA
The author takes an uncontentious view of quality as being 'fitness for purpose', more specifically, conformance to user requirements. Quality can be measured by number of reported nonconformances per hour of ...
来源: 评论
An exercise in weakest preconditions
收藏 引用
software Testing, Verification and Reliability 1991年 第1期1卷
作者: Robin Whitty Centre for Systems and Software Engineering Department of Computing and Mathematics South Bank Polytechnic Borough Road London SE1 0AA UK
Weakest preconditions are used to formulate the requirements for a 2-state memory cell and it is proved that the flip-flop device meets these requirements. This is an exercise in the use of the weakest preconditions w...
来源: 评论
DRAFT DESCRIPTION OF PASCAL
收藏 引用
software-PRACTICE & EXPERIENCE 1979年 第5期9卷 381-424页
作者: ADDYMAN, AM BREWER, R BURNETTHALL, DG DEMORGAN, RM FINDLAY, W JACKSON, MI JOSLIN, DA REES, MJ WATT, DA WELSH, J WICHMANN, BA Department of Computer Science The University Oxford Road Manchester M13 9PL Software Department GEC Computers Ltd. Elstree Way Borehamwood Hertfordshire Department of Computer Science University of York Heslington York Y01 5DD European Software Engineering Digital Equipment Company Ltd. Fountain House The Butts Centre Reading RG1 7QN Computing Science Department University of Glasgow Glasgow G12 8QQ International Data Engineering Centre ITT Business Systems and Communications Group Latimer House Potters Bar Herts EN6 5DN Hull College of Higher Education Inglemire Avenue Hull HU6 7LJ Computer Studies Group The University Southampton S09 5NH Department of Computer Science Queen's University Belfast BT7 1NN Department of Industry National Physical Laboratory Teddington Middlesex TW1 0LW
This paper provides a description of the programming language Pascal. It has been published to enable those without easy access to the official BSI ‘draft for comment’ to comment on the description.
来源: 评论
systems, software and Services Process Improvement  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Dietmar Winkler Rory V. O’Connor Richard Messnarz
This volume constitutes the refereed proceedings of the 19th EuroSPI conference, held in Vienna, Austria, in June 2012.The 29 revised papers presented in this volume were carefully reviewed and selected. They are orga... 详细信息
来源: 评论
Advances in Conceptual Modeling – Challenges and Opportunities  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Il-Yeol Song Mario Piattini Yi-Ping Phoebe Chen Sven Hartmann Fabio Grandi Juan Trujillo Andreas L. Opdahl Fernando Ferri Patrizia Grifoni Maria Chiara Caschera Colette Rolland Carson Woo Camille Salinesi Esteban Zimányi Christophe Claramunt Flavius Frasincar Geert-Jan Houben Philippe Thiran
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008. T... 详细信息
来源: 评论
Computational Intelligence in Healthcare 4  1
收藏 引用
丛书名: Studies in Computational Intelligence
1000年
作者: Isabelle Bichindaritz Sachin Vaidya Ashlesha Jain Lakhmi C. Jain
Computational Intelligence is comparatively a new field but it has made a tremendous progress in virtually every discipline right from engineering, science, business, m- agement, aviation to healthcare. Computational ... 详细信息
来源: 评论
Vehicle Dynamics and Interaction for Trajectory Prediction and Traffic Control
收藏 引用
ACM Transactions on Autonomous and Adaptive systems 1000年
作者: Jian Chen Shaorui Zhou Wei Wang Yuzhu Hu Jianqing Li Ben-Guo He Junxin Chen Marwan Omar Ali Kashif Bashir Xiping Hu School of Intelligent Systems Engineering Sun Yat-Sen University China Guangdong-Hong Kong-Macao Joint Laboratory for Emotion Intelligence and Pervasive Computing Artificial Intelligence Research Institute Shenzhen MSU-BIT University China School of Computer Science and Engineering Faculty of Innovation Engineering Macau University of Science and Technology Macao SAR China Key Laboratory of Ministry of Education on Safe Mining of Deep Metal Mines Northeastern University China the School of Software Dalian University of Technology China Information Technology and Management Illinois Institute of Technology USA Department of Computing and Mathematics Manchester Metropolitan University UK Centre for Research Impact & Outcome Chitkara University Institute of Engineering and Technology Chitkara University Rajpura 140401 Punjab India
Trajectory prediction is a crucial challenge in autonomous vehicle motion planning and decision-making techniques. However, existing methods face limitations in accurately capturing vehicle dynamics and interactions. ... 详细信息
来源: 评论
Grid Economics and Business Models  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jörn Altmann Rajkumar Buyya Omer F. Rana
GECON - Grid Economics and Business Models Cloud computing is seen by many people as the natural evolution of Grid computing concepts. Both, for instance, rely on the use of service-based approaches for pro- sioning ... 详细信息
来源: 评论