 |
||||
 |
Home> Course Search> |
|||
|
Search Results |
|||
|
||||
| Concurrent Models of Computation -- Computer Science (Engineering) (COMPSCI) C219D [3 units] | ||||
| Course Format: Three hours of lecture per week. | ||||
| Prerequisites: Graduate standing. | ||||
| Credit option: Course may be repeated for credit with consent of instructor. | ||||
| Description: Theory and practice of concurrent models of computation (MoCs) with applications to software systems, embedded systems, and cyber-physical systems. Analysis for boundedness, deadlock, and determinacy; formal semantics (fixed point semantics and metric-space models); composition; heterogeneity; and model-based design. MoCs covered may include process networks, threads, message passing, synchronous/reactive, dataflow, rendezvous, time-triggered, discrete events, and continuous time. Also listed as Electrical Engineering C219D. | ||||
| (F,SP) Lee |
||||
| |
||||
 |
||||
 |
||||
Copyright 2007 UC Regents. All rights reserved. Contact us. * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * |
||||
