Discusses the application of state machines in developing and programmingcomputer software. Consideration of software parameters in a state transition diagram; Phases in the manual implementation of the states and tr...
详细信息
Discusses the application of state machines in developing and programmingcomputer software. Consideration of software parameters in a state transition diagram; Phases in the manual implementation of the states and transitions.
The article offers information about the ideal design process of computer software development. A design process should be one that generates a large amount of explanatory information, in the form of arguments for cor...
详细信息
The article offers information about the ideal design process of computer software development. A design process should be one that generates a large amount of explanatory information, in the form of arguments for correctness, efficiency, and generate fitness and in the reasons for rejecting alternatives. Writing explanations as one goes along the process gives him a cascading benefit. Furthermore, explanatory technical writing uses texts as the primary mode of expression, with diagrams playing an important, but subsidiary, role of illustrating selected aspects only.
There are several applications available for parallel computers and custom development of parallel applications is fundamentally flawed. As a result of the limited application availability, and compounded by the speci...
详细信息
There are several applications available for parallel computers and custom development of parallel applications is fundamentally flawed. As a result of the limited application availability, and compounded by the specialized nature of the models and algorithms, a great deal of the technical applications for parallel computers are custom-developed by the end users. More than 75 percent of the time to solution is spent programming the models for use on HPCs, rather than developing and refining them up front, or using them in production to make decisions and discoveries. Once programming barriers are lowered, many more scientists and engineers will experience parallel computing for the first time, development of custom HPC codes will take less time and HPC servers will be used as interactively as the desktop PCs.
The article discusses challenges of computer programming for multitasking, focusing on computer scientist Peter Bentley's design of a computer imitating the activities of neurons in the human brain to enable simul...
详细信息
The article discusses challenges of computer programming for multitasking, focusing on computer scientist Peter Bentley's design of a computer imitating the activities of neurons in the human brain to enable simultaneous computations. It is noted that the creation of an artificial brain computer will require the abandonment of Moore's law of computer chip processing speed. Other topics include program debugging, parallel cloud computing, and computing requirements for self-driving automobiles.
Division of a computer program into a number of smaller programs designed as modules is a universally accepted practice among software engineers. A modular architecture offers the following advantages: parallel develo...
详细信息
Division of a computer program into a number of smaller programs designed as modules is a universally accepted practice among software engineers. A modular architecture offers the following advantages: parallel development; reduced program size and development cost; understandability; reliability; and testing.
Proof of correctness is presented as part of the structured programming methodology. The primary objective of this technique is to increase the reliability of programs by locating obscure errors, that is, error that w...
详细信息
Proof of correctness is presented as part of the structured programming methodology. The primary objective of this technique is to increase the reliability of programs by locating obscure errors, that is, error that would not be found with typical test data. Additional advantages include the ability to debug many subroutines in parallel, and the fact that details can be omitted in formal specifications even though these details must be present in the actual code. The use of a verifier is described. The input to a verifier is a program containing a specification of each procedure in the form of entry and exit assertions. If the verifier cannot prove that the code for the procedure meets the specification, it prints diagnostics that indicate where the error may be. Differences between the verifier which the author has running at System Development Corporation and other verifiers are mentioned.
W. Stephen Woodward, Electronic Design's most prolific contributor, has suggested the significance of using Ideas for Design (IFD) for developing and exhibiting design concepts. IFDs play a vital role in presentin...
详细信息
W. Stephen Woodward, Electronic Design's most prolific contributor, has suggested the significance of using Ideas for Design (IFD) for developing and exhibiting design concepts. IFDs play a vital role in presenting and developing new circuit design ideas and themes to the engineering community. The Take Back Half (TBH) method takes deliberate advantage of the equality of straight-integration's undamped over/undershoots. Experience gained from applying TBH reveals that the algorithm's stability is robust, while simulation and experimentation agree that convergence can always be achieved while steady-state error remains equal to zero. Among the techniques for measuring airspeed, thermal anemometry has the virtues of simplicity and easy miniaturization, while it also needs some provision for measurement linearization. The classic diode-capacitor charge pump also is one of the many starting points for voltage-to-frequency converter designs.
Recently in the area of finite element programs much emphasis has been placed on the development of documented verification examples and improved documentation and user conveniences. As this trend continues the last u...
详细信息
Recently in the area of finite element programs much emphasis has been placed on the development of documented verification examples and improved documentation and user conveniences. As this trend continues the last unresolved problem in the correct utilization of finite element programs will be the training and qualifications of individual users. This paper will not address the procedural requirements of testing or registering users but presents a methodology for training and qualifying users.
暂无评论