Spring '07, '06
EE 372N: Telecommunications Networks
(Course webpage and materials accessible through Blackboard)
This
course assumes no previous experience with telephone or computer
networks and intends to introduce students to the fundamental
principles underlying computer networks, in general. Throughout,
we will highlight potential design points, design options, and the
directions taken in today's networks.
Fall '06, '05, '04
EE 382V: Mobile Computing
(Course webpage and materials accessible through
Blackboard)
As mobile computing
devices like laptops, PDAs,
cellular phones, and even miniature sensors become increasingly
pervasive, the
demand for applications for this novel environment escalates. This
course explores
the effects of mobile computing on software design and development. The approach taken uses current research
projects in the field of mobile computing to highlight the key aspects
that
complicate software engineering. We will
focus on these concerns in the context of application development.
Spring
'07, '05
EE 382V: Formal Methods in Distributed
Computing
(Course webpage and materials accessible through
Blackboard)
This
course gives an
introduction to the use of
formal methods within the software design
process. Specifically,
we cover the application of
models to distributed and concurrent systems. Modern
software systems
are commonly highly distributed, and this added
sophistication further complicates software design.
The
rigor offered by formal methods aims to make the process more precise.
