咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
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... 详细信息
来源: 评论
SnuCL: An OpenCL framework for heterogeneous CPU/GPU clusters  12
SnuCL: An OpenCL framework for heterogeneous CPU/GPU cluster...
收藏 引用
26th ACM International Conference on Supercomputing, ICS'12
作者: Kim, Jungwon Seo, Sangmin Lee, Jun Nah, Jeongho Jo, Gangwon Lee, Jaejin Center for Manycore Programming School of Computer Science and Engineering Seoul National University Seoul 151-744 Korea Republic of
In this paper, we propose SnuCL, an OpenCL framework for heterogeneous CPU/GPU clusters. We show that the original OpenCL semantics naturally fits to the heterogeneous cluster programming environment, and the framewor... 详细信息
来源: 评论
Intelligent system for feature- based modelling of machine parts  5th
收藏 引用
5th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1992
作者: Lekova, Anna Batanov, Dentcho Nikolaev, Nikolay Department of Programming and Computer Applications Technical University Sofia1156 Bulgaria Artificial Intelligence Laboratory Department of Computer Science Technical University Sofia1156 Bulgaria
This paper proposes a new system for feature- based modelling- ISFBM with built in strategy for defining details by their features, realizing design process over the computational model of rule- based systems paradigm... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The design and implementation of a high-speed incremental portable Prolog compiler  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Bowen, Kenneth A. Buettner, Kevin A. Cicekli, Ilyas Turk, Andrew K. Logic Programming Research Group School of Computer & Information Science Syracuse University SyracuseNY13210 United States
The design and implementation of a relatively portable Prolog compiler achieving 12K LIPS on the standard benchmark is described. The compiler is incremental and uses decompilation to implement retract, clause, and li... 详细信息
来源: 评论
A software-managed coherent memory architecture for manycores
A software-managed coherent memory architecture for manycore...
收藏 引用
20th International Conference on Parallel Architectures and Compilation Techniques, PACT 2011
作者: Park, Jungho Jang, Choonki Lee, Jaejin Center for Manycore Programming School of Computer Science and Engineering Seoul National University Seoul 151-744 Korea Republic of
Cache coherent Non-Uniform Memory Access (cc-NUMA) architectures have been widely used for chip multiprocessors (CMPs). However, they require complicated hardware to properly handle the cache coherence problem. Moreov... 详细信息
来源: 评论
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
来源: 评论
Synchrony versus causality in distributed systems
Synchrony versus causality in distributed systems
收藏 引用
作者: Peters, Kirstin Schicke-Uffmann, Jens-Wolfhard Goltz, Ursula Nestmann, Uwe School of Electrical Engineering and Computer Science TU Berlin Germany Institute for Programming and Reactive Systems TU Braunschweig Germany
Given a synchronous system, we study the question whether - or, under which conditions - the behaviour of that system can be realized by a (non-trivially) distributed and hence asynchronous implementation. In this pap... 详细信息
来源: 评论
An OpenCL framework for homogeneous manycores with no hardware cache coherence
An OpenCL framework for homogeneous manycores with no hardwa...
收藏 引用
20th International Conference on Parallel Architectures and Compilation Techniques, PACT 2011
作者: Lee, Jun Kim, Jungwon Kim, Junghyun Seo, Sangmin Lee, Jaejin Center for Manycore Programming School of Computer Science and Engineering Seoul National University Seoul 151-744 Korea Republic of
Recently, Intel has introduced a research prototype manycore processor called the Single-chip Cloud computer (SCC). The SCC is an experimental processor created by Intel Labs. It contains 48 cores in a single chip and... 详细信息
来源: 评论
Timing attacks on web privacy  00
Timing attacks on web privacy
收藏 引用
7th ACM Conference on computer Communications Security
作者: Felten, E.W. Schneider, M.A. Secure Internet Programming Lab. Department of Computer Science Princeton University Princeton NJ 08544 United States
We describe a class of attacks that can compromise the privacy of users' Web-browsing histories. The attacks allow a malicious Web site to determine whether or not the user has recently visited some other, unrelat... 详细信息
来源: 评论