Results 261 to 270 of about 9,895,757 (306)
Some of the next articles are maybe not open access.
Program partition and logic program analysis
IEEE Transactions on Software Engineering, 1995A program partition scheme for stratified programs introduced by Apt et al. (1988) is used to study efficient computation of logic programs. We consider three types of program partitions and their corresponding graph representations: 1) the natural partition, 2) stratified partitions, and 3) the reduced partition.
openaire +1 more source
Journal of the ACM, 1988
The first part of the paper shows that previous theoretical work on the semantics of probabilistic programs (Kozen) and on the correctness of performance annotated programs (Ramshaw) can be used to automate the average-case analysis of simple programs containing assignments, conditionals, and loops.
Hickey, Timothy, Cohen, Jacques
openaire +2 more sources
The first part of the paper shows that previous theoretical work on the semantics of probabilistic programs (Kozen) and on the correctness of performance annotated programs (Ramshaw) can be used to automate the average-case analysis of simple programs containing assignments, conditionals, and loops.
Hickey, Timothy, Cohen, Jacques
openaire +2 more sources
Information and Software Technology, 2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis techniques can be formulated as formal experiments. This article reports the results of research exploring this suggestion.
Joseph R. Ruthruff +2 more
openaire +1 more source
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis techniques can be formulated as formal experiments. This article reports the results of research exploring this suggestion.
Joseph R. Ruthruff +2 more
openaire +1 more source
Data analysis using R programming
2018Beginning RR is an open-source, freely available, integrated software environment for data manipulation, computation, analysis, and graphical display. The R environment consists of *a data handling and storage facility, *operators for computations on arrays and matrices, *a collection of tools for data analysis *graphical capabilities for analysis and ...
openaire +2 more sources
Communications of the ACM, 1975
One means of analyzing program performance is by deriving closed-form expressions for their execution behavior. This paper discusses the mechanization of such analysis, and describes a system, Metric, which is able to analyze simple Lisp programs and produce, for example, closed-form expressions for their running time expressed in terms of size of ...
openaire +1 more source
One means of analyzing program performance is by deriving closed-form expressions for their execution behavior. This paper discusses the mechanization of such analysis, and describes a system, Metric, which is able to analyze simple Lisp programs and produce, for example, closed-form expressions for their running time expressed in terms of size of ...
openaire +1 more source
Transformational program analysis
Software Testing, Verification and Reliability, 1994AbstractThis paper describes an approach to the semantic analysis of procedural code. The techniques differ from those adopted in current static analysis tools such as MALPAS (Bramson, 1984) and SPADE (Clutterbuck and Carré, 1988) in two key respects: (1) A database is used, together with language‐specific and language‐independent data models, as a ...
openaire +1 more source
Transactions of the IRE Professional Group on Electron Devices, 1954
Summary form only given, as follows. Investigations on receiving-type electron tube processing methods were made because of high rate of electroh tube failures experienced in USAF electronic equipment subjected to high temperatures. The tube type selected for these investigations was the 6AR6 tried in two versions, distinguished from each other only by
openaire +1 more source
Summary form only given, as follows. Investigations on receiving-type electron tube processing methods were made because of high rate of electroh tube failures experienced in USAF electronic equipment subjected to high temperatures. The tube type selected for these investigations was the 6AR6 tried in two versions, distinguished from each other only by
openaire +1 more source
Program Analysis in Program Analysis in Detection
2018Danfeng Daphne Yao +3 more
openaire +1 more source