Filters
Results 1 - 10 of 80443
Results 1 - 10 of 80443.
Search took: 0.067 seconds
Sort by: date | relevance |
Jackson, P.S.; Stokes, P.A.
Atomic Energy Control Board, Ottawa, ON (Canada)
Atomic Energy Control Board, Ottawa, ON (Canada)
AbstractAbstract
[en] This report describes the Vienna Development Method (VDM), which is a formal method for software specification and development. VDM evolved out of attempts to use mathematics in programming language specifications in order to avoid ambiguities in specifications written in natural language. This report also describes the use of VDM for a real-time application, where it is used to formally specify the requirements of a water level monitoring system. The procedures and techniques used to produce an executable form (animation) of the specification are covered. (Author)
Primary Subject
Source
Mar 1993; 127 p; PROJECT NO. 2.223.1
Record Type
Report
Literature Type
Software
Report Number
Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Feustel, E.A.
Rice Univ., Houston, Tex. (USA). Lab. for Computer Science and Engineering
Rice Univ., Houston, Tex. (USA). Lab. for Computer Science and Engineering
AbstractAbstract
No abstract available
Primary Subject
Source
27 Jun 1973; 9 p
Record Type
Report
Report Number
Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] A description is given of the designs necessary to develop fifth generation computers. An analysis is offered of problems and developments in parallelism, VLSI, artificial intelligence, knowledge engineering and natural language processing. Software developments are outlined including logic programming, object-oriented programming and exploratory programming. Computer architecture is detailed including concurrent computer architecture
Primary Subject
Record Type
Journal Article
Journal
IEEE Spectrum; ISSN 0018-9235;
; v. 20(11); p. 73-109

Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Bindon, D.C.
United Kingdom Atomic Energy Authority, Reactor Group, Winfrith (United Kingdom)
United Kingdom Atomic Energy Authority, Reactor Group, Winfrith (United Kingdom)
AbstractAbstract
[en] The problems of syntax conversion are discussed and the reasons given for the choice of the Interpretive method. A full description is given of the SYNCON language and computer program together with brief details of some programs written in the language. (author)
Primary Subject
Source
Sep 1972; 66 p; Also available from H.M. Stationery Office; Country of input: International Atomic Energy Agency (IAEA); 4 refs, 3 figs
Record Type
Report
Literature Type
Software
Report Number
Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] The Objected Oriented Programming is a new methodology which allows us to organize the code in a different way than the structured languages. This article describes the main characteristics of the Language C++, and advantages in physics computing and in building a graphic user interface. The solution of a classical exercise in one-dimensional Quantum Mechanics: to find out the energy levels and the wave functions of a potential well system, allows us to set a class hierarchy, use the concepts of overloading and polymorphism, and read or write data to disk through the input/output streams. (Author) 4 refs
Original Title
La programacion orientada a objetos: aplicacion al sistema de pozos de potencial
Primary Subject
Record Type
Journal Article
Literature Type
Software
Journal
Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] Three samples in nuclear techniques section, which supported by National Natural Science Foundation in ninth five-year period, are reviewed. From the samples, it is proposed that scientist and technician should put forward projects in the cross-subject of nuclear techniques and other field
Primary Subject
Record Type
Journal Article
Journal
Nuclear Techniques; ISSN 0253-3219;
; v. 23(1); p. 57-60

Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] Antiproton researchers—who are responsible for the “A” in FAIR—are especially relieved that the project will stay intact
Primary Subject
Source
(c) 2015 American Institute of Physics; Country of input: International Atomic Energy Agency (IAEA)
Record Type
Journal Article
Journal
Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
External URLExternal URL
AbstractAbstract
[en] This paper addresses minimizing Tardy/Lost penalties with common due dates on a single machine. According to this penalty criterion, if tardiness of a job exceeds a predefined value, the job will be lost and penalized by a fixed value. The problem is formulated as an integer programming model, and a heuristic algorithm is constructed. Then, using the proposed dominance rules and lower bounds, we develop two dynamic programming algorithms as well as a branch and bound. Experimental results show that the heuristic algorithm has an average optimality gap less than 2 % in all problem sizes. Instances up to 250 jobs with low variety of process times are optimally solved and for high process time varieties, the algorithms solved all instances up to 75 jobs.
Primary Subject
Source
Copyright (c) 2018 SBMAC - Sociedade Brasileira de Matemática Aplicada e Computacional; Country of input: International Atomic Energy Agency (IAEA)
Record Type
Journal Article
Journal
Computational and Applied Mathematics; ISSN 0101-8205;
; v. 37(2); p. 867-895

Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Asai, Kiyoshi
Japan Atomic Energy Research Inst., Tokyo
Japan Atomic Energy Research Inst., Tokyo
AbstractAbstract
No abstract available
Primary Subject
Source
Jan 1974; 122 p
Record Type
Report
Report Number
Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Bogdanov, A.V.; Yuzhanin, N.V.; Zolotarev, V.I.; Ezhakova, T.R., E-mail: a.v.bogdanov@spbu.ru
Joint Institute for Nuclear Research, Dubna (Russian Federation)
Joint Institute for Nuclear Research, Dubna (Russian Federation)
AbstractAbstract
[en] In this article the problem of scientific projects support throughout their lifecycle in the computer center is considered in every aspect of support. Configuration Management system plays a connecting role in processes related to the provision and support of services of a computer center. In view of strong integration of IT infrastructure components with the use of virtualization, control of infrastructure becomes even more critical to the support of research projects, which means higher requirements for the Configuration Management system. For every aspect of research projects support, the influence of the Configuration Management system is reviewed and development of the corresponding elements of the system is described in the present paper.
Primary Subject
Source
Available online: http://www1.jinr.ru/Pepan_letters/panl_2017_7/05_Bogdanov_2_ann.pdf; The full version of this paper is published in the journal Physics of Particles and Nuclei, Letters
Record Type
Journal Article
Journal
Pis'ma v Zhurnal 'Fizika Ehlementarnykh Chastits i Atomnogo Yadra'; ISSN 1814-5957;
; v. 14(7/212); p. 699

Country of publication
Publication YearPublication Year
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
1 | 2 | 3 | Next |