咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 446 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,372 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 809 篇 工学
    • 601 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 487 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 25 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,339 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1372 条 记 录,以下是321-330 订阅
排序:
AmbientTalk: Language support for mobile computing
AmbientTalk: Language support for mobile computing
收藏 引用
International Workshop on System Support for Future Mobile Computing Applications, FUMCA 2006
作者: Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang D'Hondt, Theo Fund for Scientific Research Flanders Belgium Belgium Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium
An important aspect of system support for mobile computing involves alleviating the issues related to programming the underlying distributed system. Our approach to dealing with these issues is by means of programming... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Application-based spam detection with machine learning algorithms  27
Application-based spam detection with machine learning algor...
收藏 引用
27th International Conference on Information Society and University Studies, IVUS 2022
作者: Erbey, Ali Barışçı, Necaattin Uşak University Distance Education Vocational School Department of Computer Programming Uşak Turkey Gazi University Faculty of Technology Department of Computer Engineering Ankara Turkey
We investigated the process of unsupervised generative learning and the structure of informative generative representations of images of handwritten digits (MNIST dataset). Learning models with the architecture of spa... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Economic and Mathematical Model of a Group of Gas Fields  14
Economic and Mathematical Model of a Group of Gas Fields
收藏 引用
14th International Conference Management of Large-Scale System Development, MLSD 2021
作者: Solomatin, A.N. Federal Research Center 'Computer Science and Control Russian Academy of Sciences Department of Mathematical Methods of Regional Programming Moscow Russia
Economic and mathematical model of a group of gas fields is considered allowing forming the group development strategies for the long-term perspective. An algorithm for calculating the dynamics of gas production by fi... 详细信息
来源: 评论
Ownership types for object synchronisation  1
收藏 引用
10th Asian Symposium on programming Languages and Systems, APLAS 2012
作者: Lu, Yi Potter, John Xue, Jingling Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney NSW 2052 Australia
Shared-memory concurrent programming is difficult and error prone because memory accesses by concurrent threads need to be coordinated through synchronisation, which relies on programmer discipline and suffers from a ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Identification of the Parameter of the Single-Phase Flow Model in the Reservoir with the Power Law of Filtration  5
Identification of the Parameter of the Single-Phase Flow Mod...
收藏 引用
5th International Conference on Problems of Cybernetics and Informatics, PCI 2023
作者: Gamzaev, Khanlar Leonov, Sergey Huseynzade, Sevil Kerimova, Sevinc Azerbaijan State Oil and Industry University Department of General and Applied Mathematics Baku Azerbaijan Department of Computer Engineering and Programming Kharkiv Ukraine
The process of unsteady flow of a single-phase liquid in a cylindrical reservoir arising under the elastic mode of reservoir development is considered. To describe this process, a power law of filtration is proposed f... 详细信息
来源: 评论
Completeness analysis for incomplete object-oriented programs
Completeness analysis for incomplete object-oriented program...
收藏 引用
14th International Conference on Compiler Construction, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
作者: Xue, Jingling Nguyen, Phung Hua Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney NSW 2032 Australia
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynamic class loading. One distinctive fea... 详细信息
来源: 评论