咨询与建议

限定检索结果

文献类型

  • 43 篇 会议
  • 41 篇 期刊文献
  • 8 篇 科技报告
  • 5 篇 学位论文
  • 1 册 图书

馆藏范围

  • 98 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 77 篇 工学
    • 43 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 11 篇 航空宇航科学与技...
    • 5 篇 机械工程
    • 5 篇 电气工程
    • 5 篇 控制科学与工程
    • 4 篇 材料科学与工程(可...
    • 3 篇 力学(可授工学、理...
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 信息与通信工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 动力工程及工程热...
    • 2 篇 石油与天然气工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 环境科学与工程(可...
  • 14 篇 教育学
    • 14 篇 教育学
  • 8 篇 理学
    • 3 篇 数学
    • 3 篇 物理学
    • 2 篇 化学
    • 1 篇 生物学
  • 8 篇 管理学
    • 5 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 4 篇 医学
    • 3 篇 基础医学(可授医学...
  • 1 篇 经济学
    • 1 篇 理论经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 农学

主题

  • 97 篇 c programming la...
  • 7 篇 computer program...
  • 7 篇 programming lang...
  • 5 篇 operating system...
  • 4 篇 computer program...
  • 4 篇 static analysis
  • 4 篇 software testing
  • 4 篇 fortran
  • 4 篇 language
  • 3 篇 proof automation
  • 3 篇 microcontroller
  • 3 篇 iris
  • 3 篇 linear programmi...
  • 3 篇 computer languag...
  • 3 篇 software develop...
  • 3 篇 coq
  • 3 篇 computers
  • 3 篇 parallel compute...
  • 3 篇 parallel computi...
  • 3 篇 separation logic

机构

  • 3 篇 brno university ...
  • 3 篇 univ cambridge c...
  • 2 篇 radboud univ nij...
  • 2 篇 ace associated c...
  • 2 篇 mpi sws saarland...
  • 1 篇 ostbayer th d-93...
  • 1 篇 rose hulman inst...
  • 1 篇 tsinghua univ sc...
  • 1 篇 mpi sws saarbruc...
  • 1 篇 univ politecn ma...
  • 1 篇 zhejiang sci tec...
  • 1 篇 microsoft corp r...
  • 1 篇 korea adv inst s...
  • 1 篇 inria le chesnay
  • 1 篇 university of ma...
  • 1 篇 army research la...
  • 1 篇 nasa langley res...
  • 1 篇 german aerosp ct...
  • 1 篇 multimedia univ ...
  • 1 篇 univ new s wales...

作者

  • 3 篇 lepigre rodolphe
  • 3 篇 sammler michael
  • 3 篇 dreyer derek
  • 2 篇 garg deepak
  • 2 篇 ahn jaemyung
  • 2 篇 krebbers robbert
  • 2 篇 ortin francisco
  • 2 篇 cribari-neto fra...
  • 2 篇 schulte wolfram
  • 2 篇 memarian kayvan
  • 1 篇 dhawan ap
  • 1 篇 guoquan jiang
  • 1 篇 stella s.
  • 1 篇 kyfonidis charal...
  • 1 篇 mao guifen
  • 1 篇 jeannet bertrand
  • 1 篇 schulzrinne henn...
  • 1 篇 iten david
  • 1 篇 zhang qingyang
  • 1 篇 escalada javier

语言

  • 88 篇 英文
  • 7 篇 其他
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=C programming language"
98 条 记 录,以下是91-100 订阅
排序:
Two Published Flight Dynamics Models Rewritten in Rust and Structured as an EcS
Two Published Flight Dynamics Models Rewritten in Rust and S...
收藏 引用
作者: Willis, c. A AIR FORCE INSTITUTE OF TECHNOLOGY WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT AFRL/RQQD wpafb OH Air Force Research Laboratory/RQQD Wright-Patterson AFB OH
This thesis explores using the Entity-component System (EcS) architecture to implement a Flight Dynamics Model (FDM) by re-implementing two published versions in the Rust programming language using the Specs Parallel ... 详细信息
来源: 评论
conversion of the Lagrangian Particle Dispersion Model (LPDM) code to c Using Graphics Processing Unit (GPU) computing
Conversion of the Lagrangian Particle Dispersion Model (LPDM...
收藏 引用
作者: Dawson,Leelinda p,Wang,Yansen, Army Research Lab. Adelphi MD.
The Lagrangian Particle Dispersion Model LPDM simulates the ensemble average transport of aerosols and gases in turbulent wind conditions, which can have a long execution time for it to be possibly useful to the Warfi... 详细信息
来源: 评论
OTTER (Organized Techniques for Theorem-proving and Effective Research) 2.0 users guide
OTTER (Organized Techniques for Theorem-proving and Effectiv...
收藏 引用
作者: Mccune, W. W Argonne National Lab. IL. Department of Energy Washington DC.
OTTER (Organized Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first- order logic with equality. OTTER includes the inference rules binary resolution, hyperre... 详细信息
来源: 评论
Automation of Quantification Activities of Semiconductor-Backend Process Using Binary Search Algorithm
Automation of Quantification Activities of Semiconductor-Bac...
收藏 引用
作者: Noel B.Linsangan Sandra Tirol Mapua University
Quantification activities was highly significant in semiconductor companies;it does not only showed the right count of units but also the quality on how it was processed in the production line. Automation of quantific... 详细信息
来源: 评论
Exploration on the course construction of “advanced programming language design” in colleges
Exploration on the course construction of “advanced program...
收藏 引用
2013 International conference on Information and communication Technology for Education (IcTE 2013)
作者: Shunru Ji Yuan Ren Electronic Information School Shanghai Dianji University
This paper discusses the construction of the course "advanced programming language design" in colleges. According to the team's long-term experiences from teaching this course, this paper elaborates that... 详细信息
来源: 评论
creating Detectors clothes' colors and Presentations for the Visually Impaired
Creating Detectors Clothes' Colors and Presentations for the...
收藏 引用
International conference on Science and Technology
作者: Santi Pattanavichai Suwarin Pattamavorakun Faculty of Science and Technology Rajamangala University of Technology Thanyaburi
Matching the color of clothing is a challenging task for the visually impaired persons. In this paper, we propose and create the detector which matches color shirt and presentations for impaired vision. The detector i... 详细信息
来源: 评论
Interfacing low-level c device drivers with Ada 95  99
Interfacing low-level C device drivers with Ada 95
收藏 引用
Proceedings of the 1999 annual AcM SIGAda international conference on Ada
作者: Steven Doran Litton Guidance & Control Systems 550 Canoga Ave Woodland Hills CA
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying "off-the-self" items to meet heir hardware requirements. Almost all... 详细信息
来源: 评论
Tradeoffs in Power Grid Operation During a Public Safety Power Shutoff
Tradeoffs in Power Grid Operation During a Public Safety Pow...
收藏 引用
作者: De Abreu, A. L Naval Postgraduate School Monterey CA
This thesis considers challenges associated with managing the risk of wildfires caused by electric utilities, specifically the use of deliberate, and potentially widespread, power outages termed Public Safety Power Sh... 详细信息
来源: 评论