Three way branching self consistency checking of hardware and software
- 作者A. Cantoni; L. Kleeman
- 卷第16卷
- 期第11期
- 印刷ISSN0038-0644
- 电子ISSN1097-024X
- 文件大小143.32KB
- 发表时间1986
- DOI10.1002/spe.4380161108
- 页码1053-1054
An Algorithm for the Manufacturing Equipment Selection ProblemBARD, JONATHAN F.; FEO, THOMAS A. · IIE Transactions · 1991
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms || An Improved Approximation Algorithm for the Column Subset Selection ProblemMathieu, Claire · 2009
An index sampling algorithm for the bayesian analysis of a class of model selection problemsGuttman, Irwin; Scollnik, David P.M · Communications in Statistics - Simulation and Computation · 1994
An Optimal Cutting-Plane Algorithm for Solving the Non-Unique Probe Selection ProblemMichelle A. Ragle; J. Cole Smith; Panos M. Pardalos · 2007
An automatic algorithm selection approach for the multi-mode resource-constrained project scheduling problemMesselis, Tommy; De Causmaecker, Patrick · European Journal of Operational Research · 2014
An algorithm for the cell formation and the machine selection problems in the design of a cellular manufacturing systemBeaulieu, A.; Gharbi, A.; Ait-Kadi, · International Journal of Production Research · 1997
An evolutionary algorithm with the partial sequential forward floating search mutation for large-scale feature selection problemsJeong, Young-Seon; Shin, Kyoung Seok; Jeong, Myong K · Journal of the Operational Research Society · 2015
Software Quality—Prevention versus Cure?R. Geoff Dromey · 2003
Exploiting partial order with QuicksortR. Geoff Dromey · 1984
Program development by inductive stepwise refinementR. Geoff Dromey · 1985
Forced termination of loopsR. Geoff Dromey · 1985
Mass spectrum dictionary for library searchingDromey, R. Geoff. · Analytical Chemistry · 1979
Architecture Normalization for Component-based SystemsLian Wen; Geoff R. Dromey · 2006
Fast string searching by finding subkeys in subtextThomas A. Bailey; R. Geoff Dromey · 1980