咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是81-90 订阅
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... 详细信息
来源: 评论
REAcTIVE c - AN EXTENSION OF c TO PROGRAM REAcTIVE SYSTEMS
收藏 引用
SOFTWARE-PRAcTIcE & EXPERIENcE 1991年 第4期21卷 401-428页
作者: BOUSSINOT, F Ecole Nationale Supérieure des Mines de Paris Centre de Mathématiques Appliqué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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
AN INTERAcTIVE, READILY TRANSPORTABLE PROGRAM USING A LOG LOGIT TRANSFORMATION FOR THE ANALYSIS OF RADIOIMMUNOASSAY DATA
收藏 引用
cOMPUTER METHODS AND PROGRAMS IN BIOMEDIcINE 1986年 第3期23卷 263-268页
作者: GOADSBY, PJ LAMBERT, GA UNIV NEW S WALES SCH MED SYDNEY NSW AUSTRALIA
We describe a processing program for radioimmunoassay data which uses a log/logit transformation and maximum likelihood estimation to describe mathematically the standard curve, providing a .chi.2 test of goodness of ... 详细信息
来源: 评论
The design and implementation of a Syntax Directed Editor for a space constrained microcomputer.
The design and implementation of a Syntax Directed Editor fo...
收藏 引用
作者: Richbourg, Robert E. Naval Postgraduate School
学位级别:硕士
Syntax directed editors (SDE) have been built to support popular languages or subsets of those languages. Typically, these im- plementations require large amounts of computing resources. This work describes the design... 详细信息
来源: 评论