GMU CS 706
Concurrent Software Systems
Course Description
Raw: Topics include concurrent programming languages and constructs, and specification, design, verificat
Stemmed: topic includ concurr program languag construct specif design verif valid concurr program student req
Inferred Topics
-
81
(0.39549) program, languag, object, orient, includ, type, design, abstract, data, specif
(0.958) KSU CIS 705 Programming Languages
(0.855) UTK COSC 365 Programming Languages and Systems
(0.829) PDX CS 420 Object Oriented Programming
(0.829) PDX CS 520 Object Oriented Programming
(0.788) KSU CIS 505 Introduction to Programming Languages
(0.763) SC CSCE 330 Programming Language Structures
(0.739) Stanford CS 106 Standard C++ Programming Laboratory
(0.705) LSU CSC 4101 Programming Languages
(0.705) LSU CSC 1253 Computer Science I with C++
(0.695) Utah CS 7520 Programming Language Semantics
(0.694) RPI CSCI 4430 Programming Languages
(0.683) GMU CS 463 Comparative Programming Languages
(0.671) Utah CS 5510 Programming Language Concepts
(0.658) LSU CSC 7101 Programming Language Structures
(0.643) ACM EC 0 Java Programming I
(0.623) RPI CSCI 6430 Programming Languages
(0.585) ACM EC 0 Principles of Programming Languages
(0.583) PDX CS 558 Programming Languages
(0.567) PDX CS 578 Program Language Semantics
(0.541) ACM EC 0 Principles of Programming Languages
(0.536) GMU CS 261 Introduction to a Second Language
(0.522) SC CSCE 245 Object-Oriented Programming Techniques
(0.508) RPI CSCI 2961 Programming in Python
(0.485) UTK COSC 291 Lower-Division Special Topics
(0.457) ACM EC 0 Introduction to Programming
(0.442) LSU CSC 1350 Computer Science I for Majors
(0.435) GMU CS 332 Object-Oriented Software Design and Implementation
(0.429) AU CSC 544 Object-Oriented Programming
(0.420) GMU CS 222 Computer Programming for Engineers
(0.415) PDX CS 577 Modern Language Processors
(0.404) PDX CS 510 Top: Advanced Programming
(0.403) RPI CSCI 2220 Programming in Java
(0.395) GMU CS 706 Concurrent Software Systems
(0.395) KSU CIS 522 Introduction to Data Structures
(0.394) LSU CSC 1351 Computer Science II for Majors
(0.390) ACM EC 0 Programming Languages
(0.381) PDX CS 510 Top: Functional Logic Programming
(0.376) ACM EC 0 Programming Language Design and Implementation
(0.371) KSU CIS 301 Logical Foundations of Programming
(0.368) ACM EC 0 Object-Oriented Programming
(0.345) LSU CSC 1254 Computer Science II with C++
(0.342) ACM EC 0 Topics in Compiler Construction
(0.322) GMU CS 211 Object-Oriented Programming
(0.309) PDX CS 410 Top: Advanced Java Programming
(0.295) ACM EC 0 Introduction to Programming Languages
(0.288) GMU CS 540 Language Processors
(0.284) PDX CS 162 Introduction to Computer Science
(0.281) SC CSCE 209 Special Topics in Computer Programming
(0.274) AU CSC 521 Design and Organization of Programming Languages
(0.265) ACM EC 0 Programming Languages and Techniques I
(0.260) GMU CS 640 Advanced Compilers
(0.258) ACM EC 0 Software Development Foundations
(0.249) LSU CSC 4351 Compiler Construction
(0.248) GMU CS 681 Designing Expert Systems
(0.243) GMU AIT 521 Software Engineering Essentials
(0.240) Stanford CS 109 Statistical Computing with R Laboratory
(0.225) LSU CSC 7150 Program Analysis and Model Checking
(0.222) ACM EC 0 Introduction to Artificial Intelligence
(0.221) KSU CIS 638 Multimedia Systems
(0.221) KSU CIS 580 Fundamentals of Game Programming
(0.212) UTK COSC 440 Formal Foundations of Software Engineering
(0.210) Stanford CS 143 Compilers
(0.209) ACM EC 0 Principles of Programming Languages
(0.209) Stanford CS 393 Computer Laboratory
(0.193) GMU CS 687 Advanced Artificial Intelligence
(0.192) GMU CS 450 Database Concepts
(0.190) RPI CSCI 6500 Distributed Computing Over The Internet
(0.184) GMU CS 351 Visual Computing
(0.178) LSU CSC 4243 Interface Design and Technology
(0.177) Stanford CS 42 Callback Me Maybe: Contemporary Javascript
(0.173) GMU CS 310 Data Structures
(0.172) KSU CIS 105 Introduction to Computer Programming
(0.166) PDX CS 163 Data Structures
(0.166) GMU CS 635 Foundations of Parallel Computation
(0.166) LSU CSC 3380 Object Oriented Design
(0.164) ACM EC 0 Compiler Design
(0.162) GMU CS 674 Data Mining on Multimedia Data
(0.156) Utah CS 3470 Scripting Language Design and Implementation
(0.155) RPI CSCI 2600 Principles of Software
(0.154) Stanford CS 106 Programming Methodology (ENGR 70A)
(0.153) SC CSCE 215 UNIX/Linux Fundamentals
-
93
(0.317217) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
(0.908) Utah CS 1001 Engineering Computing using MATLAB
(0.899) Utah CS 1000 Engineering Computing
(0.881) SC CSCE 206 Scientific Applications Programming
(0.869) SC CSCE 500 Computer Programming and Applications
(0.864) KSU CIS 209 C Programming for Engineers
(0.821) AU CSC 280 Introduction to Computer Science I
(0.759) Utah CS 2000 Introduction to Program Design in C
(0.750) SC CSCE 204 Program Design and Development
(0.652) SC CSCE 101 Introduction to Computer Concepts
(0.650) GMU CS 112 Introduction to Computer Programming
(0.648) KSU CIS 105 Introduction to Computer Programming
(0.643) SC CSCE 102 General Applications Programming
(0.632) SC CSCE 145 Algorithmic Design I
(0.622) RPI CSCI 1190 Beginning Programming for Engineers
(0.618) LSU CSC 1250 Introduction to Programming
(0.613) LSU CSC 2533 Introduction to Engineering Computation
(0.601) SC CSCE 205 Business Applications Programming
(0.600) UTK COSC 102 Introduction to Computer Science
(0.591) SC CSCE 304 Applied Problem Solving and Programming
(0.588) PDX CS 161 Introduction to Programming and Problem-solving
(0.577) Utah CS 1410 Introduction to Object-Oriented Programming
(0.576) KSU CIS 200 Programming Fundamentals
(0.552) Stanford CS 103 Mathematical Problem-solving Strategies
(0.547) LSU CSC 1240 Statistics and Graphics with MATLAB
(0.533) Utah CS 4190 Programming Challenges
(0.511) GMU CS 391 Advanced Programming Lab
(0.474) UTK COSC 370 Introduction to Scientific Computing
(0.469) RPI CSCI 1010 Introduction to Computer Programming
(0.458) Stanford CS 106 Programming Methodology (ENGR 70A)
(0.458) KSU CIS 362 Introduction to Business Programming
(0.440) AU CSC 281 Introduction to Computer Science II
(0.438) ACM EC 0 Introduction to Programming
(0.423) PDX CS 106 Computing Fundamentals II
(0.420) KSU CIS 111 Introduction to Computer Programming
(0.383) UTK COSC 140 Data Structures and Algorithms I
(0.382) Utah CS 1030 Foundations of Computer Science
(0.376) Stanford CS 198 Teaching Computer Science
(0.376) Stanford CS 109 Statistical Computing with R Laboratory
(0.356) LSU CSC 1350 Computer Science I for Majors
(0.348) GMU CS 330 Formal Methods and Models
(0.348) RPI CSCI 1100 Computer Science I
(0.337) ACM EC 0 Object-Oriented Programming
(0.332) PDX CS 163 Data Structures
(0.325) SC CSCE 564 Computational Science
(0.324) Utah CS 2420 Introduction to Algorithms & Data Structures
(0.321) LSU CSC 3991 HONORS: Undergraduate Research in Computer Science
(0.320) GMU CS 633 Computational Geometry
(0.318) Stanford CS 101 Introduction to Computing Principles
(0.317) GMU CS 706 Concurrent Software Systems
(0.314) PDX CS 202 Programming Systems
(0.297) LSU CSC 1254 Computer Science II with C++
(0.282) GMU CS 222 Computer Programming for Engineers
(0.278) SC CSCE 491 Capstone Computer System Project
(0.268) SC CSCE 146 Algorithmic Design II
(0.267) LSU CSC 2730 Data Science and Analytics
(0.264) SC CSCE 563 Systems Simulation
(0.264) SC CSCE 567 Visualization Tools
(0.262) Stanford CS 107 Computer Organization and Systems
(0.237) PDX CS 162 Introduction to Computer Science
(0.232) ACM EC 0 Programming Languages and Techniques I
(0.225) ACM EC 0 General Computer Science
(0.222) GMU AIT 521 Software Engineering Essentials
(0.222) PDX CS 510 Top: Security and Programming
(0.221) GMU AIT 675 Overview of the National Intelligence Community
(0.206) LSU CSC 3501 Computer Organization and Design
(0.205) GMU CS 484 Data Mining
(0.202) ACM KA 0 Computational Science (CN)
(0.200) PDX CS 410 Top: Security and Programming
(0.199) GMU CS 530 Mathematical Foundations of Computer Science
(0.184) Utah CS 4150 Algorithms
(0.183) ACM KA 0 Information Management (IM)
(0.182) Utah CS 3100 Models of Computation
(0.182) Utah CS 3700 Fundamentals of Digital System Design
(0.181) KSU CIS 725 Advanced Computer Networks
(0.181) LSU CSC 1253 Computer Science I with C++
(0.181) SC CSCE 552 Computer Game Development
(0.181) ACM EC 0 Introduction to Program Design
(0.178) AU CSC 460 Tools of Scientific Computing
(0.177) GMU CS 100 Principles of Computing
(0.176) PDX CS 510 Top: Functional Logic Programming
(0.176) ACM EC 0 Algorithms
(0.175) ACM EC 0 The Digital Age
(0.174) SC CSCE 517 Computer Crime and Forensics
(0.174) GMU CS 310 Data Structures
(0.166) PDX CS 441 Artificial Intelligence
(0.164) ACM KA 0 Algorithms and Complexity (AL)
(0.162) GMU CS 211 Object-Oriented Programming
(0.154) LSU CSC 4330 Software Systems Development
(0.154) SC CSCE 210 Computer Hardware Foundations
(0.154) KSU CIS 501 Software Architecture and Design
(0.154) AU CSC 570 Database Management Systems
(0.150) LSU CSC 1351 Computer Science II for Majors
(0.150) SC CSCE 561 Numerical Analysis
-
61
(0.237817) softwar, design, test, system, develop, requir, manag, model, engin, specif
(0.946) PDX CS 454 Software Engineering
(0.938) KSU CIS 748 Advanced Software Management
(0.910) KSU CIS 641 Software Engineering Design Project
(0.906) PDX CS 554 Software Engineering
(0.894) KSU CIS 548 Software Management
(0.879) UTK COSC 340 Software Engineering
(0.867) KSU CIS 740 Software Engineering
(0.834) KSU CIS 746 Software Measurement
(0.775) ACM EC 0 Software Engineering Practices
(0.748) LSU CSC 4330 Software Systems Development
(0.728) SC CSCE 317 Computer Systems Engineering
(0.716) SC CSCE 240 Introduction to Software Engineering
(0.711) GMU CS 321 Software Requirements and Design Modeling
(0.708) KSU CIS 642 Software Engineering Project I
(0.674) KSU CIS 501 Software Architecture and Design
(0.671) LSU CSC 7135 Software Engineering
(0.654) ACM EC 0 Software Engineering
(0.651) KSU CIS 643 Software Engineering Project II
(0.600) Utah CS 3500 Software Practice
(0.558) KSU CIS 640 Software Testing Techniques
(0.557) PDX CS 555 Software Specification & Verification
(0.548) RPI CSCI 4440 Software Design and Documentation
(0.526) ACM EC 0 Software Engineering Practices
(0.511) PDX CS 300 Elements Of Software Engineering
(0.493) PDX CS 556 Software Implementation and Testing
(0.485) RPI CSCI 2600 Principles of Software
(0.462) LSU CSC 4370 Software Modeling Techniques
(0.395) SC CSCE 490 Capstone Software Engineering Project I
(0.394) Utah CS 5010 Software Practice
(0.392) AU CSC 543 Object-Oriented Analysis and Design
(0.371) GMU CS 681 Designing Expert Systems
(0.368) SC CSCE 492 Capstone Software Engineering Project II
(0.356) Utah CS 3710 Computer Design Laboratory
(0.350) KSU CIS 585 Game Engine Design
(0.350) SC CSCE 415 Mainframe Systems
(0.331) GMU AIT 521 Software Engineering Essentials
(0.326) LSU CSC 3380 Object Oriented Design
(0.323) KSU CIS 645 Software Development Environments
(0.317) Stanford CS 190 Software Design Studio
(0.307) SC CSCE 613 Fundamentals of VLSI Chip Design
(0.298) Stanford CS 272 Introduction to Biomedical Informatics Research Methodology (BIOE 212, BIOMEDIN 212, GENE 212)
(0.296) KSU CIS 771 Software Specification
(0.283) KSU CIS 521 Real-Time Programming Laboratory
(0.279) GMU CS 787 Decision Guidance Systems
(0.267) SC CSCE 547 Windows Programming
(0.238) GMU CS 706 Concurrent Software Systems
(0.232) SC CSCE 612 VLSI System Design
(0.232) PDX CS 559 Software Measurement & Models
(0.232) Stanford CS 110 Principles of Computer Systems
(0.228) ACM EC 0 Software Development
(0.227) KSU CIS 636 Introduction to Computer Graphics
(0.199) GMU CS 105 Computer Ethics and Society
(0.199) Stanford CS 227 General Game Playing
(0.198) SC CSCE 548 Building Secure Software
(0.198) Stanford CS 194 Software Project
(0.198) KSU CIS 102 Introduction to Spreadsheet Applications
(0.194) Utah CS 5530 Database Systems
(0.188) ACM EC 0 Introduction to Programming Languages
(0.180) LSU CSC 3102 Advanced Data Structures and Algorithm Analysis
(0.166) KSU CIS 200 Programming Fundamentals
(0.160) ACM KA 0 Software Engineering (SE)