EECS 290n
Contents

Home
Overview
Logistics
Technology

Lectures
Calendar
Assignments
Study group
Project

Reading
References
Resources

Resources

This is an evolving list. Please send contributions to eal@eecs.berkeley.edu. The following pointers might be particularly useful for scribes:

• definitions of math terminology
• A (Not So) Short Introduction to LaTeX2e

• Ada, a language supporting concurrency with RPC-based rendezvous.
• ARGOS a graphical hierarchical finite-state machine language.
• Esterel, a synchronous language with concurrency and imperative semantics.
• IEEE Computer Society, TC on Real-Time Systems.
• IMEC, Interuniversity Microelectronics Center in Leuven, Belgium.
• INRIA, the French National Institute for Research in Computer Science and Control
• Java, an object oriented language with concurrent processes).
• LEDA, an object oriented toolbox with graph manipulations.
• LOTOS - CADP (a toolbox for protocol engineering dedicated to the LOTOS language)
• LOTOS action's Home Page
• Maple, a symbolic algebra environment.
• Mathematica, a symbolic algebra environment.
• MATLAB, a matrix laboratory.
• MEIJE Project, concurrent process calculi and real-time systems.
• Nelsis, a CAD framework.
• NetLIB, archive of Fortran and C routines for optimization, etc.
• Ptolemy, a software environment supporting multiple models of computation.
• PVM, Parallel Virtual Machine.
• Real Time and Distributed Systems Group at Carleton University.
• Real-Time Operating Systems, Free and Non-Commercial.
• SciLab, scientific computation software.