掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement
IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Network-based scientific computation via Inferno
机译:
基于网络的科学计算通过地狱
作者:
W. M. Coughran
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
networked operating system;
distributed computation;
2.
Discussion
机译:
讨论
作者:
C. Bischof
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
3.
Software testing and evaluation in large-scale scientific applications
机译:
大型科学应用中的软件测试和评估
作者:
Mo Mu
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
mathematical software;
scientific software;
large-scale applications;
testing and evaluation;
software reliability;
4.
Evaluation of minimization software based on performance profile techniques
机译:
基于性能型材技术的最小化软件评估
作者:
J. N. Lyness
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
mathematical software;
optimization;
performance evaluation;
5.
The XSC tools for extended scientific computing
机译:
扩展科学计算的XSC工具
作者:
Ulrich Kulisch
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
automatic result verification;
ACRITH-XSC;
C-XSC;
FORTRAN-XSC;
PASCAL-XSC;
6.
Is numerical software relevant? Is it too late to worry about quality?
机译:
数字软件是否相关? 担心质量为时已晚?
作者:
James C. T. Pool
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
archetypes;
certification;
evaluation;
grand challenge applications;
high performance computing;
mathematical software;
parallel software tools;
templates;
7.
Reliability of local error control algorithms for initial value ordinary differential equations
机译:
初始值普通微分方程局部误差控制算法的可靠性
作者:
Desmond J. Higham
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
discretization;
error control;
long-term dynamics;
nonlinearity;
qualitative behaviour;
steady state;
8.
Automatic differentation and numerical software design
机译:
自动分化和数值软件设计
作者:
Christian H. Bischof
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
automatic differentiation;
numerical integrators;
intrinsics;
ADIntrinsics;
SparsLinC;
9.
Automatic parallel program generation for finite element analysis
机译:
用于有限元分析的自动并行程序生成
作者:
Shun Doi
;
Hidehiro Fujio
;
Kouta Sugihara
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
problem solving environments;
parallel computing;
finite element method;
10.
The visual diagnosis on numerical calculation of PDE problems and experiments
机译:
PDE问题数值计算的视觉诊断与实验
作者:
Yukio Umetani
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
partial differential equations;
diagnosis;
eigenvector;
matrix;
discretization;
linear transformation;
numerical simulation;
numerical software;
11.
Development of efficient general purpose Monte Carlo codes used in nuclear engineering
机译:
核工程中使用的高效通用蒙特卡罗码的发展
作者:
M. Nakagawa
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
particle transport problem;
monte caro method;
vector supercomputer;
parallel computer;
speedup;
geometry description;
quality;
validation;
benchmark;
portability;
12.
Designing and building a new numerical library in Fortran 90
机译:
在Fortran 90中设计和构建新的数字图书馆
作者:
Jeremy Du Croz
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
fortran 90;
interface;
library;
module;
software design;
testing;
13.
Developing ODE software in new computing environments
机译:
在新计算环境中开发ode软件
作者:
L. F. Shampine
;
M. W. Reichelt
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
ODE software;
Matlab;
simulation language;
teaching package;
user interface;
14.
A proposed software test service for special functions
机译:
建议的特殊功能软件测试服务
作者:
Daniel W. Lozier
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
comparison software;
interval relative precision;
parallel computing;
reference software;
special functions;
testing and evaluation;
wold wide web;
15.
Quality of service and scientific workflows
机译:
服务质量和科学工作流程
作者:
Mladen A. Vouk
;
Munindar P. Singh
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
quality of service;
QoS;
problem solving environment;
PSE;
scientific workflow;
reliability;
availability;
intra- and inter-net response delays;
users;
activity management;
16.
If software quality is a perception, how do we measure it?
机译:
如果软件质量是一种感知,我们如何衡量它?
作者:
W. M. Gentleman
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
software quality;
measurement;
assessment;
subjective;
objective;
17.
New resource-sparing grid methods for solving the problems of mathematical physics
机译:
解决数学物理问题的新资源备用网格方法
作者:
Yu. I. Shokin
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
irregular adapting grids;
two-dimensional elliptic problems;
adaptive projection-grid method;
piecewise-polynomial function;
system collocation equations;
mixed conform conditions;
18.
Is nonnormality a serious computational difficulty in practice?
机译:
非通期是否在实践中具有严重的计算困难?
作者:
Francoise Chaitin-Chatelin
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
spectral instability;
nonnormality;
exact arithmetic;
finite precision;
reliability of numerical software;
19.
Matrix Market : a web resource for test matrix collections
机译:
Matrix Market:测试矩阵集的Web资源
作者:
Ronald F. Biosvert
;
Roldan Pozo
;
Karin Remington
;
Richard F. Barrett
;
Jack J. Dongarra
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
numerical linear algebra;
mathematical software;
sparse matrices;
testing and evaluation;
reference data;
test corpora;
world wide web;
20.
Case studies on the development of ScaLAPACK and the NAG Numerical PVM Library
机译:
缩写和NAG数值PVM图书馆发展的案例研究
作者:
J. J. Dongarra
;
S. Hammarling
;
A. Petitet
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
BLAS;
LAPACK;
NAG;
numerical libraries;
numerical linear algebra;
numerical software;
ScaLAPACK;
21.
A methodology for testing classes of approximation and optimisation software
机译:
一种测试近似和优化软件类的方法
作者:
Bernard Butler
;
Maurice Cox
;
Alistair Forbes
;
Simon Hannaby
;
Peter Harris
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
black-box testing;
data generators;
least-squares;
mathematical software;
null-space approach;
performance measures;
quality metrics;
reference data sets;
software quality;
soft-ware testing;
22.
Testing linear algebra software
机译:
测试线性代数软件
作者:
Nicholas J. Higham
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
mathematical software;
testing;
linear algebra;
backward error;
LAPACK;
23.
Improving quality through user-centered design
机译:
通过以用户为中心的设计提高质量
作者:
Cherri M. Pancake
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
usability;
software design;
user interface;
user-centered design;
software engineering;
24.
Improving the quality of software quality determination processes
机译:
提高软件质量确定过程的质量
作者:
Leon J. Osterweil
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
software process;
software quality;
process improvement;
integrated software testing and analysis;
25.
A functional approach to software reliability modeling
机译:
软件可靠性建模的功能方法
作者:
J. C. Munson
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
software reliability;
stochastic processes;
markov models;
software functionality;
26.
The T-experiments: errors in scientific software
机译:
T-Dipliments:科学软件的错误
作者:
L. Hatton
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
error;
n-version;
static fault;
dynamic failure;
27.
Some fundamental limitations of mathematical software revealed by the calculation of spacetime curvature
机译:
空间曲率计算揭示数学软件的一些基本局限
作者:
S. L. Lee
;
W. E. Schiesser
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
method of lines;
PDEs;
einstein field equations;
limitations of mathematical software;
28.
The Quality of Numerical Software: Assessment and Enhancement
机译:
数字软件的质量:评估和增强
作者:
anonymous
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
29.
Why we couldn't use numerical libraries for PETSc
机译:
为什么我们无法使用VETSC的数值库
作者:
William D. Gropp
会议名称:
《IPIP TC2/WG2.5 working conference on the quality of numerical software, assessment and enhancement》
|
1997年
关键词:
software libraries;
interoperability;
composition;
意见反馈
回到顶部
回到首页