咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是81-90 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
SimRoot: Modelling and visualization of root systems
收藏 引用
PLANT AND SOIL 1997年 第1期188卷 139-151页
作者: Lynch, JP Nielsen, KL Davis, RD Jablokow, AG PENN STATE UNIV DEPT MECH ENGNUNIVERSITY PKPA 16802
SimRoot, a geometric simulation model of plant root systems, is described. This model employs a data structure titled the Extensible Tree, which is well suited to the type of data required to model root systems. As im... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
MONTE-cARLO SIMULATION FOR BAcKScATTER OF OUTGASSING MOLEcULES FROM SIMPLE SPAcEcRAFT SURFAcES
收藏 引用
JOURNAL OF SPAcEcRAFT AND ROcKETS 1994年 第4期31卷 649-654页
作者: FAN, c GEE, c FONG, Mc Lockheed Missile & Space Company Sunnyvale California 94086
A computer program has been developed for the Monte carlo simulation of molecular flux impingement on simple spacecraft surfaces due to self- and ambient scattering of outgassing molecules. The outgassing and ambient ... 详细信息
来源: 评论
REAcTIVE c - AN EXTENSION OF c TO PROGRAM REAcTIVE SYSTEMS
收藏 引用
SOFTWARE-PRAcTIcE & EXPERIENcE 1991年 第4期21卷 401-428页
作者: BOUSSINOT, F Ecole Nationale Sup&eacute rieure des Mines de Paris Centre de Math&eacute matiques Appliqu&eacute es Sophia-Antipolis 06565 Valbonne France
Reactive systems are interactive programs that react continuously to sequences of activations coming from the external world. Reactive programming leads to a new programming style where one programs in terms of reacti... 详细信息
来源: 评论
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... 详细信息
来源: 评论
THE AUTOMATED SOLUTION OF 2ND QUANTIZATION EQUATIONS WITH APPLIcATIONS TO THE cOUPLED cLUSTER APPROAcH
收藏 引用
THEORETIcA cHIMIcA AcTA 1991年 第1期79卷 1-42页
作者: JANSSEN, cL ScHAEFER, HF Center for Computational Quantum Chemistry University of Georgia Athens USA
Theoretical methods in chemistry frequently involve the tedious solution of complex algebraic equations. Then the solutions, sometimes still quite complex, are usually hand-coded by a programmer into an efficient comp... 详细信息
来源: 评论
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... 详细信息
来源: 评论