Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (7219)
- China Simulation Federation (3363)
- TÜBİTAK (3020)
- Selected Works (2644)
- Wright State University (2602)
-
- Purdue University (2057)
- Old Dominion University (1452)
- Missouri University of Science and Technology (1360)
- Edith Cowan University (1172)
- Air Force Institute of Technology (1108)
- University of Texas at El Paso (1094)
- Dartmouth College (1017)
- San Jose State University (995)
- University of Nebraska - Lincoln (979)
- Embry-Riddle Aeronautical University (853)
- City University of New York (CUNY) (818)
- Technological University Dublin (792)
- Washington University in St. Louis (785)
- Brigham Young University (759)
- California Polytechnic State University, San Luis Obispo (725)
- Kennesaw State University (712)
- University for Business and Technology in Kosovo (626)
- University of Texas at Arlington (614)
- Nova Southeastern University (535)
- Portland State University (529)
- Western University (524)
- SelectedWorks (522)
- New Jersey Institute of Technology (511)
- Syracuse University (501)
- University of Nebraska at Omaha (484)
- Keyword
-
- Machine learning (1330)
- Deep learning (797)
- Artificial intelligence (652)
- Machine Learning (649)
- Computer Science (638)
-
- Security (620)
- Computer science (435)
- Cybersecurity (408)
- Privacy (408)
- Simulation (377)
- Classification (367)
- Technical Reports (358)
- UTEP Computer Science Department (356)
- Data mining (349)
- Deep Learning (344)
- Algorithms (336)
- Optimization (333)
- Neural networks (307)
- Artificial Intelligence (297)
- Computer vision (290)
- College for Professional Studies (253)
- Software engineering (253)
- Education (252)
- Clustering (251)
- Cloud computing (244)
- Department of Computer Science and Engineering (243)
- Applied sciences (236)
- School of Computer & Information Science (236)
- Visualization (236)
- Social media (230)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (6871)
- Journal of System Simulation (3363)
- Turkish Journal of Electrical Engineering and Computer Sciences (3020)
- Theses and Dissertations (2498)
- Department of Computer Science Technical Reports (1721)
-
- Computer Science & Engineering Syllabi (1312)
- Departmental Technical Reports (CS) (881)
- Master's Projects (845)
- Electronic Theses and Dissertations (735)
- Computer Science Faculty Publications (724)
- All Computer Science and Engineering Research (683)
- Computer Science Technical Reports (673)
- Computer Science Faculty Research & Creative Works (595)
- Faculty Publications (585)
- Kno.e.sis Publications (543)
- Journal of Digital Forensics, Security and Law (536)
- Computer Science Faculty Publications and Presentations (507)
- Dissertations (500)
- CCE Theses and Dissertations (488)
- All Works (478)
- Walden Dissertations and Doctoral Studies (467)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (463)
- Masters Theses (402)
- Computer Science and Engineering Theses (356)
- Theses (334)
- Electronic Thesis and Dissertation Repository (333)
- Computer Science and Software Engineering (332)
- USF Tampa Graduate Theses and Dissertations (320)
- Computer Science: Faculty Publications (316)
- Mathematics, Statistics and Computer Science Faculty Research and Publications (315)
- Publication Type
Articles 57361 - 57390 of 57909
Full-Text Articles in Physical Sciences and Mathematics
A General Theory Of Automatic Program Synthesis, Carl H. Smith
A General Theory Of Automatic Program Synthesis, Carl H. Smith
Department of Computer Science Technical Reports
No abstract provided.
Specifying And Proving Properties Of Sentinels, Krithivasan Ramamritham, Robert M. Keller
Specifying And Proving Properties Of Sentinels, Krithivasan Ramamritham, Robert M. Keller
All HMC Faculty Publications and Research
This paper presents a technique for specifying and verifying properties of "sentinels," a high-level language construct for synchronizing access to shared resources. Statements in the specification language possess formal temporal semantics. As a prelude to proving the correctness of sentinels, the semantics of constructs used in sentinels is given. The proof technique involves showing that the temporal behavior of a sentinel conforms to that defined by the specification. The methodology is illustrated by applying it to a typical synchronization problem.
Algorithms For Pipe Network Analysis And Their Reliability, Don J. Wood
Algorithms For Pipe Network Analysis And Their Reliability, Don J. Wood
KWRRI Research Reports
Algorithms for analyzing steady state flow conditions in pipe networks are developed for general applications. The algorithms are based on both loop equations expressed in terms of unknown flowrates and node equations expressed in terms of unknown grades. Five methods, which represent those in significant use today, are presented. An example pipe network is analyzed to illustrate the application of the various algorithms. The various assumptions required for the different methods are presented and the methods are compared within a common framework.
The reliabilities of these commonly employed algorithms for pipe network analysis are investigated by analyzing a large number …
Recommendations For Master's Level Programs In Computer Science: A Report Of The Acm Curriculum Committee On Computer Science, Kenneth I. Magel, Richard H. Austing, Alfs Berztiss, Gerald L. Engel, John Wesley Hamblen, A. A.J. Hoffmann, Robert Mathis
Recommendations For Master's Level Programs In Computer Science: A Report Of The Acm Curriculum Committee On Computer Science, Kenneth I. Magel, Richard H. Austing, Alfs Berztiss, Gerald L. Engel, John Wesley Hamblen, A. A.J. Hoffmann, Robert Mathis
Computer Science Faculty Research & Creative Works
The ACM Committee on Curriculum in Computer Science has spent two years investigating master's degree programs in Computer Science. This report contains the conclusions of that effort. Recommendations are made concerning the form, entrance requirements, possible courses, staffing levels, intent, library resources, and computing resources required for an academic, professional, or specialized master's degree. These recommendations specify minimum requirements which should be met by any master's programs. The Committee believes that the details of a particular master's program should be determined and continually updated by the faculty involved. A single or a small number of model programs are not as …
A Model For Representing Families Of Programmed System, Walter F. Richy
A Model For Representing Families Of Programmed System, Walter F. Richy
Department of Computer Science Technical Reports
No abstract provided.
Regular Expressions In A Program Complexity Metric, Kenneth I. Magel
Regular Expressions In A Program Complexity Metric, Kenneth I. Magel
Computer Science Faculty Research & Creative Works
No abstract provided.
A Complexity Measure Based On Nesting Level, Warren A. Harrison, Kenneth I. Magel
A Complexity Measure Based On Nesting Level, Warren A. Harrison, Kenneth I. Magel
Computer Science Faculty Research & Creative Works
No abstract provided.
A Suggested Course In Introductory Computer Programming, Warren A. Harrison, Kenneth I. Magel
A Suggested Course In Introductory Computer Programming, Warren A. Harrison, Kenneth I. Magel
Computer Science Faculty Research & Creative Works
Introductory programming courses have long been a popular topic of discussion. Often it is either the only computer course a student takes, or it is the foundation upon which all further training in computer science is built. The usual goal of such a course is to introduce the student to the use of a computer to solve simple problems in his or her particular discipline. Generally, the method of presenting the material may be separated into two distinct schools of thought, which we have termed the "Black Box School of Thought" and the "White Box School of Thought". In this …
Lsi Product Quality And Fault Coverage, Vishwani D. Agrawal, Sharad C. Seth, Prathima Agrawal
Lsi Product Quality And Fault Coverage, Vishwani D. Agrawal, Sharad C. Seth, Prathima Agrawal
CSE Conference and Workshop Papers
At present, the relationship between fault coverage of LSl circuit tests and the tested product quality is not satisfactorily understood. Reported work on integrated circuits predicts, for an acceptable field reject rate, a fault coverage that is too high (99 percent or higher). This fault coverage is difficult to achieve for LSl circuits. This paper proposes a model of fault distribution for a chip. The number of faults on a defective chip is assumed to have a Poisson density for which the average value is determined through experiment on actual chips. The procedure, which relates the model to the chip …
Computers, Corporate Division Programs, Your Future, 1981-1982, Nova University
Computers, Corporate Division Programs, Your Future, 1981-1982, Nova University
College of Engineering and Computing Course Catalogs
No abstract provided.
Operational Analysis Of Queues With General Service Times, Jeffrey A. Brumfield, Peter J. Denning
Operational Analysis Of Queues With General Service Times, Jeffrey A. Brumfield, Peter J. Denning
Department of Computer Science Technical Reports
No abstract provided.
Vlsi Algorithms For Relational Database Operations, Ching C. Hsiao, Lawrence Snyder
Vlsi Algorithms For Relational Database Operations, Ching C. Hsiao, Lawrence Snyder
Department of Computer Science Technical Reports
No abstract provided.
Overview Of The Blue Chip Computer, Lawrence Snyder
Overview Of The Blue Chip Computer, Lawrence Snyder
Department of Computer Science Technical Reports
No abstract provided.
Metamodeling And Its Application To Queueing Networks, Jeffrey P. Buzen, Subhash C. Agrawal
Metamodeling And Its Application To Queueing Networks, Jeffrey P. Buzen, Subhash C. Agrawal
Department of Computer Science Technical Reports
No abstract provided.
The Aggregate Server Method For Analyzing Serialization Delays In Computer Systems, Subhash C. Agrawal, Jeffrey P. Buzen
The Aggregate Server Method For Analyzing Serialization Delays In Computer Systems, Subhash C. Agrawal, Jeffrey P. Buzen
Department of Computer Science Technical Reports
No abstract provided.
Restruct: A Specification-Driven File Transformation Tool, James D. Arthur, Douglas E. Comer
Restruct: A Specification-Driven File Transformation Tool, James D. Arthur, Douglas E. Comer
Department of Computer Science Technical Reports
No abstract provided.
The Response Times Of Priority Classes Under Preemptive Resume In M/M/M Queues, J. P. Buzen, A. Bondi
The Response Times Of Priority Classes Under Preemptive Resume In M/M/M Queues, J. P. Buzen, A. Bondi
Department of Computer Science Technical Reports
No abstract provided.
Some Results On Perfect, Static-Key Hashing, Eric Dittert, Michael J. O'Donnell
Some Results On Perfect, Static-Key Hashing, Eric Dittert, Michael J. O'Donnell
Department of Computer Science Technical Reports
No abstract provided.
Error Analysis Of Homogeneous Mean Queue And Response Time Estimators, Jeffrey A. Brumfield, Peter J. Denning
Error Analysis Of Homogeneous Mean Queue And Response Time Estimators, Jeffrey A. Brumfield, Peter J. Denning
Department of Computer Science Technical Reports
No abstract provided.
Processor Displacement: An Area-Time Trade-Off Method For Vlsi Design, David M. Deruyck, Lawrence Snyder, John D. Unruh
Processor Displacement: An Area-Time Trade-Off Method For Vlsi Design, David M. Deruyck, Lawrence Snyder, John D. Unruh
Department of Computer Science Technical Reports
No abstract provided.
An Analytical Study Of Strategy-Oriented Restructuring Algorithms, Jehan-François Päris, Domenico Ferrari
An Analytical Study Of Strategy-Oriented Restructuring Algorithms, Jehan-François Päris, Domenico Ferrari
Department of Computer Science Technical Reports
No abstract provided.
Improving Virtual Memory Performance By Off-Line Page Clustering, Jehan-Francois Paris
Improving Virtual Memory Performance By Off-Line Page Clustering, Jehan-Francois Paris
Department of Computer Science Technical Reports
No abstract provided.
The Configurable, Highly Parallel (Chip) Approach For Signal Processing Applications, Lawrence Snyder
The Configurable, Highly Parallel (Chip) Approach For Signal Processing Applications, Lawrence Snyder
Department of Computer Science Technical Reports
No abstract provided.
The Response Times Of Priority Classes Under Preemptive Resume In M/G/M Queues, A. B. Bondi, J. P. Buzen
The Response Times Of Priority Classes Under Preemptive Resume In M/G/M Queues, A. B. Bondi, J. P. Buzen
Department of Computer Science Technical Reports
No abstract provided.
The Notation Of Operational Analysis, Peter J. Denning
The Notation Of Operational Analysis, Peter J. Denning
Department of Computer Science Technical Reports
No abstract provided.
History And Overview Of Csnet, Peter J. Denning, Anthony Hearn, C. William Kern
History And Overview Of Csnet, Peter J. Denning, Anthony Hearn, C. William Kern
Department of Computer Science Technical Reports
No abstract provided.
Software Science Revisited: A Critical Analysis Of The Theory And Its Empirical Support, V. Y. Shen, S. D. Conte, Herbert E. Dunsmore
Software Science Revisited: A Critical Analysis Of The Theory And Its Empirical Support, V. Y. Shen, S. D. Conte, Herbert E. Dunsmore
Department of Computer Science Technical Reports
No abstract provided.
Conversion From Data-Flow To Synchronous Execution In Loop Programs, Janice D. Cuny, Lawrence Synder
Conversion From Data-Flow To Synchronous Execution In Loop Programs, Janice D. Cuny, Lawrence Synder
Department of Computer Science Technical Reports
No abstract provided.
Optimal Tile Salvage, Francine Berman, Frank Thomsons Leighton, Lawrence Snyder
Optimal Tile Salvage, Francine Berman, Frank Thomsons Leighton, Lawrence Snyder
Department of Computer Science Technical Reports
No abstract provided.
Wafer Scale Integration Of Parallel Processors, Kye Sherrick Hedlund
Wafer Scale Integration Of Parallel Processors, Kye Sherrick Hedlund
Department of Computer Science Technical Reports
No abstract provided.