咨询与建议

限定检索结果

文献类型

  • 43 篇 会议
  • 41 篇 期刊文献
  • 2 篇 学位论文
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 77 篇 工学
    • 42 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 12 篇 航空宇航科学与技...
    • 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 篇 农业资源与环境

主题

  • 86 篇 c programming la...
  • 4 篇 static analysis
  • 4 篇 fortran
  • 3 篇 proof automation
  • 3 篇 operating system...
  • 3 篇 iris
  • 3 篇 coq
  • 3 篇 parallel compute...
  • 3 篇 separation logic
  • 3 篇 c language
  • 3 篇 software
  • 3 篇 real-time
  • 2 篇 performance
  • 2 篇 implementation e...
  • 2 篇 languages
  • 2 篇 speaker
  • 2 篇 linux
  • 2 篇 microcontroller
  • 2 篇 two degrees of f...
  • 2 篇 detectors clothe...

机构

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

作者

  • 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 篇 ferringer matthe...
  • 1 篇 iten david
  • 1 篇 zhang qingyang

语言

  • 77 篇 英文
  • 7 篇 其他
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=C PROGRAMMING LANGUAGE"
87 条 记 录,以下是21-30 订阅
排序:
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, ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An Overview of the Julia programming language  18
An Overview of the Julia Programming Language
收藏 引用
International conference on computing and Big Data (IccBD)
作者: cabutto, Tyler A. Heeney, Sean P. Ault, Shaun V. Mao, Guifen Wang, Jin Valdosta State Univ Dept Comp Sci Valdosta GA 31698 USA Valdosta State Univ Dept Math Valdosta GA USA
The paper reviews what the Julia programming language is and its staying power relative to other popular programming languages. The following focuses on two popular programming languages (c programming and Python prog... 详细信息
来源: 评论
From Android games to coding in c-An approach to motivate novice engineering students to learn programming: A case study
收藏 引用
cOMPUTER APPLIcATIONS IN ENGINEERING EDUcATION 2018年 第1期26卷 75-90页
作者: Dolgopolovas, Vladimiras Jevsikova, Tatjana Dagiene, Valentina Vilniaus Univ Matemat & Informat Inst Akad Str 4 LT-08663 Vilnius Lithuania Vilniaus Kolegija Fac Elect & Informat Vilnius Lithuania
This paper deals with the problem of overcoming difficulties and raising the motivation of novice engineering students studying programming. We consider this an important factor for engineering education in general an... 详细信息
来源: 评论
Empirical Study of Multimedia Learning Object to Enhance Introductory programming Learning  2017
Empirical Study of Multimedia Learning Object to Enhance Int...
收藏 引用
International conference on Information Technology (IcIT)
作者: Matthews, R. Hew, S. H. Koo, A. c. Univ Nottingham Malaysia Campus Fac Engn Semenyih Selangor Malaysia Multimedia Univ Fac Creat Multimedia Cyberjaya Selangor Malaysia
Learning to write computer program for the first time is tough. The predominant focus on Multimedia Learning Object (MLO) is to explore the effectiveness in developing novice learners program writing skills. MLO is a ... 详细信息
来源: 评论
Improving the strong parallel scalability of cFD schemes via the swept domain decomposition rule  55
Improving the strong parallel scalability of CFD schemes via...
收藏 引用
55th AIAA Aerospace Sciences Meeting
作者: Alhubail, Maitham Wang, Qiqi 77 Massachusetts Ave CambridgeMA United States
We demonstrate a novel method to facilitate the application of the swept decomposition rule to complex stencil update formulas typically used in computational fluid dynamics. The method decomposes an update formula in... 详细信息
来源: 评论