咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
Parallel performance analysis of FVTD computational electromagnetics code
收藏 引用
AIAA JOURNAL 2001年 第11期39卷 2218-2222页
作者: camberos, JA White, MD USAF Res Lab Computat Sci Branch Aeronaut Sci DivAir Vehicles Directorate Wright Patterson AFB OH 45433 USA
Parallel performance of FVTD computational electromagnetics code was analyzed. Average run time for the SGI O2K was calculated by dividing total program execution time by the number of periods specified, then averagin... 详细信息
来源: 评论
c for Econometricians
收藏 引用
computational Economics 1999年 第1-2期14卷 135-149页
作者: cribari-Neto, Francisco Departamento de Estatística Universidade Federal de Pernambuco Cidade Universitária Recife/PE 50740-540 Brazil
Fortran has long been the mother-tongue of the scientific community. This note looks at the c programming language from the viewpoint of numerical computing with the emphasis placed on econometric applications. c can ... 详细信息
来源: 评论
Interfacing low-level c device drivers with Ada 95
Interfacing low-level C device drivers with Ada 95
收藏 引用
AcM SIGADA Annual International conference (SIGADA 99)
作者: Doran, S Litton Guidance & Control Syst Woodland Hills CA 91367 USA
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... 详细信息
来源: 评论
Pc controlled toothbrush/dentifrice abrasion machine
收藏 引用
Journal of Medical Systems 1999年 第1期23卷 27-33页
作者: Bal, Güngör Üçtaşli, Sadullah Bekiroǧlu, Erdal University of Gazi Electrical Education Beşevler 06500 Ankara Turkey University of Ankara Faculty of Dentistry Beşevler 06500 Ankara Turkey
A toothbrush/dentifrice abrasion machine was developed to use in dental research laboratory. The mechanism was designed as a hexagonal block driven by two stepping motors which move the mechanism in four directions. 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论