咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 108 篇 期刊文献
  • 8 册 图书

馆藏范围

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

日期分布

学科分类号

  • 214 篇 工学
    • 156 篇 计算机科学与技术...
    • 112 篇 软件工程
    • 37 篇 信息与通信工程
    • 29 篇 控制科学与工程
    • 19 篇 生物医学工程(可授...
    • 18 篇 电气工程
    • 15 篇 生物工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 化学工程与技术
    • 7 篇 建筑学
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 5 篇 动力工程及工程热...
  • 126 篇 理学
    • 80 篇 数学
    • 20 篇 生物学
    • 20 篇 统计学(可授理学、...
    • 19 篇 系统科学
    • 16 篇 物理学
    • 6 篇 化学
  • 52 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 8 篇 法学
    • 7 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 11 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 support vector m...
  • 4 篇 programming prof...
  • 4 篇 compilers
  • 4 篇 reliability
  • 4 篇 concurrent compu...
  • 4 篇 computer archite...
  • 4 篇 neural networks
  • 4 篇 computational in...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 software design
  • 4 篇 artificial neura...
  • 4 篇 functional progr...
  • 3 篇 safety
  • 3 篇 grey wolf optimi...
  • 3 篇 automation

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 4 篇 university of lü...
  • 4 篇 department of ap...
  • 4 篇 national institu...
  • 3 篇 university spbpu...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 scholz sven-bodo
  • 7 篇 grelck clemens
  • 7 篇 abotaleb mostafa
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 börcsök j.
  • 5 篇 de meuter wolfga...
  • 5 篇 van cutsem tom
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 schwarz m.h.
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 mostinckx stijn

语言

  • 305 篇 英文
  • 5 篇 其他
  • 2 篇 中文
  • 1 篇 日文
检索条件"机构=Computer Programming Technology"
313 条 记 录,以下是61-70 订阅
排序:
A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs
收藏 引用
Journal of computer Science & technology 2012年 第1期27卷 57-74页
作者: Yang Yang Hui-Min Cui Xiao-Bing Feng Jing-Ling Xue State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of Sciences Beijing 100190China Graduate University of Chinese Academy of Sciences Beijing 100190China Programming Languages and Compilers Group School of Computer Science and Engineering University of New South WalesSydneyNSW 2052Australia
In this paper, we present a hybrid circular queue method that can significantly boost the performance of stencil computations on GPU by carefully balancing usage of registers and shared-memory. Unlike earlier methods ... 详细信息
来源: 评论
Using domain algebras to prove the correctness of a compiler  2nd
收藏 引用
2nd Annual Symposium on Theoretical Aspects of computer Science, STACS 1985
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology GöteborgS-412 96 Sweden
Domain algebras are proposed as a tool for structuring compiler correctness proofs which are based on denotational semantics of the source and target language. The correctness of a compiler for a small imperative lang... 详细信息
来源: 评论
Efficient compilation of lazy evaluation
Efficient compilation of lazy evaluation
收藏 引用
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology S-412 96 Göteborg Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is based on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
A Model of Deep Neural Network for Iris Classification With Different Activation Functions
A Model of Deep Neural Network for Iris Classification With ...
收藏 引用
2018 International Conference on Artificial Intelligence and Data Processing, IDAP 2018
作者: Eldem, Ayşe Eldem, Hüseyin Üstün, Deniz Department of Computer Engineering Karamanoǧlu Mehmetbey University Karaman Turkey Department of Technology and Computer Programming Karamanoǧlu Mehmetbey University Karaman Turkey
In recent years, deep neural network (DNN) has been frequently used for classification. In this study, iris flowers having 3 different types are classified by using DNN which are utilized the width and length of petal... 详细信息
来源: 评论
Lazy memo-functions  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
来源: 评论
Security goals assurance based on software active monitoring
Security goals assurance based on software active monitoring
收藏 引用
International Conference on Secure Software Integration and Reliability Improvement
作者: Zhao, Changzhi Dong, Wei Leucker, Martin Qi, Zhichang Department of Computer Science National University of Defense Technology Changsha 410073 China Institute of Software Technology and Programming Languages University of Lubeck Germany
Access control is a vital security mechanism in today's operating systems and the security policies dictating the security relevant behaviors is lengthy and complex for example in Security-Enhanced Linux (SELinux)... 详细信息
来源: 评论
Nested mixin-methods in Agora  7th
收藏 引用
7th European Conference on Object-Oriented programming, ECOOP 1993
作者: Steyaert, Patrick Codenie, Wim D’Hondt, Theo De Hondt, Koen Lucas, Carine Van Limberghen, Marc Programming Technology Lab Computer Science Department Vrije Universiteit Brussel Pieinlaan 2 BrusselsB-1050 Belgium
Mixin-based inheritance is an inheritance technique that has been shown to subsume a variety of different inheritance mechanisms. It is based directly upon an incremental modification model of inheritance. This paper ... 详细信息
来源: 评论
McRT-malloc - A scalable transactional memory allocator  06
McRT-malloc - A scalable transactional memory allocator
收藏 引用
ISMM 2006 - 2006 International Symposium on Memory Management
作者: Hudson, Richard L. Saha, Bratin Adl-Tabatabai, Ali-Reza Hertzberg, Benjamin C. Programming System Lab Microprocessor Technology Lab Intel Corporation Computer Architecture Lab Stanford University Palo Alto CA
Emerging multi-core processors promise to provide an exponentially increasing number of hardware threads with every generation. Applications will need to be highly concurrent to fully use the power of these processors... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论