Jump to main content

yr 〜
yr

Search results 54

LCTES'13 : proceedings of the 2013 ACM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems : June 20-21, 2013 : Seattle, Washington, USA.

LCTES'13 : proceedings of the 2013 ACM SIGPLAN/SIGBED conference on languages, compilers and tools for embedded systems : June 20-21, 2013 : Seattle, Washington, USA.
Paper図書
Association for Computing Machineryc2013.<M17-14-2166>
National Diet LibraryOther Libraries in Japan

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009.

2009 first international conference on advances in system testing and validation lifecycle : (VALID 2009) : Porto, Portugal : 20-25 September 2009.
Paper図書
IEEEc2009.<M17-10-2060>
National Diet Library

RELAP5 assessment against PACTEL experimental data (revision 1) [microform] / prepared by I. Parzer, B. Mavko, S. Petelin (International agreement report ; NUREG/IA-0145)

RELAP5 assessment against PACTEL experimental data (revision 1) [microform] / prepared by I. Parzer, B. Mavko, S. Petelin (International agreement report ; NUREG/IA-0145)
Microform図書
1998<YCA-Y 3.N 88:53/0145>
National Diet Library

RELAP5/MOD3.2 validation using BETHSY test 6.9a [microform] / prepared by S. Bouabdallah (International agreement report ; NUREG/IA-0188)

RELAP5/MOD3.2 validation using BETHSY test 6.9a [microform] / prepared by S. Bouabdallah (International agreement report ; NUREG/IA-0188)
Microform図書
2000<YCA-Y 3.N 88:53/0188>
National Diet Library

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-03 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0154)

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-03 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0154)
Microform図書
1999<YCA-Y 3.N 88:53/0154>
National Diet Library

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-04 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0155)

RELAP5/MOD3.2 post test analysis and accuracy quantification of SPES test SP-SB-04 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0155)
Microform図書
1999<YCA-Y 3.N 88:53/0155>
National Diet Library

RELAP5/MOD3.2 post test analysis and accuracy quantification of Lobi test BL-44 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0153)

RELAP5/MOD3.2 post test analysis and accuracy quantification of Lobi test BL-44 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0153)
Microform図書
1999<YCA-Y 3.N 88:53/0153>
National Diet Library

RELAP5/MOD.2 post test analysis and accuracy quantification of Lobi test BL-34 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0152)

RELAP5/MOD.2 post test analysis and accuracy quantification of Lobi test BL-34 [microform] / prepared by F. D'Auria, M. Frogheri, W. Giannoti (International agreement report ; NUREG/IA-0152)
Microform図書
1999<YCA-Y 3.N 88:53/0152>
National Diet Library

Program proofs

Program proofs
Paper図書
K. Rustan M. Leino ; illustrated by Kaleb LeinoThe MIT Press2023
Other Libraries in Japan

Notes on numerical reliability of several statistical analysis programs [microform] / by J.M. Landwehr and G.D. Tasker (U.S. Geological Survey open-file report ; 99-95)

Notes on numerical reliability of several statistical analysis programs [microform] / by J.M. Landwehr and G.D. Tasker (U.S. Geological Survey open-file report ; 99-95)
Microform図書
1999<YCA-I 19.76:99-95>
National Diet Library

Assessment of RELAP5/MOD3.1 using LSTF ten-percent main steam-line-break test run SB-SL-01 [microform] / prepared by J.G. Oh ... [et al.] (International agreement report ; NUREG/IA-0148)

Assessment of RELAP5/MOD3.1 using LSTF ten-percent main steam-line-break test run SB-SL-01 [microform] / prepared by J.G. Oh ... [et al.] (International agreement report ; NUREG/IA-0148)
Microform図書
1998<YCA-Y 3.N 88:53/0148>
National Diet Library

Debugging techniques used by experienced programmers to debug their own code microform / Pamela M. Merrick (AFHRL-TR ; 90-45)

Debugging techniques used by experienced programmers to debug their own code microform / Pamela M. Merrick (AFHRL-TR ; 90-45)
Microform図書
1990<YCA-D 301.45/27:90-45>
National Diet Library

Software formal inspection standard [microform] (NASA-STD ; 2202-93)

Software formal inspection standard [microform] (NASA-STD ; 2202-93)
Microform図書
1993<YCA-NAS 1.82:2202-93>
National Diet Library

A FORTRAN program for analysis of data from microelectronic test structures / Richard L. Mattis (NBS special publication ; 400-75) (Semiconductor measurement technology)

A FORTRAN program for analysis of data from microelectronic test structures / Richard L. Mattis (NBS special publication ; 400-75) (Semiconductor measurement technology)
Microform図書
1983<YCA-C 13.10:400-75>
National Diet Library

Test and evaluation [microform] : DOD has been slow in improving testing of software-intensive systems : report to the Secretary of Defense / United States General Accounting Office

Test and evaluation [microform] : DOD has been slow in improving testing of software-intensive systems : report to the Secretary of Defense / United States General Accounting Office
Microform図書
1993<YCA-GA 1.13:NSIAD-93-198>
National Diet Library

Test examples for nonlinear programming codes / Willi Hock, Klaus Schittkowski. (Lecture notes in economics and mathematical systems ; 187)

Test examples for nonlinear programming codes / Willi Hock, Klaus Schittkowski. (Lecture notes in economics and mathematical systems ; 187)
Paper図書
Springer-Verlagc1981.<M159-154>
National Diet Library
  • Subject HeadingNonlinear programming. Computer programs -- Testing.

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi.

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981 / edited by B. Chandrasekaran, S. Radicchi.
Paper図書
North-Holland Pub. Co.c1981.<M15-A4892>
National Diet Library

Guideline for lifecycle validation, verification, and testing of computer software (FIPS PUB ; 101)

Guideline for lifecycle validation, verification, and testing of computer software (FIPS PUB ; 101)
Microform図書
1984<YCA-C 13.52:101>
National Diet Library

Continuous testing with Ruby, Rails, and JavaScript

Continuous testing with Ruby, Rails, and JavaScript
Paper図書
Ben Rady, Rod Coffin ; [edited by Jacquelyn Carter]Pragmatic Bookshelfc2011
Other Libraries in Japan

More test examples for nonlinear programming codes / Klaus Schittkowski. (Lecture notes in economics and mathematical systems)

More test examples for nonlinear programming codes / Klaus Schittkowski. (Lecture notes in economics and mathematical systems)
Paper図書
Springer-Verlagc1987.<MA216-A12>
National Diet Library
  • Subject Heading非線型 (数学) 数理計画法. プログラミング (電子計算機) Nonlinear programming. Computer programs -- Testing.
RSS