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:
The following are general pertinent resources:
-
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.
|