• COSC 5640: Auto Reasoning

  3.00 Credits

  University of Wyoming

  
  Study of programs, such as automated theorem provers, which require the use of "intelligence" to solve problems. Topics include resolution, unification, proof strategies, induction based theorem provers, expert systems, and Prolog. Prerequisite: COSC 4100.
  ShareCOSC 5640 - Auto Reasoning

• COSC 5700: Comp Architecture

  3.00 Credits

  University of Wyoming

  
  A study of the interaction between computing and computer architecture. Memory hierarchies: segmentation, paging, and caches. CPU organizations: pipelining, array processors, parallelism. IO: channels, DMA, auxiliary CPU's. Interprocessor communication in multi-CPU systems. Prerequisites: COSC 4740 and 4700.
  ShareCOSC 5700 - Comp Architecture

• COSC 5730: Mobile Programming

  3.00 Credits

  University of Wyoming

  
  Introduces development of applications on mobile devices. Presents the principles, techniques, and tools for developing mobile applications. Differences between desktop applications and mobile applications are discussed. Dual listed with COSC 4730. Prerequisites: COSC 3020.
  ShareCOSC 5730 - Mobile Programming

• COSC 5735: Adv. Mobile Programming

  3.00 Credits

  University of Wyoming

  
  Continues the development of applications on mobile devices. The focus is device sensors, such as camera, AR, VR, Bluetooth, embedded and connected devices. Dual listed with COSC 4735. Prerequisite: COSC 4730.
  ShareCOSC 5735 - Adv. Mobile Programming

• COSC 5740: Adv Oper Sys

  3.00 Credits

  University of Wyoming

  
  Advanced course in operating systems design and implementation. Emphasis on multiprocessing and distributed systems and study of mechanisms for their control. Topics include concurrency control, deadlock memory management, security, and reliability. Prerequisite: COSC 4740.
  ShareCOSC 5740 - Adv Oper Sys

• COSC 5750: Dist Systems

  3.00 Credits

  University of Wyoming

  
  Provides an in-depth study of distributed computing systems, including both architecture and software issues. Topics include concepts of distributed computing, communication primitives, distributed operating systems, distributed file management, and distributed programming languages. Particular attention is paid to modeling and analysis of distributed systems and algorithms. Programming projects and research papers are assigned. Prerequisite: COSC 5740.
  ShareCOSC 5750 - Dist Systems

• COSC 5755: Network Applications

  3.00 Credits

  University of Wyoming

  
  Introduces the structure, implementation, and theoretical underpinnings of computer networking and the applications that have been enabled by that technology. Dual listed with COSC 4755. Prerequisite: COSC 3020.
  ShareCOSC 5755 - Network Applications

• COSC 5785: Compiler Const I

  3.00 Credits

  University of Wyoming

  
  Theory and implementation of interpreters and compilers. Compiler topics include lexical analysis, top-down and bottom-up parsing methods, symbol tables, and code generation for a block-structured language with recursion and parameters. Project uses compiler writing tools. Prerequisite: COSC 4780 or consent of instructor. Dual listed with COSC 4785.
  ShareCOSC 5785 - Compiler Const I

• COSC 5790: Compiler Const II

  3.00 Credits

  University of Wyoming

  
  Advanced topics concerning the front end of a programming language compiler, the description and implementation of features found in the back end of a compiler, and the run time environment. Topics include data type checking, global data flow analysis, flow graph reduction, local and global code optimization, and code generation. Reports on recent research papers. Prerequisite: COSC 4785 or 5785.
  ShareCOSC 5790 - Compiler Const II

• COSC 5820: Database Systems

  3.00 Credits

  University of Wyoming

  
  Provides comprehensive coverage of the problems involved in database design, in-depth coverage of data models and database languages. Students acquire practical skills of conceptual/logical database design and general familiarity with the problems and issues of database management. Prerequisite: COSC 3020.
  ShareCOSC 5820 - Database Systems