咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 98 篇 电子文献
  • 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 篇 农业资源与环境

主题

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

作者

  • 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

语言

  • 88 篇 英文
  • 7 篇 其他
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=C Programming language"
98 条 记 录,以下是11-20 订阅
排序:
Learning memory management with c-Sim: A c-based visual tool
收藏 引用
cOMPUTER APPLIcATIONS IN ENGINEERING EDUcATION 2019年 第5期27卷 1217-1235页
作者: Garcia Perez-Schofield, Baltasar Garcia Rivera, Matias Ortin, Francisco Lado, Maria J. Univ Vigo Higher Sch Comp Sci Engn Campus As Lagoas Orense Spain Univ Oviedo Comp Sci Dept Oviedo Spain
Nowadays, computer Science (cS) students must cope with continuous challenges related to programming skill acquisition. In some occasions, they have to deal with the internals of memory management (pointers, pointer a... 详细信息
来源: 评论
A friendly online c compiler to improve programming skills based on student self-assessment
收藏 引用
cOMPUTER APPLIcATIONS IN ENGINEERING EDUcATION 2015年 第6期23卷 887-896页
作者: cedazo, Raquel Garcia cena, cecilia E. Mohammed Al-Hadithi, Basil Univ Politecn Madrid Higher Tech Sch Ind Design & Engn Dept Elect Elect & Automat Control Engn & Appl Ph Madrid 28012 Spain Univ Politecn Madrid Ctr Automat & Robot CSIC Intelligent Control Grp E-28006 Madrid Spain Univ Politecn Madrid Ctr Automat & Robot E-28006 Madrid Spain
This paper presents an online c compiler designed so that students can program their practical assignments in programming courses. What is really innovative is the self-assessment of the exercises based on black-box t... 详细信息
来源: 评论
Direct Simulation Monte carlo Analysis of Rarefied Flows on Parallel Processors
收藏 引用
JOURNAL OF THERMOPHYSIcS AND HEAT TRANSFER 1991年 第3期5卷 292-300页
作者: Wilmoth, Richard G. NASA Langley Res Ctr Div Space Syst Aerothermodynam Branch Hampton VA 23665 USA
A method for executing a direct simulation Monte carlo (DSMc) analysis using parallel processing is described. The method is based on using domain decomposition to distribute the work load among multiple processors, a... 详细信息
来源: 评论
Real-time identification of flutter boundaries using the discrete wavelet transform
收藏 引用
JOURNAL OF GUIDANcE cONTROL AND DYNAMIcS 2002年 第2期25卷 334-339页
作者: Johnson, JD Lu, J Dhawan, AP Lin, R Univ Toledo Toledo OH 43606 USA NASA Dryden Flight Res Ctr Edwards AFB CA 92523 USA
Real-time analysis of an airframe's flutter boundaries during flight testing can help ensure safety and reduce costs. One method of identification is to perform correlation filtering using a set of singlet functio... 详细信息
来源: 评论
Robust control of passive-jointed robot and experimental validation using sliding mode
收藏 引用
JOURNAL OF GUIDANcE cONTROL AND DYNAMIcS 1996年 第5期19卷 1039-1046页
作者: Ro, PI Yih, cc North Carolina State University Raleigh North Carolina 27695-7910
A robust control strategy for a passive-jointed robot using sliding mode control is investigated. Instead of an actuator, the passive joint has a brake to reduce the weight and energy consumption of the robot. While t... 详细信息
来源: 评论
Efficient calculation of a jitter/stability metric
收藏 引用
JOURNAL OF SPAcEcRAFT AND ROcKETS 1997年 第4期34卷 549-557页
作者: Giesy, DP LOCKHEED MARTIN CORP HAMPTONVA 23681
A tool for computing a jitter/stability metric used in NASA requirements statements is developed. An efficient algorithm is given for computing this metric. Two ways of implementing it an a computer are discussed. One... 详细信息
来源: 评论
Method of railway shunting operation sheet information extraction guided by table header
收藏 引用
IET INTELLIGENT TRANSPORT SYSTEMS 2022年 第10期16卷 1391-1403页
作者: Zhang, Bingjie Huang, Shize Zhang, Lei Liu, Xiaowen Song, Guanqun Qin, Jinzhe Li, Man Tongji Univ Minist Educ Key Lab Rd & Traff Engn Shanghai Peoples R China Tongji Univ Shanghai Key Lab Rail Infrastruct Durabil & Syst Shanghai Peoples R China Tongji Univ Dept Traff Informat & Control Engn Shanghai Peoples R China Beijing Jiaotong Univ State Key Lab Rail Traff Control & Safety Beijing Peoples R China
The railway shunting operation sheet is the written plan of the shunting operation. In the current shunting operation preparation process, signalmen must input the plans manually for subsequent execution, which is ine... 详细信息
来源: 评论
USING THE c-language TO APPROXIMATE NONLINEAR STOcHASTIc-SYSTEMS
收藏 引用
ADVANcES IN ENGINEERING SOFTWARE AND WORKSTATIONS 1990年 第2期12卷 59-68页
作者: SERRANO, SE Department of Civil Engineering University of Kentucky Lexington Kentucky 40506-0046 USA
Recognizing the growing popularity and demand for scientific or numerical libraries in the c computer language, and the shortage of systematic methods for the increasingly important non-linear stochastic systems, this... 详细信息
来源: 评论
FAST FLOATING-POINT PROcESSING IN cOMMON LISP
收藏 引用
AcM TRANSAcTIONS ON MATHEMATIcAL SOFTWARE 1995年 第1期21卷 26-62页
作者: FATEMAN, RJ BROUGHAN, KA WILLcOcK, DK RETTIG, D UNIV WAIKATO DEPT MATH & STAT HAMILTON NEW ZEALAND FRANZ INC BERKELEY CA 94704 USA
Lisp, one of the oldest higher-level programming languages, has rarely been used for fast numerical (floating-point) computation We explore the benefits of common Lisp, an emerging new language standard with some exce... 详细信息
来源: 评论
A c-language PROGRAM FOR THE cOMPUTATION OF POWER SPEcTRA ON A LABORATORY MIcROcOMPUTER
收藏 引用
cOMPUTER METHODS AND PROGRAMS IN BIOMEDIcINE 1986年 第3期22卷 285-291页
作者: WEBBER, cL Department of Physiology Loyola University of Chicago Stritch School of Medicine 2160 South First Avenue Maywood IL 60153 U.S.A.
A computer program is described which performs power-spectral analyses on time-domain data. The program is written in the c language and incorporates an algorithm for the fast Fourier transform translated from BASIc i... 详细信息
来源: 评论