Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Algorithm Design (2)
- Embeddings (2)
- Reasoning (2)
- Speedup (2)
- Class NC (1)
-
- Class NG (1)
- Data Parallelism (1)
- Data Partitioning (1)
- Design-Rule Checking (1)
- Directed Acyclic Graph (1)
- Dynamic Population Size (1)
- Dynamic population size (1)
- Energy Conservation (1)
- Feature Matching (1)
- Genetic Algorithms (1)
- Graph Matching (1)
- Hamiltonian Systems (1)
- Intermediate Languages (1)
- Louville Integrators (1)
- Model- Based Technique (1)
- Morphological Processing (1)
- NP-Hard (1)
- Operational Evaluation (1)
- Parallel Genetic Algorithm (1)
- Printed Circuit Board (1)
- Reference Comparison (1)
- Scientific Programming (1)
- Supercompilers (1)
- Symplectic Integrators (1)
- Variable String Length (1)
Articles 31 - 35 of 35
Full-Text Articles in Physical Sciences and Mathematics
The Computation Of Supersonic Combustor Flows Using Multi-Computers, Bruce M. Mcmillin, Eric Jui-Lin Lu, Larry Reeves
The Computation Of Supersonic Combustor Flows Using Multi-Computers, Bruce M. Mcmillin, Eric Jui-Lin Lu, Larry Reeves
Computer Science Technical Reports
An explicit computational fluid dynamics (CFD) computer code with parallel processing capability has been developed for the purpose of simulating internal high-speed reacting flows. The code solves the three-dimensional Navier-Stokes equations for compressible flows. The CFD code can be executed on either sequential (single processor) computers or multi-computers (multiple processor machines with distributed memory and message passing between processors). The parallel implementation involves homogeneous domain decomposition between processors with message passing needed only between neighbor processors. The code is validated for a compression ramp, an expansion ramp, a viscous flat plate, and a viscous flat plate with wall injection. These …
Visual Inspection Algorithms For Printed Circuit Board Patterns A Survey, Madhav Moganti, Fikret ErçAl, Cihan H. Dagli
Visual Inspection Algorithms For Printed Circuit Board Patterns A Survey, Madhav Moganti, Fikret ErçAl, Cihan H. Dagli
Computer Science Technical Reports
The importance of the inspection process has been magnified by the requirements of the modern manufacturing environment. In electronics mass-production manufacturing facilities, an attempt is often made to achieve 100 % quality assurance of all parts, subassemblies, and finished goods. A variety of approaches for automated visual inspection of printed circuits have been reported over the last two decades. In this survey, algorithms and techniques for the automated inspection of printed circuit boards are examined. A classification tree for these algorithms is presented and the algorithms are grouped according to this classification. This survey concentrates mainly on image analysis and …
Ensuring The Satisfaction Of A Temporal Specification At Run-Time, Grace Tsai, Matt Insall, Bruce M. Mcmillin
Ensuring The Satisfaction Of A Temporal Specification At Run-Time, Grace Tsai, Matt Insall, Bruce M. Mcmillin
Computer Science Technical Reports
This paper presents an approach to operationally evaluate a temporal specification in a distributed computing environment. First, an algorithm Compute History is proposed to allow every distributed processor to collect events executed by itself and by other processors, and to order the collected events by causality. This algorithm employs neither monitors nor a global clock to order collected events of a processor. These collected events of a processor form an execution history of a distributed computation, and they represent behaviors of all the processors during execution. Next, the semantics of operational evaluation of a temporal assertion is presented. The evaluation …
How To Program In Ccsp, Elizabeth Arrowsmith, Bruce M. Mcmillin
How To Program In Ccsp, Elizabeth Arrowsmith, Bruce M. Mcmillin
Computer Science Technical Reports
No abstract provided.
Neural Network Diagnosis Of Malignant Melanoma From Color Images, Fikret ErçAl, C. Chawla, William V. Stoecker, Randy Hays Moss
Neural Network Diagnosis Of Malignant Melanoma From Color Images, Fikret ErçAl, C. Chawla, William V. Stoecker, Randy Hays Moss
Computer Science Technical Reports
Malignant melanoma is the deadliest form of all skin cancers. Approximately 32,000 new cases of malignant melanoma were diagnosed in 1991, with approximately 80 percent of patients expected to survive five years [1]. Fortunately, if detected early, even malignant melanoma may be treated successfully. Thus, in recent years, there has been a rising interest in the automated detection and diagnosis of skin cancer, particularly malignant melanoma [2]. In this paper, we present a novel neural network approach for the automated separation of melanoma from three other benign categories of tumors which exhibit melanoma-like characteristics. Our approach is based on devising …