咨询与建议

限定检索结果

文献类型

  • 3,064 册 图书
  • 70 篇 期刊文献
  • 32 篇 会议
  • 1 篇 学位论文
  • 1 件 标准

馆藏范围

  • 3,168 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 119 篇 工学
    • 88 篇 计算机科学与技术...
    • 55 篇 软件工程
    • 34 篇 电气工程
    • 12 篇 控制科学与工程
    • 9 篇 信息与通信工程
    • 6 篇 机械工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 农业工程
  • 16 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 12 篇 理学
    • 6 篇 数学
    • 3 篇 生物学
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 系统科学
  • 5 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
    • 1 篇 特种医学
  • 4 篇 教育学
    • 3 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 1 篇 林学

主题

  • 3,168 篇 programming tech...
  • 1,473 篇 programming lang...
  • 1,128 篇 software enginee...
  • 830 篇 software enginee...
  • 687 篇 logics and meani...
  • 679 篇 artificial intel...
  • 543 篇 computer communi...
  • 522 篇 algorithm analys...
  • 491 篇 mathematical log...
  • 355 篇 theory of comput...
  • 307 篇 computation by a...
  • 223 篇 information syst...
  • 222 篇 computer system ...
  • 202 篇 operating system...
  • 153 篇 database managem...
  • 147 篇 data structures
  • 139 篇 discrete mathema...
  • 121 篇 management of co...
  • 105 篇 special purpose ...
  • 104 篇 simulation and m...

机构

  • 13 篇 microsoft resear...
  • 13 篇 bangalore
  • 10 篇 aarhus n
  • 10 篇 hannam universit...
  • 9 篇 tu wien austria
  • 9 篇 university of os...
  • 8 篇 tübingen
  • 8 篇 department of co...
  • 7 篇 lawrence berkele...
  • 7 篇 nasa ames resear...
  • 7 篇 hammarland
  • 7 篇 school of comput...
  • 7 篇 university of ma...
  • 7 篇 uk
  • 7 篇 university of am...
  • 6 篇 institut für inf...
  • 6 篇 utrecht universi...
  • 6 篇 rwth aachen univ...
  • 6 篇 dipartimento di ...
  • 6 篇 university of tw...

作者

  • 16 篇 jack dongarra
  • 16 篇 andrei voronkov
  • 15 篇 manfred broy
  • 11 篇 thomas mailund
  • 10 篇 tai-hoon kim
  • 10 篇 gerhard goos
  • 9 篇 jerzy waśniewski
  • 9 篇 richard kaiser
  • 9 篇 konrad karczewsk...
  • 9 篇 roman wyrzykowsk...
  • 8 篇 mehdi dastani
  • 8 篇 michael hanus
  • 8 篇 thomas rauber
  • 8 篇 mikael olsson
  • 8 篇 viktória zsók
  • 8 篇 john hunt
  • 8 篇 leszek a. macias...
  • 7 篇 zoltán horváth
  • 7 篇 bertrand meyer
  • 7 篇 christian maurer

语言

  • 3,139 篇 英文
  • 24 篇 中文
  • 5 篇 其他
检索条件"主题词=Programming techniques"
3168 条 记 录,以下是1-10 订阅
排序:
Intel :: Irmx :: Irmx I :: 462931-001 Irmx I programming techniques Mar89
收藏 引用
2016年
[Auto Generated] Chapter 1 . Selecting a PL/M-86 Size Control 1.1 Introduction ............................................................................................................................. 1-1 1.2 Maki... 详细信息
来源: 评论
Real-Time Parallel programming for Homogeneous Multicores  14
Real-Time Parallel Programming for Homogeneous Multicores
收藏 引用
14th International Symposium on Industrial Embedded Systems
作者: Miguel Pinho, Luis Polytech Inst Porto ISEP Porto Portugal INESC TEC Porto Portugal
Developing real-time systems applications requires programming paradigms that can handle the specification of concurrent activities and timing constraints, and controlling execution on a particular platform. The incre... 详细信息
来源: 评论
InteropUnityCUDA: A Tool for Interoperability Between Unity and CUDA
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 2025年 第6期55卷 1127-1141页
作者: Algis, David Bramas, Berenger Darles, Emmanuelle Aveneau, Lilian Univ Poitiers XLIM Poitiers France Studio Nyx Gond Pontouvre France INRIA Nancy Grand Est ICube Nancy France
IntroductionUnity is a powerful and versatile tool for creating real-time experiments. It includes a built-in compute shader language, a C-like programming language designed for massively parallel General-Purpose GPU ... 详细信息
来源: 评论
TARIS: Scalable Incremental Processing of Time-Respecting Algorithms on Streaming Graphs
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2024年 第12期35卷 2527-2544页
作者: Bhoot, Ruchi Ghanmode, Suved Sanjay Simmhan, Yogesh Indian Inst Sci Bangalore 560012 India
Temporal graphs change with time and have a lifespan associated with each vertex and edge. These graphs are suitable to process time-respecting algorithms where the traversed edges must have monotonic timestamps. Inte... 详细信息
来源: 评论
LLAMA: The low-level abstraction for memory access
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 2023年 第1期53卷 115-141页
作者: Gruber, Bernhard Manfred Amadio, Guilherme Blomer, Jakob Matthes, Alexander Widera, Rene Bussmann, Michael CERN EP SFT Geneva Switzerland Ctr Adv Syst Understanding CASUS Saxony Germany Tech Univ Dresden Fac Comp Sci Dresden Germany Helmholtz Zentrum Dresden Rossendorf HZDR Dresden Germany LogMeIn Dresden Germany
The performance gap between CPU and memory widens continuously. Choosing the best memory layout for each hardware architecture is increasingly important as more and more programs become memory bound. For portable code... 详细信息
来源: 评论
Does the Stream API Benefit from Special Debugging Facilities? A Controlled Experiment on Loops and Streams with Specific Debuggers  23
Does the Stream API Benefit from Special Debugging Facilitie...
收藏 引用
45th IEEE/ACM International Conference on Software Engineering (ICSE)
作者: Reichl, Jan Hanenberg, Stefan Gruhn, Volker Univ Duisburg Essen Inst Comp Sci & Business Informat Syst ICB Schutzenbahn 70 D-45127 Essen Germany
Java's Stream API, that massively makes use of lambda expressions, permits a more declarative way of defining operations on collections in comparison to traditional loops. While experimental results suggest that t... 详细信息
来源: 评论
Editorial introduction
收藏 引用
GENETIC programming AND EVOLVABLE MACHINES 2022年 第1期23卷 1-2页
作者: Spector, Lee Amherst Coll Dept Comp Sci Amherst MA 01002 USA
来源: 评论
Artificial intelligence for fashion
收藏 引用
GENETIC programming AND EVOLVABLE MACHINES 2022年 第1期23卷 159-160页
作者: Buttler, Grace London UK
来源: 评论
Toward a Coalgebraic Model of Control Programs  35
Toward a Coalgebraic Model of Control Programs
收藏 引用
Canadian Conference on Electrical and Computer Engineering (CCECE)
作者: Teatro, Timothy A., V Eklund, J. Mikael Milman, Ruth Univ Ontario Inst Technol Dept Elect Comp & Software Engn Oshawa ON Canada
The paper provides a model of a mathematical model of a control systems program. This model, in the abstract setting of category theory, also suggests an architecture for engineering. A polynomial functor is used to s... 详细信息
来源: 评论
Statistical Performance Analysis in a GPU  16
Statistical Performance Analysis in a GPU
收藏 引用
16th IEEE International Conference on Networking, Architecture and Storage (NAS)
作者: Salonikidis, Dionisis Manolakis, Dimitris E. Int Hellenic Univ Dept Ind Engn & Management Sindos Campus Thessaloniki Greece
In this paper, we applied statistical analysis in order to evaluate the effect of parameters that affect the performance of a GPU-based parallel system. More specifically, we manually split the data to be processed in... 详细信息
来源: 评论