咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 811 篇 工学
    • 603 篇 计算机科学与技术...
    • 436 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 48 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 29 篇 仪器科学与技术
    • 26 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 488 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 26 篇 化学
  • 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 篇 英文
  • 24 篇 其他
  • 8 篇 中文
  • 1 篇 德文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1374 条 记 录,以下是281-290 订阅
排序:
Accelerating dynamic detection of uses of undefined values with static value-flow analysis
Accelerating dynamic detection of uses of undefined values w...
收藏 引用
12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014
作者: Ye, Ding Sui, Yulei Xue, Jingling Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales NSW 2052 Australia
Uninitialized variables can cause system crashes when used and security vulnerabilities when exploited. With source rather than binary instrumentation, dynamic analysis tools such as MSan can detect uninitialized memo... 详细信息
来源: 评论
Compiling pattern matching  2nd
收藏 引用
2nd International Conference on Functional programming Languages and computer Architecture, 1985
作者: Augustsson, Lennart Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
Effects on prey-predator with different functional responses
收藏 引用
International Journal of Biomathematics 2017年 第8期10卷 141-162页
作者: Banani Roy Sankar Kumar Roy M. H. A. Biswas Department of Applied Mathematicswith Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India Mathematics Discipline Science Engineering and Technology SchoolKhulna University Khulna 9208 Bangladesh
In this paper, we investigate the effects on prey of two predators which are also related in terms of prey-predator relationship. Different types of functional responses are con- sidered to formulate the mathematical ... 详细信息
来源: 评论
Investment Planning in the Region  16
Investment Planning in the Region
收藏 引用
16th International Conference Management of Large-Scale System Development, MLSD 2023
作者: Solomatin, Alexander Federal Research Center 'Computer Science and Control' of Ras Department of Mathematical Methods of Regional Programming Moscow Russia
The principle of multiplicity is introduced for the components of the investment planning process. Some algorithms are given that ensure the process of investment planning at the regional level: the formation of integ... 详细信息
来源: 评论
An approach to convert scientific data description
An approach to convert scientific data description
收藏 引用
6th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS'2011
作者: Gancheva, Veska Shishedjiev, Bogdan Kalcheva-Yovkova, Elena Programming and Computer Technologies Department Technical University of Sofia 1000 Kliment Ohridski 8 boul. Bulgaria
Data obtained from the scientific experiments are heterogeneous and distributed. They are stored in different file formats so it is difficult to be integrated, analyzed, processed and visualised. Scientific experiment... 详细信息
来源: 评论
Automated geometric reasoning: Dixon resultants, gröbner bases, and characteristic sets
收藏 引用
International Workshop on Automated Deduction in Geometry, 1996
作者: Kaput, Deepak Institute for Programming and Logics Department of Computer Science State University of New York AlbanyNY12222 United States
Three different methods for automated geometry theorem proving-a generalized version of Dixon resultants, Gröbner bases and characteristic sets--axe reviewed. The main focus is, however, on the use of the general... 详细信息
来源: 评论
Estimating Breathing Levels of Asthma Patients with Artificial Intelligence Methods
Estimating Breathing Levels of Asthma Patients with Artifici...
收藏 引用
International Conference on Intelligent and Fuzzy Systems, INFUS 2020
作者: Yüksel, Asım Sinan Tan, Fatma Gülşah Computer Engineering Department Süleyman Demirel University Isparta Turkey Vocational School Computer Programming Department Manisa Celal Bayar University Manisa Turkey
Pollen contains highly allergic proteins. One of the major causes of allergic diseases is the pollen in the air we breathe. Asthma patients are known to show allergic reaction to pollens. Therefore, they need to be mo... 详细信息
来源: 评论
Efficient compilation of lasy evaluation
Efficient compilation of lasy evaluation
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
A distributed garbage collection algorithm  2nd
收藏 引用
2nd International Conference on Functional programming Languages and computer Architecture, 1985
作者: Hughes, John Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
CellCilk: Extending cilk for heterogeneous multicore platforms
CellCilk: Extending cilk for heterogeneous multicore platfor...
收藏 引用
24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011
作者: Werth, Tobias Schreier, Silvia Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen-Nuremberg Germany Faculty of Mathematics and Computer Science Data Processing Technology University of Hagen Germany
The potential of heterogeneous multicores, like the Cell BE, can only be exploited if the host and the accelerator cores are used in parallel and if the specific features of the cores are considered. Parallel programm... 详细信息
来源: 评论