Rice Course Schedule, Spring 2000
Computer Science (COMP)
Rice Course Schedule as of 01/03/2000.
This schedule is maintained by the Office of the Registrar
(reg@rice.edu).
NOTE: Course web pages are available for some COMP courses.
COMP 100 INTRO-COMPUTING & INFO SYSTEMS Credits 3.00 Spring 00
* DISTRIBUTION COURSE: GROUP III
Introduction to computer organization, operating systems, programming
languages, artificial intelligence, and programming. Not intended for
science-engineering students. May not be taken for credit after any other
programming course.
Also offered as MASC 222
001 TBA Sachs, Eric Christopher Enr: 0 Max: NA
COMP 200 ELEMENTS OF COMPUTER SCIENCE Credits 3.00 Spring 00
* DISTRIBUTION COURSE: GROUP III
A broad introduction to the major topics of computer science, including
algorithms, mathematical models of computation, machine organization and
design, programming languages, communication, and artificial intelligence.
001 TBA Barland, Ian Thomas Enr: 0 Max:
COMP 210 INTRO PRINCIPLES OF SCIENTIFIC COMPUTING Credits 4.00 Spring 00
* DISTRIBUTION COURSE: GROUP III
Introduction to the principles of computer programming. Functional
programming, data abstraction, procedural abstraction, reduction rules, use of
control and state, object-oriented programming, program optimization, algorithm
efficiency. Students will learn the practical skills to write and modify
programs. Laboratory assignments use Scheme and C. A student may not receive
credit for Comp 211 after taking Comp 210.
001 TBA Cooper, Keith D. Enr: 0 Max: NA
Greiner, John D.
002 TBA TBA Enr: 0 Max: NA
003 TBA TBA Enr: 0 Max: NA
004 TBA TBA Enr: 0 Max: NA
005 TBA TBA Enr: 0 Max: NA
006 TBA TBA Enr: 0 Max: NA
COMP 212 INTERMEDIATE PROGRAMMING Credits 4.00 Spring 00
* DISTRIBUTION COURSE: GROUP III
Programming methodology, problem solving, recursion, data structures,
introduction to analysis of algorithms, sorting techniques. NOTE: Only ONE of
Comp 211 or 212 may be counted for distribution.
Prereq- Comp 210 or permission of instructor.
001 TBA - MWF 10:00AM - 10:50AM
DH 106 Cox, Alan L. Enr: 0 Max: NA
002 TBA TBA Enr: 0 Max: NA
003 TBA TBA Enr: 0 Max: NA
004 TBA TBA Enr: 0 Max: NA
COMP 260 VISUAL METHODS FOR SCIENCE & ENGINEERING Credits 4.00 Spring 00
* DISTRIBUTION COURSE: GROUP III
Basic functional programming in mathematica, use of packages to solve science
and engineering problems, visualization methods for solutions to these
problems.
Prereq- Programming Experience.
001 TBA - TTH 10:50AM - 12:05PM Staff Enr: 0 Max:
COMP 280 MATHEMATICS OF COMPUTER SCI Credits 3.00 Spring 00
Mathematical induction, recursive definitions and recurrence equations, finite
state machines, computability, logic.
Prereq- Math 102, Comp 210.
001 TBA Fisler, Kathryn Enr: 0 Max: NA
COMP 290 COMPUTER SCIENCE PROJECTS Credits Spring 00
Theoretical and experimental investigations under staff direction.
Prereq- permission of department.
001 TBA Staff Enr: 0 Max: NA
COMP 300 SOCIETY IN THE INFORMATION AGE Credits 3.00 Spring 00
* DISTRIBUTION COURSE: GROUP III
Preview of the remarkable technology of the Information Age and the examination
of its profound impact on people, organizations, institutions, and culture; the
speculation on ways in which society might further transformed by the
continuing development of information technology.
001 TBA Gorry, G. Anthony Enr: 0 Max: NA
COMP 311 PROGRAMMING LANGUAGES Credits 4.00 Spring 00
The design, definition and abstract implementation of programming languages
including methods for precisely specifying syntax and semantics.
Prereq- Comp 210, 280, 320.
001 TBA TBA Enr: 0 Max:
COMP 312 PROGRAM ENGINEERING Credits 4.00 Spring 00
Introduction to methods and tools of programs by teams; pattern-based design:
modules; safe programming.
Prereq- Comp 210, 212, 311
001 TBA - MWF 10:00AM - 10:50AM Cartwright, Robert S. Enr: 0 Max:
COMP 320 INTRO TO COMPUTER ORGANIZATION Credits 4.00 Spring 00
Microprocessor architecture, including the memory hierarchy, pipelining, I/O
devices, and interrupts and concurrency. Computer representation of and
operations on basic data such as instructions, integers, floating point
numbers, and pointers. Low-level programming in C and assembly language.
Basic system software. Performance issues.
Also offered as ELEC 320
001 TBA Varman, Peter J. Enr: 0 Max: NA
COMP 390 COMPUTER SCIENCE PROJECTS Credits Spring 00
See Comp 290.
001 TBA Staff Enr: 0 Max: NA
COMP 409 LOGIC IN COMPUTER SCIENCE Credits 3.00 Spring 00
Set theoretical concepts. Propositional and first-order logic. Soundness and
completeness, incompleteness, undecidability. Functional programming as an
extension of first-order logic. Logical issues in computer science.
001 TBA Vardi, Moshe Y. Enr: 0 Max: NA
COMP 411 ADVANCED PROGRAMMING LANGUAGES Credits 4.00 Spring 00
The design, definition and abstract implementation of programming languages
including methods for precisely specifying syntax and semantics.
Prereq- Comp 210, 280, 320.
001 TBA - MWF 09:00AM - 09:50AM Felleisen, Matthias Enr: 0 Max:
COMP 421 OPERATING SYS.&CONCURRENT PROG Credits 4.00 Spring 00
Introduction to the design, construction, and analysis of concurrent programs
with an emphasis on operating systems, including filing systems, schedulers,
and memory allocators. Specific attention is devoted to process
synchronization and communication within concurrent programs.
Prereq- Comp 212, Comp 320.
Also offered as ELEC 421
001 TBA - MWF 11:00AM - 11:50AM Druschel, Peter Enr: 0 Max: NA
COMP 422 PARALLEL COMPUTING Credits 4.00 Spring 00
Need for parallel computing; Models of parallel computations; Basic algorithms
on PRAM machines; Architectures of parallel computing; Mapping and scheduling
in parallel computers; Program design for parallel computations. The course
includes an extensive programming component.
Prereq- Comp 212, 320.
001 TBA Zwaenepoel, Willy Enr: 0 Max: NA
COMP 429 INTRO TO COMPUTER NETWORKS Credits 3.00 Spring 00
Network architectures and basic protocols. Routing and flow control. Access
methods. Transmission media, error management. Network performance. The
course will cover several types of networks, including CSMA/CD, token ring, and
ATM.
Prereq- Stat 310 or Elec 331/Caam 381
Also offered as ELEC 429
001 TBA Knightly, Edward William Enr: 0 Max: NA
COMP 430 INTRO TO DATABASE SYSTEMS Credits 4.00 Spring 00
Survey of database system design and implementation. Physical data
organization. Relational databases. Object-oriented databases. Query
languages. Query optimization. Transaction processing. Concurrency control.
Recovery.
Prereq- Comp 212.
001 TBA - MWF 02:00PM - 02:50PM Staff Enr: 0 Max: NA
COMP 440 ARTIFICIAL INTELLIGENCE Credits 4.00 Spring 00
Techniques for simulating intelligent behavior by machine, problem solving,
game playing, pattern perceiving, theorem proving, semantic information
processing, and automatic programming.
Prereq- Comp 210.
Also offered as ELEC 440
001 TBA - TTH 10:50AM - 12:05PM Subramanian, Devika Enr: 0 Max: NA
COMP 450 ALGORITHMIC ROBOTICS Credits 4.00 Spring 00
An introduction to computing object motion in application domains such as
robotics, manufacturing, animation, and pharmaceutical drug design. Topics
covered include motion planning in known and partially known environments,
uncertainty, manipulation, and assembly planning.
001 TBA - MWF 03:00PM - 03:50PM Kavraki, Lydia Enr: 0 Max: 20
COMP 460 ADVANCED COMPUTER GRAPHICS Credits 4.00 Spring 00
2D graphics techniques including fast line and curve drawing and polygon
filling. 3D graphics problems including representation of solids, shading, and
hidden surface elimination. Fractals, graphics standards.
Prereq- Comp 382.
001 TBA - TTH 02:30PM - 03:50PM Goldman, Ronald N. Enr: 0 Max: NA
COMP 461 COMPUTER-AIDED GEOMETRIC DESIGN Credits 4.00 Spring 00
Fundamental representations and algorithms for curves and surfaces in computer
aided geometric design. Lagrange and Hermite interpolation. Bezier and
B-spline approximation.
Prereq- Caam 353
001 TBA TBA Enr: 0 Max:
COMP 481 AUTOMATA, FORMAL LANGUAGES, AND COMPUTAB Credits 3.00 Spring 00
Finite automata, regular expressions, regular languages, pushdown automata,
context-free languages, Turing machines, recursive languages, computability,
and solvability.
Prereq- Comp 314.
001 TBA - TTH 01:00PM - 02:20PM Greiner, John D. Enr: 0 Max: NA
COMP 482 DESIGN AND ANALYSIS OF ALGORITHMS Credits 4.00 Spring 00
Methods for designing and analyzing computer algorithms and data structures.
The focus of this course will be on the theoretical and mathematical aspects of
algorithms and data structures.
Prereq- Comp 314.
Also offered as ELEC 420
001 TBA TBA Enr: 0 Max: NA
COMP 490 COMP SCIENCE PROJECTS Credits Spring 00
Theoretical and experimental investigations under staff direction.
Prereq- permission of department.
001 TBA Staff Enr: 0 Max: NA
COMP 491 COMPUTER SCIENCE TEACHING Credits 3.00 Spring 00
A combination of in-service teaching and a seminar.
Prereq- permission of department.
001 TBA Staff Enr: 0 Max: NA
COMP 492 COMPUTER SCI HONORS PROJECT Credits Spring 00
No description
001 TBA Staff Enr: 0 Max: NA
COMP 512 ADVANCED COMPILER CONSTRUCTION Credits 4.00 Spring 00
Advanced topics in the design and implementation of programming language
translators. Data flow analysis and optimization, code generation and register
allocation, attribute grammars and their evaluation, translation within
programming environments, the implementation of advanced language features.
Prereq- Comp 412.
001 TBA TBA Enr: 0 Max:
COMP 515 ADVANCED COMPILATION FOR VECTOR % PARALL Credits 3.00 Spring 00
Advanced compilation techniques for vector and parallel computer systems,
including the analysis of program dependence, program transformations to
enhance parallelism, compiler management of the memory hierarchy,
interprocedural data flow analysis, and parallel debugging.
001 TBA Kennedy, Kenneth W. Enr: 0 Max: NA
COMP 522 REAL-TIME SYSTEMS Credits 4.00 Spring 00
Survey of database system implementation and design techniques. File
structures, relational, hierarchical, and network schemes, query languages,
protection, and concurrent access. A project is required.
Prereq- 421.
001 TBA - MWF 01:00PM - 01:50PM Staff Enr: 0 Max: NA
COMP 525 ARCH AND PERFOR CONCURRENT SYS Credits 3.00 Spring 00
Design of parallel architectures, including shared-memory
multiple-instruction-multiple-data (MIMD), message passing MIMD, and
singe-instruction-multiple data (SIMD) architectures. Specific topics include
techniques to reduce and tolerate communication latency (e.g., cache coherence
protocols, memory consistency models, multithreaded architectures, and dataflow
architectures), synchronization, interconnection networks, and software
involvement for improving performance. The course will include case studies of
several parallel machines.
Prereq- Elec 425.
Also offered as ELEC 525
001 TBA Adve, Sarita Vikram Enr: 0 Max: NA
COMP 527 COMPUTER SYSTEMS SECURITY Credits 4.00 Spring 00
This class will focus on computer security in real systems. We will cover
theory and practice for the design of secure systems (formal modelling,
hardware and compilier-enforced safety, software engineering processes,
tamper-resistant and tamper-reactive hardware, firewalls, cryptography, and
more).
Prereq- Comp 421
001 TBA - TTH 02:30PM - 03:50PM Wallach, Dan Seth Enr: 0 Max:
COMP 583 VLSI ALGORITHMS Credits Spring 00
Models of parallel computation. Design and analysis of parallel algorithms.
VLSI complexity. Area-time tradeoffs. Area efficient VLSI networks.
Prereq- Comp 314.
Also offered as ELEC 519
001 TBA - TTH 02:30PM - 03:50PM Varman, Peter J. Enr: 0 Max: NA
COMP 590 ADV COMPUTER SCIENCE PROJECT Credits Spring 00
Advanced theoretical and experimental investigations under staff direction.
001 TBA Staff Enr: 0 Max: NA
COMP 600 GRADUATE SEMINAR Credits 1.00 Spring 00
A discussion of selected topics in computer science.
001 TBA Staff Enr: 0 Max: NA
COMP 610 GRAD SEM:PROGRAMMING LANGUAGES Credits Spring 00
A discussion of programming language semantics in computer science.
001 TBA Felleisen, Matthias Enr: 0 Max: NA
COMP 612 GRAD SEM IN COMPILER CONSTRUCT Credits 3.00 Spring 00
Topics in construction of programming language translators.
Prereq- Comp 412.
001 TBA Staff Enr: 0 Max: NA
COMP 615 PARALLEL PROGRAMMIN SYSTEMS Credits 2.00 Spring 00
This course will explore topics in parallel programming environments and
compilers for parallel computers.
001 TBA Staff Enr: 0 Max: NA
COMP 620 GRAD SEM IN DISTRIBUTED COMPUT Credits 3.00 Spring 00
Content varies at discretion of instructor.
Prereq- Comp 520.
001 TBA Staff Enr: 0 Max: NA
COMP 625 GRADUATE SEMINAR ON COMPUTER ARCHITECTUR Credits 3.00 Spring 00
Subjects covering virtual memory and security structures, pipelines and vector
processing, instruction set definitions, multi-threading, will be discussed.
Both contemporary and "ancient systems" will be analyzed.
Prereq- Comp/Elec 525 or permission of instructor.
Also offered as ELEC 625
001 TBA Wallach, Steven J. Enr: 0 Max: NA
COMP 690 RESEARCH AND THESIS Credits Spring 00
No description
001 TBA Staff Enr: 0 Max: NA
COMP 800 GRADUATE RESEARCH Credits Spring 00
No description
001 TBA Staff Enr: 0 Max: NA
© 1999 Rice University