D.I. school papers

Transferring testing and verification technology to industry: For software products, there are three basic costs: cost of failure; cost of development; and cost of maintenance. Today, the main leverage points are cost of product development and maintenance. It is argued that to transfer testing and verification technology, it is necessary to persuade software product managers that using new technology will re....; Authors:Good;D.I.Publisher:Software Testing;Verification;and Analysis;1988.;Proceedings of the Second Workshop onConference Date:19-21 July 1988ISSN:0-8186-0868-4Total Page:viii+247

Producing secure digital information systems: The security of a digital information system is determined by the process that produces the system. Thus, it is argued that the system production process is the central issue in achieving secure systems. A rigorous approach to digital system engineering is described which is based on a mathematical function that accurately and completely describes ....; Authors:Good;D.I.Publisher:Aerospace Computer Security Applications Conference;1988.;FourthConference Date:12-16 Dec. 1988ISSN:0-8186-0895-1Total Page:xii+440

Object-oriented model-based reasoning for diagnosing automated manufacturing systems: In automated manufacturing, availability is the percentage of time that a production system is functioning properly. The author addresses the problems of availability by exploring the feasibility of a class of diagnosis algorithm. To develop this approach, a range of theory used in other areas was surveyed and synthesized. Petri net analysis was ap....; Authors:Kerpelman;D.I.Publisher:Intelligent Control;1988. Proceedings.;IEEE International Symposium onConference Date:24-26 Aug. 1988ISSN:0-8186-2012-9Total Page:x+768

An efficient convex hull computation on the reconfigurable mesh: Presents a fast parallel solution to the convex hull problem on a two dimensional reconfigurable mesh. The parallel algorithm computes the convex hull of N/sup 1/2/ planar points on a N/sup 1/2/*N/sup 1/2/ reconfigurable mesh. The algorithm is very efficient and completes the convex hull computation in O(1) time. Efficient parallel sorting of N/sup....; Authors:Reisis;D.I.Publisher:Parallel Processing Symposium;1992. Proceedings.;Sixth InternationalConference Date:23-26 March 1992ISSN:0-8186-2672-0Total Page:xviii+693

The voice operated electrical stimulation system: A computerized voice-controlled electrical stimulation system has been developed to help restore limited hand functions for quadriplegics and enhance mental/motor capabilities for brain injured or mentally retarded persons. Paralyzed hands are enabled to open and close through safe, noninvasive, mild electrical stimulation of forearm muscles. The u....; Authors:Di HanPublisher:Computing Applications to Assist Persons with Disabilities;1992.;Proceedings of the Johns Hopkins National Search forConference Date:1-5 Feb. 1992ISSN:0-8186-2730-1Total Page:xvi+221

Improved graph computations on the reconfigurable mesh: The paper develops a data structure and data movement operations which lead to efficient parallel graph computations on the reconfigurable mesh. The technique computes a minimal spanning forest of a N/sup 1/2/ vertex graph in O(log N log log N) time given the adjacency matrix of the graph on a N/sup 1/2/*N/sup 1/2/ reconfigurable mesh. This improve....; Authors:Reisis;D.I.Publisher:Parallel Processing Symposium;1991. Proceedings.;Fifth InternationalConference Date:30 April-2 May 1991ISSN:0-8186-9167-0Total Page:xiv+656

Teaching engineering and engineering research: a symbiotic relationship: The author claims that there has been a valuable symbiotic relationship between teaching and research in the case of his academic career, which now spans over 40 years, and that it ought to be true for all engineering professors now and in the future. Through the author's research activity and that of his students, he has had the opportunity to bec....; Authors:Rummer;D.I.Publisher:Frontiers in Education Conference;1991. Twenty-First Annual Conference. 'Engineering Education in a New World Order.' Proceedings.Conference Date:21-24 Sept. 1991ISSN:0-7803-0222-2Total Page:xii+773

Two dimensional curve shape primitives for detecting line defects in silicon wafers: A new set of two-dimensional curve shape primitives for detecting line defects on wafers in semiconductor manufacturing is presented. A supervised learning based neural network which incorporates these shape primitives has been built and tested on more than six months of real data from an Intel fabrication laboratory. Results demonstrate that the n....; Authors:Sikka;D.I.Publisher:Neural Networks;1992. IJCNN.;International Joint Conference onConference Date:7-11 June 1992ISSN:0-7803-0559-0Total Page:4 vol. (xii+962+xiii

Enhanced NTSC system, free of chroma-crawl with improved resolution and cross chrominans: Discusses two television systems developed by HRS which are fully compatible with NTSC and which eliminate chroma crawl and significantly reduce chrominance interference and moire.; Authors:Ilkovics;D.I.Publisher:Consumer Electronics;1988. Digest of Technical Papers. ICCE.;IEEE 1988 International Conference onConference Date:8-10 June 1988ISSN:Total Page:295

Predicting computer behavior: The major scientific and mathematical problems that need to be solved to advance the state of digital-system engineering practice are identified. Mathematics for digital systems is discussed for describing system behavior, defining acceptable behavior, demonstrating acceptable behavior, and scaling up. Current and future digital system engineering ....; Authors:Good;D.I.Publisher:Computer Assurance;1988. COMPASS '88Conference Date:27 June-1 July 1988ISSN:Total Page:ix+131

合计3383个 | 页次:1/339页 1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页