The programming of some Pascal loops which have two possible reasons for exit are examined. In particular the use of state variables is considered. Within the loop, a variable of an enumerated type records the current...
详细信息
The programming of some Pascal loops which have two possible reasons for exit are examined. In particular the use of state variables is considered. Within the loop, a variable of an enumerated type records the current state of interest, and upon exit from the loop, a case-statement discriminates the possible resultant states. This approach applies to loops with an arbitrary number of reasons for exit. Use of this technique can make programs easier to write and they become more transparent and reliable. The approach is recommended for all but the most straightforward loops with more than one reason for exit.
This paper presents an algorithm for data manipulation which accomplishes fast number sorting with microprocessor. The minimal program eliminates clock cycles since number comparisons and associated decision instructi...
详细信息
This paper presents an algorithm for data manipulation which accomplishes fast number sorting with microprocessor. The minimal program eliminates clock cycles since number comparisons and associated decision instructions are unnecessary.
This study is oriented towards those quality control problems peculiar to the procurement of software. A discussion is presented of the deficiencies, and possible corrections, of several current methodologies. The aut...
详细信息
This study is oriented towards those quality control problems peculiar to the procurement of software. A discussion is presented of the deficiencies, and possible corrections, of several current methodologies. The authors propose a set of software management and development tools for software quality assurance which enables better contractor-developer communication during the development. The study also includes a discussion of how sophisticated programming environments can play a central role in procured software development and a discussion of the associated research issues.
This paper discusses the technology which has been developed for automated verification systems (AVS), that is, tools to measure how thoroughly software is being tested. The presentation includes descriptions of the t...
详细信息
This paper discusses the technology which has been developed for automated verification systems (AVS), that is, tools to measure how thoroughly software is being tested. The presentation includes descriptions of the typical AVS system structure, the model for measuring testing coverage, and the use of software instrumentation to link test results to the model.
Companies such as Netflix, Hulu, and TV Everywhere, are providing streaming video to hollywood movies, starting a new era of digital content in cinema. Rich Hull, advisor to many of the nation's largest media and ...
详细信息
Companies such as Netflix, Hulu, and TV Everywhere, are providing streaming video to hollywood movies, starting a new era of digital content in cinema. Rich Hull, advisor to many of the nation's largest media and entertainment companies on content strategy, finance, and distribution, and a former film and TV producer, says that the application is a rage. Netflix is a good option for film and TV studios, which have the opportunity to resell old content over and over. Hulu is providing original digital programming application Battleground, a 13-episode series that focuses on the lives of workers in a fictional campaign for a US Senate seat in Wisconsin. Redbox announced in February that it would be teaming up with Verizon to create a rental service that would offer digital delivery and compete directly with Netflix.
Motivation: Workflow managers for scientific analysis provide a high-level programming platform facilitating standardization, automation, collaboration and access to sophisticated computing resources. The Galaxy workf...
详细信息
Motivation: Workflow managers for scientific analysis provide a high-level programming platform facilitating standardization, automation, collaboration and access to sophisticated computing resources. The Galaxy workflow manager provides a prime example of this type of platform. As compositions of simpler tools, workflows effectively comprise specialized computer programs implementing often very complex analysis procedures. To date, no simple way to automatically test Galaxy workflows and ensure their correctness has appeared in the literature. Results: With wft4galaxy we offer a tool to bring automated testing to Galaxy workflows, making it feasible to bring continuous integration to their development and ensuring that defects are detected promptly. wft4galaxy can be easily installed as a regular Python program or launched directly as a Docker container-the latter reducing installation effort to a minimum.
One of 2013's more poignant blog posts came in October from Ramses Martinez, director of Yahoo's bug-finding division Yahoo Paranoids, under the title, 'So I'm the guy who sent the T-shirt out as a tha...
详细信息
We would like to report an error in a proof given by J.-P. Verjus in [3]. More importantly, we would like to point out a difference between the notions “always-true” and “invariant”, which are identified in [3]. I...
详细信息
We would like to report an error in a proof given by J.-P. Verjus in [3]. More importantly, we would like to point out a difference between the notions “always-true” and “invariant”, which are identified in [3]. In his paper, Verjus claims that invariance proofs by contradiction are shorter than invariance proofs by the established method, called the “induction method” in [3]. To illustrate his idea, he proposes an alternative correctness proof for a termination detection algorithm given by Dijkstra, Feijen, and Van Gasteren [2]. We show that his—operational—proof is incorrect and incomplete (Section 1); moreover, what he shows is that a predicate is always-true, which is strictly weaker than invariance (Section 2). Instead of illustrating the merits of proofs by contradiction, the proof strongly supports our opinion that operational arguments should be avoided.
The main objective of the project is to use a simple numerical technique to find out the temperature distribution in each of the three planes of the block. For many practical problems, numerical methods to solve parti...
详细信息
The main objective of the project is to use a simple numerical technique to find out the temperature distribution in each of the three planes of the block. For many practical problems, numerical methods to solve partial differential equations (PDEs) are required. Conventional finite element or finite-difference codes have a difficulty to obtain precise solutions because of the need for an exceedingly fine mesh, which leads to often prohibitive CPU time. While conventional methods exhibit such a difficulty, some practical problems even require solutions guaranteed. The Laplace equation is one of the important PDEs in physics and engineering, describing the phenomenology of electrostatics among others, and various problems for the Laplace equation require highly precise and verified solutions. We present an alternative approach based on numerical method by computer programming in order to find the temperature distribution in the three-dimensional solid.
Data validation and editing are performed by most application systems. This study described a table-driven validator that is intended to be part of an inventory of off-the-shelf components for application building. It...
详细信息
Data validation and editing are performed by most application systems. This study described a table-driven validator that is intended to be part of an inventory of off-the-shelf components for application building. It is particularly advantageous in distributed systems, in which uniform data validation criteria are both necessary to have and difficult to obtain.
暂无评论