Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1790)
- Washington University in St. Louis (712)
- University of Texas at El Paso (564)
-
- University of Nebraska - Lincoln (492)
- Old Dominion University (477)
- Embry-Riddle Aeronautical University (476)
- Singapore Management University (469)
- Air Force Institute of Technology (243)
- Chulalongkorn University (237)
- Al Iraqia University (235)
- Technological University Dublin (219)
- San Jose State University (196)
- California Polytechnic State University, San Luis Obispo (171)
- Portland State University (168)
- University of Dayton (164)
- Marquette University (149)
- University of South Florida (129)
- University of Nevada, Las Vegas (126)
- University of Arkansas, Fayetteville (121)
- Purdue University (119)
- University of Central Florida (114)
- University of South Carolina (110)
- Chapman University (106)
- Universitas Negeri Malang (104)
- Brigham Young University (93)
- New Jersey Institute of Technology (92)
- Nova Southeastern University (85)
- Clemson University (79)
- Keyword
-
- Computer Science (335)
- Machine learning (304)
- Department of Computer Science and Engineering (298)
- Deep learning (265)
- Engineering (249)
-
- Simulation (207)
- Machine Learning (167)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Classification (140)
- Robotics (136)
- Optimization (130)
- Computer Engineering (117)
- Genetic algorithm (115)
- Deep Learning (110)
- Security (108)
- Artificial intelligence (106)
- Cybersecurity (90)
- Path planning (90)
- Particle swarm optimization (88)
- Artificial Intelligence (84)
- Computer vision (82)
- Reinforcement learning (74)
- Clustering (70)
- Modeling (70)
- Neural network (70)
- Computer Sciences (69)
- Virtual reality (69)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- All Computer Science and Engineering Research (683)
- Departmental Technical Reports (CS) (515)
-
- Research Collection School Of Computing and Information Systems (450)
- Theses and Dissertations (400)
- Browse all Theses and Dissertations (321)
- Journal of Digital Forensics, Security and Law (298)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (237)
- Iraqi Journal for Computer Science and Mathematics (235)
- Dissertations (184)
- Electrical and Computer Engineering Faculty Publications (175)
- Electrical & Computer Engineering Theses & Dissertations (173)
- School of Computing: Dissertations, Theses, and Student Research (171)
- Electronic Theses and Dissertations (166)
- BITs and PCs Newsletter (157)
- Electrical and Computer Engineering Faculty Research and Publications (139)
- Faculty Publications (138)
- Department of Electrical and Computer Engineering: Faculty Publications (130)
- USF Tampa Graduate Theses and Dissertations (108)
- Master's Theses (107)
- Annual ADFSL Conference on Digital Forensics, Security and Law (104)
- Knowledge Engineering and Data Science (104)
- Computer Science Faculty Publications and Presentations (92)
- International Congress on Environmental Modelling and Software (87)
- Master's Projects (84)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (82)
- Engineering Faculty Articles and Research (77)
- Electrical & Computer Engineering and Computer Science Faculty Publications (70)
- Publication Type
- File Type
Articles 17251 - 17280 of 17464
Full-Text Articles in Entire DC Network
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, May 1991, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, May 1991, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
A six page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Applying Formal Verification Methods To Pure Rule-Based Programs, Rose F. Gamble, Gruia-Catalin Roman, William E. Ball, H. Conrad Cunningham
Applying Formal Verification Methods To Pure Rule-Based Programs, Rose F. Gamble, Gruia-Catalin Roman, William E. Ball, H. Conrad Cunningham
All Computer Science and Engineering Research
Reliability, defined as the guarantee that a program satisfies its specifications, is an important aspect of many applications for which rule-based expert systems are suited. Verification refer to the process used to determine the reliability of the rule-based program. Because past approaches to verification are informal, guarantees of reliability cannot fully be made without severely restricting the system. On the other hand, by constructing formal specifications for a program and showing the program satisfies those specifications, guarantees of reliability can be made. This paper presents an assertional approach to the verification of rule-based programs. The proof logical needed for verification …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, April 1991, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, April 1991, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Center For Computer And Information Sciences Master Of Science In Computer Science Spring 1991, Nova Southeastern University
Center For Computer And Information Sciences Master Of Science In Computer Science Spring 1991, Nova Southeastern University
College of Engineering and Computing Course Catalogs
No abstract provided.
Simulator For Concurrent Processing Data Flow Architectures, Mahyar R. Malekpour
Simulator For Concurrent Processing Data Flow Architectures, Mahyar R. Malekpour
Electrical & Computer Engineering Theses & Dissertations
A software simulator capable of simulating execution of an algorithm graph on a given system under the Algorithm To Architecture Mapping Model (ATAMM) rules is presented in this thesis. ATAMM is capable of modeling the execution of large-grained algorithms on distributed data flow architectures. Investigating the behavior and determining the performance of an ATAMM based system requires the aid of software tools. The ATAMM Simulator presented in this thesis is capable of determining the behavior, performance, and reliability of a system without having to build a hardware prototype. Case studies are performed on four algorithms to demonstrate the capabilities of …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, March 1991, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, March 1991, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Dna Mapping Algorithms: Topological Mapping, Kenneth Moorman, Paul Poulosky, Will Gillett
Dna Mapping Algorithms: Topological Mapping, Kenneth Moorman, Paul Poulosky, Will Gillett
All Computer Science and Engineering Research
There are several basic approaches that can be used in attempting to produce high-resolution DNA restriction maps. A standard approach is the match/merge approach in which first the topology of the map units being mapped together is suppressed and lists of potential matches between fragments are generated, and second the topology is introduced to eliminate matchlists which are inconsistent with the topology. This technical report documents a different approach to DNA mapping, known as topological mapping. In topological mapping the precedence of the two criteria are reversed, i.e., the topology of the two map units is used as the primary …
A Prolog-Based System For Hardware Verification, Kevin L. Sparks
A Prolog-Based System For Hardware Verification, Kevin L. Sparks
Theses and Dissertations
With the expanding number of components provided on a single digital chip, verification of digital designs is becoming a major problem. The more circuits one places on a single chip, the greater the number of input/output combinations which need to be checked. A paper by Barrow in 1984 discusses a Prolog-based hierarchical formal verification system which he calls VERIFY. Barrow provided a lot of information on what VERIFY can and cannot do, and on projected enhancements. He does not, however, mention how VERIFY actually performs the task of formal verification. This thesis will provide a description of one possible implementation …
A Common Interface Real-Time Multiprocessor Operating System For Embedded Systems, Michael S. Rottman
A Common Interface Real-Time Multiprocessor Operating System For Embedded Systems, Michael S. Rottman
Theses and Dissertations
Large real time applications such as aerospace avionics systems, battle management, and factory automation place many demands and constraints on the computing system not found in other applications. Software development is hindered by software dependence on the computer architecture and the lack of portability between systems. This thesis specifies and designs a real time multiprocessor operating system (RTMOS) that implements a consistent programming model, enabling the development of real time parallel software independent of the target architecture. The RTMOS defines the core functionality required to demonstrate the programming model. The RTMOS functional requirements are specified using Structured Analysis and Design …
Optimal Iterative Task Scheduling For Parallel Simulations, Joann M. Sartor
Optimal Iterative Task Scheduling For Parallel Simulations, Joann M. Sartor
Theses and Dissertations
The ultimate purpose of this research is to reduce the time needed for execution of parallel computer simulations. In particular, the impact of task assignment strategies is determined for parallel VHDL circuit simulations. The classical scheduling problem, which assigns n precedence-constrained tasks to m processors is NP-complete in all but the simplest cases. The problem of assigning simulation tasks is further complicated by the iterative nature of computer simulations: each task is required to execute multiple times as the simulation executes. This investigation develops a polynomial-time algorithm (the level strategy) which provides optimal assignment for iterative systems with specific constraints. …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, February 1991, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, February 1991, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Performance Analysis Of The Ethernet Under Conditions Of Bursty Traffic, Tony Y. Mazraani, Gurudatta M. Parulkar
Performance Analysis Of The Ethernet Under Conditions Of Bursty Traffic, Tony Y. Mazraani, Gurudatta M. Parulkar
All Computer Science and Engineering Research
In this paper we present a simulation study of the Ethernet performance under conditions of bursty traffic. This study is motivated by two observations: Ethernet will continue to be a widely used Local Area Network (LAN), especially as an access LAN for future high speed internet (or Broadband ISDN); and future high speed applications can best be modeled as bursty sources. Bursty traffic in this study is specified using three parameters: peak bandwidth, average bandwidth, and burst factor. The simulation study shows that the inherent behavior of the Ethernet does not change with bursty traffic. That is, as long as …
Saam: The Strategic Asset Allocation Model, Judy Lewis, Todd Gamble, John Tai
Saam: The Strategic Asset Allocation Model, Judy Lewis, Todd Gamble, John Tai
All Computer Science and Engineering Research
Asset Allocation has become a dominant factor for investment strategies in recent years. It has found that by holding a strategically diversified portfolio, a high total return on investments can be maintained while, at the same time, reducing portfolio volatility. With recent federal regulations mandating pension investment responsibilities, appropriate asset allocation has become more important than ever. SAAM is a software package specifically designed to be used as a tool to aid the investment professional in determining pension portfolio allocations. SAAM uses the expect system shell CLIPS, has a user-friendly interface, displays output graphically, and runs within the confines of …
Performance Evaluation Of A Traffic Control Mechanism For Atm Networks, Andreas D. Bovopoulos
Performance Evaluation Of A Traffic Control Mechanism For Atm Networks, Andreas D. Bovopoulos
All Computer Science and Engineering Research
Future ATM networks will be required to support a plethora of services, transaction types and cell sequence behaviors with performance guarantees. Before this goal can be realized, however, some basically problems related to bandwidth allocation and traffic control in the ATM layer must be resolve. Such problems will in all likelihood defy solution as long as they studied in isolation without a unifying traffic characterization and traffic control framework. This work presented in this paper is part of an ongoing effort directed at the development of an integrated traffic characterization and control infrastructure for ATM networks. In this paper a …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, January 1991, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, January 1991, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Pthomas: An Adaptive Information Retrieval System On The Connection Machine., Robert Oddy, Bhaskaran Balakrishnan
Pthomas: An Adaptive Information Retrieval System On The Connection Machine., Robert Oddy, Bhaskaran Balakrishnan
School of Information Studies - Faculty Scholarship
This paper reports the state of development of PThomas, a network based document retrieval system implemented on a massively parallel fine-grained computer, the Connection Machine. The program is written in C*, an enhancement of the C programming language which exploits the parallelism of the Connection Machine. The system is based on Oddy’s original Thomas program, which was highly parallel in concept, and makes use of the Connection Machine’s single instruction multiple data (SIMD) processing capabilities. After an introduction to systems like Thomas, and their relationship to spreading activation and neural network models, the current state of PThomas is described, including …
Transportation Synthetic Modeling For New Villages In Northeast Florida Using Fsutms, Yazan Kamal Haddad
Transportation Synthetic Modeling For New Villages In Northeast Florida Using Fsutms, Yazan Kamal Haddad
Retrospective Theses and Dissertations
The Villages of Seminole Forest is a fifty-eight-thousand acre developnent located between Clay arrl Putnam Counties in Northeast Florida and is proposed to have a build-out year in 2043. As required by the Florida Deparbnent of Conmunity Affairs (OCA) , a Developnent of Regional Irn:Pact {DRI) was prepared to study the impact that this developnent might exert on nunerous elements, such as wetlands, wildlife, water, soils, flood-plains, air, and transportation. The Florida Standard Urban Transportation M::>del Structure {FSU'IMS) was utilized in preparing the transportation elanent of the DRI. A roadway network for the project was developed, and FSU'IMS was …
Master Of Science, Computer Science 1991, Nova Southeastern University
Master Of Science, Computer Science 1991, Nova Southeastern University
College of Engineering and Computing Course Catalogs
No abstract provided.
Master Of Science--Computer Information Systems 1991-92, Nova Southeastern University
Master Of Science--Computer Information Systems 1991-92, Nova Southeastern University
College of Engineering and Computing Course Catalogs
No abstract provided.
Center For Computer And Information Sciences Doctor Of Science In Computer Science 1991-1992, Nova Southeastern University
Center For Computer And Information Sciences Doctor Of Science In Computer Science 1991-1992, Nova Southeastern University
College of Engineering and Computing Course Catalogs
No abstract provided.
Transforming A Rule-Based Program, Rose F. Gamble
Transforming A Rule-Based Program, Rose F. Gamble
All Computer Science and Engineering Research
Conflict resolution is a form of global control used in production systems to achieve an efficient sequential execution of a rule-based program. This type of control is not used to parallel production system models [6,13]. Instead, only those programs that make no assumptions regarding conflict resolution are executed in parallel. Therefore, the initial sequential rule-based programs are either executed in parallel without their conflict resolution strategy, which normally results in incorrect behavior, or the programs are transformed in an ad hoc manner to execute on an particular parallel production system model. As a result, these programs do not exhibit the …
Itasq : An Ada-Based Interactive Tool For Assessing Software Quality, Ruby Marie Heintze
Itasq : An Ada-Based Interactive Tool For Assessing Software Quality, Ruby Marie Heintze
Retrospective Theses and Dissertations
The goal of producing high quality computer programs brings with it the need for a set of quantitative measures that software engineers can use to measure various aspects of software quality. These quantitative measures, known as software metrics, can measure different aspects of program quality. For example, McCabe's Complexity Metric measures the decision structure of a computer program; Halstead's Software Science measures program "impurities II such as unfactored expressions and unnecessary replacements; and Vitro•s Module Coupling Metric measures data transfer characteristics between modules. Using only one of these metrics would not provide a well rounded measure of overall software quality. …
A Multi-Scale Approach For Recognizing Complex Annotations In Engineering Documents., Andrew Francis Laine, William Ball, Arun Kumar
A Multi-Scale Approach For Recognizing Complex Annotations In Engineering Documents., Andrew Francis Laine, William Ball, Arun Kumar
All Computer Science and Engineering Research
This paper describes a novel method of character recognition targeted for extracting complex annotations found in engineering documents. The results of this work will make it possible to capture the information contained in documents used to support facilities management and manufacturing. The recognition problem is made difficult in part because characters and text may be expressed in arbitrary fonts and orientations. Our approach includes a novel incremental strategy based on the multi-scale representation of wavelet decompositions. Our approach is motivated by biological mechanisms of the human visual systems. Using wavelets as a set of basis functions, we may decompose an …
Recursive Optimization Of Digital Circuits, John Knutson
Recursive Optimization Of Digital Circuits, John Knutson
Theses and Dissertations
The goal of this thesis is twofold: first, to identify the advantages and disadvantages of existing optimization systems and second, to develop an optimization system that uses Boolean principles to generate a recursive realization of combinational logic. Current multi-level optimization systems fall into two categories: local optimization which removes redundancy by pattern matching on a local scale and global optimization which works with the equations that specify a circuit rather than with the circuit implementation itself. While global systems are very flexible and can produce near-optimal solutions, they are inherently complex. This research effort demonstrates that an effective global optimization …
A Low-Cost Part-Task Flight Training System: An Application Of A Head Mounted Display, David A. Dahn
A Low-Cost Part-Task Flight Training System: An Application Of A Head Mounted Display, David A. Dahn
Theses and Dissertations
To investigate the feasibility of using head-mounted display(HMD) and Computer Image Generators(CIG) in a low cost part-task trainer, we created a prototype system. Our approach was to build a virtual world interface using a HMD to an existing flight simulator application. This allowed a CIG with only one graphics channel to drive the display. To investigate which class of computing platform was suitable for use as the CIG, a cooperative thesis effort was launched to host the simulator on a mini-computer and micro-computer platform. The appropriate CIG could then be determined through demonstration and comparison between the systems. A software …
Multi-Input Multi-Output Flight Control System Design For The Yf-16 Using Nonlinear Qft And Pilot Compensation, Russell B. Miller
Multi-Input Multi-Output Flight Control System Design For The Yf-16 Using Nonlinear Qft And Pilot Compensation, Russell B. Miller
Theses and Dissertations
Nonlinear Quantitative Feedback Theory (QFT) and pilot compensation techniques are used to design a 2x2 flight control system for the YF-16 aircraft over a large range of plant uncertainty. The design is based on numerical input- output time histories generated with a FORTRAN implemented nonlinear simulation of the YF-16. The first step of the design process is the generation of a set of equivalent linear time-invariant (LTI) plant models to represent the actual nonlinear plant. It has been proven that the solution to the equivalent plant problem is guaranteed to solve the original nonlinear problem. Standard QFT techniques are then …
Segment Streaming For Efficient Pipelined Televisualization, Fengmin Gong
Segment Streaming For Efficient Pipelined Televisualization, Fengmin Gong
All Computer Science and Engineering Research
The importance of scientific visualization for both science and engineering endeavors has been well recognized. Televisualization becomes necessary because of the physical distribution of data, computation resources, and users involved in the visualization process. However, televisualization poses a number of challenges to the designers of communication protocols. A pipelined televisualization (PTV) model is proposed for efficient implementation of a class of visualization applications. Central to the proposed research is the development of a segment of streaming IPC (interprocess communication) mechanism in support of efficient pipelining across very high speed internetworks. This requires exploration of special issues arising from extending a …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, November 1990, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, November 1990, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Specification And Equivalence Verification Of Sequential Circuits Via Vhdl, Richard L. Miller
Specification And Equivalence Verification Of Sequential Circuits Via Vhdl, Richard L. Miller
Theses and Dissertations
This research presents a merger of the specification and design capabilities of the Very High Speed Integrated Circuit (VHSIC) Hardware Description Language (VHDL) with a known verification method (UC Berkeley's verify software) in order to solve the design and verification problem of sequential circuits. The fruits of this research are a behavioral VHDL model for sequential circuit specification, a structural VHDL model for sequential circuit design, and a method for comparing two circuits described using these VHDL models in order to demonstrate circuit equivalence. The behavioral and structural VHDL models were developed and tested within the Intermetric's VHDL software support …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, October 1990, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, October 1990, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.