咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 76 篇 工学
    • 42 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 11 篇 航空宇航科学与技...
    • 5 篇 机械工程
    • 5 篇 电气工程
    • 5 篇 控制科学与工程
    • 4 篇 材料科学与工程(可...
    • 3 篇 力学(可授工学、理...
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 信息与通信工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 动力工程及工程热...
    • 2 篇 石油与天然气工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 环境科学与工程(可...
  • 14 篇 教育学
    • 14 篇 教育学
  • 8 篇 理学
    • 3 篇 数学
    • 3 篇 物理学
    • 2 篇 化学
    • 1 篇 生物学
  • 7 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 4 篇 医学
    • 3 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 经济学
    • 1 篇 理论经济学
    • 1 篇 应用经济学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 农学
    • 1 篇 作物学
    • 1 篇 农业资源与环境

主题

  • 93 篇 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 篇 iris
  • 3 篇 linear programmi...
  • 3 篇 computer languag...
  • 3 篇 software develop...
  • 3 篇 coq
  • 3 篇 computers
  • 3 篇 parallel compute...
  • 3 篇 parallel computi...
  • 3 篇 separation logic
  • 3 篇 c language

机构

  • 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 篇 army research la...
  • 1 篇 nasa langley res...
  • 1 篇 german aerosp ct...
  • 1 篇 multimedia univ ...
  • 1 篇 univ new s wales...
  • 1 篇 munster technol ...
  • 1 篇 chung hua univ d...

作者

  • 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

语言

  • 84 篇 英文
  • 7 篇 其他
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=C PROGRAMMING LANGUAGE"
94 条 记 录,以下是21-30 订阅
排序:
A Hands-On Introduction to GraphBLAS: The Python Edition
A Hands-On Introduction to GraphBLAS: The Python Edition
收藏 引用
作者: McMillan, Scott
contents include Graphs and Linear Algebra The GraphBLAS API and Adjacency Matrices GraphBLAS Operations Pygraphblas and modifying the behavior of operations Graph Algorithms expressed with GraphBLAS, Breadth-First Tr... 详细信息
来源: 评论
Preserving Memory Safety in Safe Rust during Interactions with Unsafe languages
Preserving Memory Safety in Safe Rust during Interactions wi...
收藏 引用
作者: Rivera, E MIT Lincoln Laboratory Lexington MA Assistant Secretary of Defense for Research and Engineering Washington DC
Rust is a programming language that simultaneously offers high performance and strong security guarantees. However, these guarantees come at the cost of strict compiler checks that sometimes prevent necessary code pat... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
construction of c programming language Based on Ontology Knowledge Base
Construction of C Programming Language Based on Ontology Kno...
收藏 引用
2013 the Second International conference on Innovative computing and cloud computing(Iccc 2013)
作者: Yahui Hu Yamin Hu Lejiang Guo School of computer Wuhan University Air Force Early Warning Academy
Based on the ontology construction thinking, knowledge base of c programming language is presented. Ontology construction principles, methods and advantages are analyzed, and factors such as the characteristics of kno... 详细信息
来源: 评论
pycAPS: A Python Interface to the computational Aircraft Prototype Syntheses
pyCAPS: A Python Interface to the Computational Aircraft Pro...
收藏 引用
AIAA Science and Technology (SciTech) Forum and Exposition
作者: Durscher, Ryan Reedy, Dennis Air Force Res Lab Multidisciplinary Sci Technol Ctr Wright Patterson AFB OH 45433 USA Asarian Technol LLC Multidisciplinary Sci Technol Ctr Manassas VA 20111 USA
The computational Aircraft Prototype Syntheses (cAPS) enables vehicle designers to create multi-disciplinary, multi-fidelity analysis models from a single, parametric geometric source. These capabilities are natively ... 详细信息
来源: 评论
Statically-Directed Assertion Recommendation for c Programs  43
Statically-Directed Assertion Recommendation for C Programs
收藏 引用
43rd IEEE-computer-Society Annual International computers, Software and Applications conference (cOMPSAc)
作者: Wang, cong Kang, Le Zhang, Renwei Yin, Weiliang Tsinghua Univ Sch Software Beijing Peoples R China Chinese Acad Sci Beijing Peoples R China Huawei Technol Chengdu Peoples R China
Assertions are helpful in program analysis, such as software testing and verification. The oracles encoded in the assertions help detect potential flaws and release engineers from the manually check of the reported we... 详细信息
来源: 评论
calling chapel code: Interoperability Improvements  6
Calling Chapel Code: Interoperability Improvements
收藏 引用
6th Annual AcM SIGPLAN chapel Implementers and Users Workshop (cHIUW)
作者: Duncan, Lydia Iten, David Cray Inc Seattle WA 98164 USA Cray Inc Bloomington MN USA
Since cHIUW last year, the chapel team has undertaken an effort to improve the ability to call chapel code from other languages. This talk will cover a few areas of improvement: using chapel code as a library from c, ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Analysis on the relationship between student grades and computer programming time in learning the c programming language
Analysis on the relationship between student grades and comp...
收藏 引用
7th International conference on computer Science and Education
作者: Tie, Zhixin Zhuang, Hong Zhang, Qingyang Wang, Zhaoqing Zhejiang Sci Tech Univ Sch Informat Sci & Technol Hangzhou 310018 Zhejiang Peoples R China
The c programming language is one of the most popular teaching programming languages. It is generally considered that the computer programming time that a student spent on his homework directly affects his grade of th... 详细信息
来源: 评论
A "Laboratory" as an Approach to Foster Writing Skills at Software Engineering Studies Learning Software Engineering is Easier When Writing courses Are Directly Applied to Lecture's content and the Problems and Examples Enrolled in
A "Laboratory" as an Approach to Foster Writing Skills at So...
收藏 引用
IEEE Global Engineering Education conference (EDUcON) - Emerging Trends and challenges of Engineering Education
作者: Kampmann, Matthias Mottok, Juergen Ostbayer TH D-93025 Regensburg Germany
Writing, with no doubt, is besides reading a core competency which allows us to "exploit" knowledge in general. It also makes possible the exploration of software engineering's core issues. Especially wi... 详细信息
来源: 评论