咨询与建议

限定检索结果

文献类型

  • 281 篇 会议
  • 127 篇 期刊文献
  • 16 册 图书

馆藏范围

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

日期分布

学科分类号

  • 277 篇 工学
    • 217 篇 计算机科学与技术...
    • 160 篇 软件工程
    • 35 篇 信息与通信工程
    • 32 篇 控制科学与工程
    • 25 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 安全科学与工程
    • 7 篇 土木工程
    • 7 篇 网络空间安全
    • 6 篇 材料科学与工程(可...
    • 6 篇 石油与天然气工程
    • 5 篇 动力工程及工程热...
  • 144 篇 理学
    • 98 篇 数学
    • 20 篇 系统科学
    • 17 篇 生物学
    • 13 篇 物理学
    • 13 篇 统计学(可授理学、...
    • 7 篇 化学
  • 55 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 12 篇 教育学
    • 10 篇 教育学
  • 12 篇 医学
    • 10 篇 临床医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 24 篇 artificial intel...
  • 22 篇 computer science
  • 12 篇 software enginee...
  • 10 篇 semantics
  • 9 篇 application soft...
  • 9 篇 logic programmin...
  • 8 篇 programming prof...
  • 7 篇 information stor...
  • 6 篇 java
  • 6 篇 monitoring
  • 6 篇 hardware
  • 6 篇 middleware
  • 6 篇 equations
  • 5 篇 information syst...
  • 5 篇 libraries
  • 5 篇 parallel program...
  • 5 篇 laboratories
  • 5 篇 computer languag...
  • 5 篇 specifications
  • 5 篇 security

机构

  • 10 篇 department of sy...
  • 7 篇 department of ap...
  • 6 篇 programming meth...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 mart learning ed...
  • 4 篇 federal research...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 german research ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of co...
  • 3 篇 rwth aachen univ...
  • 3 篇 research group p...
  • 3 篇 university of ka...
  • 3 篇 programming rese...
  • 3 篇 department of ap...
  • 3 篇 department of ap...

作者

  • 10 篇 fritzson peter
  • 8 篇 hayek ali
  • 7 篇 mostafa abotaleb
  • 7 篇 philippsen micha...
  • 6 篇 boercsoek josef
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 maiti manoranjan
  • 5 篇 de meuter wolfga...
  • 5 篇 henning christia...
  • 5 篇 doaa sami khafag...
  • 5 篇 roy abi zeid dao...
  • 5 篇 ali hayek
  • 4 篇 troels andreasen
  • 4 篇 choe km
  • 4 篇 scholz sven-bodo
  • 4 篇 bergstra j.a.
  • 4 篇 skiba alexander
  • 4 篇 steffen bernhard

语言

  • 415 篇 英文
  • 7 篇 其他
  • 1 篇 德文
  • 1 篇 中文
检索条件"机构=Department of Computer science and Programming"
424 条 记 录,以下是101-110 订阅
排序:
A generalized carrier-null method for conservative parallel simulation  94
A generalized carrier-null method for conservative parallel ...
收藏 引用
8th Workshop on Parallel and Distributed Simulation, PADS 1994
作者: Wood, Kenneth R. Turner, Stephen J. Programming Research Group Oxford University Computing Laboratory United Kingdom Department of Computer Science University of Exeter United Kingdom
The carrier-null message approach to conservative distributed discrete-event simulation can significantly reduce the number of synchronization messages required to avoid deadlock. In thts paper we show that the origin... 详细信息
来源: 评论
Towards machine-checked compiler correctness for higher-order pure functional languages  8th
Towards machine-checked compiler correctness for higher-orde...
收藏 引用
8th Workshop on computer science Logic, at the Annual Conference of the European-Association-for-computer-science-Logic (CSL 94)
作者: Lester, D Mintchev, S Functional Programming Group Department of Computer Science Manchester University Oxford Road Manchester M13 9PL United Kingdom
In this paper we show that the critical part of a correctness proof for implementations of higher-order functional languages is amenable to machine-assisted proof. An extended version of the lambda-calculus is conside... 详细信息
来源: 评论
Novel Approach of a Smart Medical Mirror System for Medical Applications  5
Novel Approach of a Smart Medical Mirror System for Medical ...
收藏 引用
5th IEEE Middle East and Africa Conference on Biomedical Engineering, MECBME 2020
作者: Halaby, Shady Khoury, George Zeid Daou, Roy Abi Hayek, Ali Boercsoek, Josef Lebanese German University Biomedical Technologies Department Jounieh Lebanon Lebanese German University Biomedical Technologies Department Jounieh Lebanon Lebanese German University Biomedical Technologies Department Jounieh Lebanon University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany University of Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Germany
Humans always face problems when it comes to medical check-up due to lack of time or laziness. However, lots of medical problems and fatal illnesses can be detected at earlier stages if the person is subject to contin... 详细信息
来源: 评论
The weakest failure detectors to solve certain fundamental problems in distributed computing  04
The weakest failure detectors to solve certain fundamental p...
收藏 引用
Proceedings of the 23rd Annual ACM Symposium on Principles of Distributed Computing
作者: Delporte-Gallet, Carole Hadzilacos, Vassos Fauconnier, Hugues Kouznetsov, Petr Guerraoui, Rachid Toueg, Sam LIAFA Université Paris 7 France Department of Computer Science University of Toronto Canada Distributed Programming Laboratory EPFL Switzerland
We determine the weakest failure detectors to solve several fundamental problems in distributed message-passing systems, for all environments - i.e., regardless of the number and timing of crashes. The problems that w... 详细信息
来源: 评论
Crosscutting concerns in parallelization by invasive software composition and aspect weaving
Crosscutting concerns in parallelization by invasive softwar...
收藏 引用
39th Annual Hawaii International Conference on System sciences, HICSS'06
作者: Chalabine, Mikhail Kassler, Christoph Programming Environments Laboratory Department of Computer and Information Science Linköping University SE-581 83 Linköping Sweden
We take a step forward towards invasive parallelization of sequential programs, where invasiveness amounts to weaving of parallel code into sequential cores on adaptable composition interfaces. In this paper we sugges... 详细信息
来源: 评论
On-demand content delivery grid
On-demand content delivery grid
收藏 引用
5th International Conference on Information Technology and Applications, ICITA 2008
作者: Luk, Vincent Wing-Hei Chan, Jacky Ng, Kam-Wing Wong, Albert Kai-Sun Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong Programming Practices Laboratory Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong
In this paper, we propose an On-Demand Content Delivery Grid system that supplements the traditional content delivery network to deal with problems such as the huge influx of network traffic in a short period of time ... 详细信息
来源: 评论
Hybrid Dipper Throated and Grey Wolf Optimization for Feature Selection Applied to Life Benchmark Datasets
收藏 引用
computers, Materials & Continua 2023年 第2期74卷 4531-4545页
作者: Doaa Sami Khafaga El-Sayed M.El-kenawy Faten Khalid Karim Mostafa Abotaleb Abdelhameed Ibrahim Abdelaziz A.Abdelhamid D.L.Elsheweikh Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt Department of System Programming South Ural State UniversityChelyabinsk454080Russia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Specific EducationMansoura UniversityEgypt
Selecting the most relevant subset of features from a dataset is a vital step in data mining and machine *** feature in a dataset has 2n possible subsets,making it challenging to select the optimum collection of featu... 详细信息
来源: 评论
Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs  2nd
收藏 引用
2nd International Workshop on Practical Aspects of Declarative Languages, PADL 2000
作者: Gupta, Gopal Akhter, Shameem F. Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las CrucesNM United States
We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressi... 详细信息
来源: 评论
A Minimal Graphical User Interface for the Jape Proof Calculator
收藏 引用
Formal Aspects of Computing 1999年 第3期11卷 244-271页
作者: Bornat, Richard Sufrin, Bernard Programming Research Group University of Oxford Oxford United Kingdom Department of Computer Science Queen Mary and Westfield College University of London London E1 4NS United Kingdom
GUI design isn't simply a matter of putting a nice front-end on a capable program. It requires thought about the way in which people might be expected to use a system, and investigation of the ways that they actua... 详细信息
来源: 评论
Case study: Simulation of a LAN
Case study: Simulation of a LAN
收藏 引用
Workshop on Software Evolution Through Transformations - Toward Uniform Support Throughout the Software Life-Cycle
作者: Janssens, Dirk Demeyer, Serge Mens, Tom Department of Mathematics and Computer Science Universitaire Instelling Antwerpen Antwerp Belgium Programming Technology Lab Vrije Universiteit Brussel Brussels Belgium
A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The stud... 详细信息
来源: 评论