咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 810 篇 工学
    • 602 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 128 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 489 篇 理学
    • 335 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 物理学
    • 64 篇 系统科学
    • 45 篇 生物学
    • 25 篇 化学
  • 208 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 87 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 42 篇 经济学
    • 40 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 27 篇 教育学
    • 22 篇 教育学
  • 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

机构

  • 47 篇 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,334 篇 英文
  • 32 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 俄文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming"
1377 条 记 录,以下是781-790 订阅
排序:
Auto-positioning mount system for Stereoscopic imaging on variable distances
收藏 引用
Journal of Physics: Conference Series 2012年 第1期364卷
作者: Zh Yordanov E Fuchs S Löser J Börcsök Department for Computer Architecture and System Programming University of Kassel 34121 Kassel Germany
This paper describes a stereo-imaging system for variable distances. The setup includes a mechanical mount system-holder, a control unit for the correct positioning of the cameras, the cameras itself and the object to...
来源: 评论
Resource-aware programming and simulation of MPSoC architectures through extension of X10  11
Resource-aware programming and simulation of MPSoC architect...
收藏 引用
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
作者: Hannig, Frank Roloff, Sascha Snelting, Gregor Teich, Jürgen Zwinkau, Andreas Hardware/Software Co-Design Department of Computer Science University of Erlangen Nuremberg Germany Programming Paradigms Group Karlsruhe Institute of Technology - KIT Germany
The efficient use of future MPSoCs with f 000 or more processor cores requires new means of resource-aware programming to deal with increasing imperfections such as process variation, fault rates, aging effects, and p... 详细信息
来源: 评论
Mixed-level embedding and JIT compilation for an iteratively staged DSL
Mixed-level embedding and JIT compilation for an iteratively...
收藏 引用
Lecture Notes in computer Science
作者: Giorgidze, George Nilsson, Henrik Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom
This paper explores how to implement an iteratively staged domain-specific language (DSL) by embedding into a functional language. The domain is modelling and simulation of physical systems where models are expressed ... 详细信息
来源: 评论
The Relationship between Diagnostic Coverage and Proof Test Interval for 1oo2 and 1oo2D Architectures
收藏 引用
IFAC Proceedings Volumes 2012年 第24期45卷 181-184页
作者: İlker üstoğlu özgür T. Kaymakçı Josef Börcsök Yıldız Technical University Davutpaşa Campus A209 34220 34220 Esenler İstanbul TURKEY (Tel: +90-535-418-22-64 ) Yıldız Technical University Davutpaşa Campus A210 34220 34220 Esenler İstanbul TURKEY University Kassel Faculty of Electrical Engineering/Computer Science Department of Computer Architecture and System Programming Wilhelmshöher Allee 71 34121 Kassel GERMANY
In order to measure the effectiveness of safety protection systems there are several design parameters. Diagnostic coverage factor is one of the most important parameter which influences all architectures. In this sho... 详细信息
来源: 评论
Exploring the efficiency of parallel bacteria foraging metaheuristics for job shop scheduling problem optimization  11
Exploring the efficiency of parallel bacteria foraging metah...
收藏 引用
Proceedings of the 12th International Conference on computer Systems and Technologies
作者: Borovska, Plamenka Asenov, Emilyan Gancheva, Veska Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria
This paper suggest a model of parallel computation based on Bacteria Foraging metaheuristics for Job Shop Scheduling optimization problem. The parallel model is verified experimentally by Hybrid (MPI + OpenMP) program... 详细信息
来源: 评论
OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION
收藏 引用
Journal of Systems Science & Complexity 2011年 第4期24卷 803-815页
作者: Yong FENG Xiaolin QIN Jingzhong ZHANG Xun YUAN Laboratory of Computer Reasoning and Trustworthy Computation University of Electronic b'cience and 'l~ech-nology of China Chengdu 611731 China. Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications ChineseAcademy of Sciences Chengdu 610041 China Graduate University of Chinese Academy of Sciences Beijing100049 China. Laborutory of Computer Reasoning and 7Yustworthy Computation University of Electronic Science and Tech-nology of China Chengdu 611731 China. Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications ChineseAcademy of Sciences Chengdu 610041 China.
In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing, etc., exact results are needed. Symbolic computations are used to obtain the exact results. Symbolic computations are of... 详细信息
来源: 评论
Enabling multiple accelerator acceleration for Java/OpenMP  3
Enabling multiple accelerator acceleration for Java/OpenMP
收藏 引用
3rd USENIX Workshop on Hot Topics in Parallelism, HotPar 2011
作者: Veldema, Ronald Blass, Thorsten Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal... 详细信息
来源: 评论
Parallel performance evaluation of multithreaded local sequence alignment  11
Parallel performance evaluation of multithreaded local seque...
收藏 引用
Proceedings of the 12th International Conference on computer Systems and Technologies
作者: Borovska, Plamenka Gancheva, Veska Dimitrov, Galin Chintov, Krasimir Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria
Bioniformatics is area, demanding knowledge and skills for acquisition, storing, management, analysis, interpretation and dissemination of biological information. This scientific area requires powerful computing resou... 详细信息
来源: 评论
Evaluations of Different Simultaneous Localization and Mapping (SLAM) Algorithms
Evaluations of Different Simultaneous Localization and Mappi...
收藏 引用
Annual Conference on IEEE Industrial Electronics Society
作者: Gurkan Tuna Kayhan Gulez V. Cagri Gungor T. Veli Mumcu Trakya University Department of Computer Programming Yildiz Technical University Electrical-Electronics Faculty Control and Automation Eng. Dept. Bahcesehir University Faculty of Engineering Department of Computer Engineering
Simultaneous Localization and Mapping (SLAM) algorithms with multiple autonomous robots have received considerable attention in recent years. In general, SLAM algorithms use odometry information and measurements from ... 详细信息
来源: 评论
Estimation and evaluation of the 1004-architecture for safety related systems
Estimation and evaluation of the 1004-architecture for safet...
收藏 引用
7th International Conference on Electrical and Electronics Engineering, ELECO 2011
作者: Börcsök, Josef Hayek, Ali Computer Architecture and System Programming University of Kassel Wilhelmshöher Allee 71 34121 Kassel Germany
In the standard IEC 61508 miscellaneous architectures for safety related systems are introduced. Depending on the required safety, reliability and availability levels several architectures such as 1002-, 2002-, 1003-,... 详细信息
来源: 评论