| |
| Software projects |
| bear |
Berkeley Aerobot |
| blast |
Berkeley Lazy Abstraction Software Verification Tool |
| caltrop |
Caltrop |
| cases |
Compiler and Architecture Support for Embedded Systems |
| cosi |
COmmunication Synthesis Infrastructure |
| dif |
The Dataflow Interchange Format |
| diva |
Dynamic Interactive Visualization |
| dopcenter |
Donald O. Pederson Center Workgroup |
| m2t2 |
Research on multiple moving objects tracking in complex dynamic environment using multiple sensors mounted on unmanned autonomous vehicles |
| metropolis |
Design Environment for Heterogeneous Systems |
| mica |
Mixed Initiative Control for Automa-teams |
| nephest |
Nephest |
| smartnets |
Smart Networks Group |
| |
| Special interest groups |
| asves |
Analysis, Synthesis, Verification of Electronic Systems |
| asvpapers |
Papers under development by Alberto Sangiovanni-Vincentelli |
| compaan |
Compaan, compilation from Matlab to Process Networks |
| concurrency |
Concurrency Class: EECS 290N |
| dopsysadmin |
DOP Center Systems Administration |
| elab |
Embedded Lab |
| giotto |
A Methodology for Embedded Control Systems Development |
| healtheu |
Health EU workgroup |
| hyinfo |
Interchange Format for Hybrid Systems |
| mescal |
Modern Embedded Systems: Compilers, Architectures, and Languages |
| mobies |
Model Based Integration of Embedded Software |
| mocpaper |
Model of Computation Paper sGroup |
| mvsis |
mvsis |
| platform |
Platform Repository |
| ransom |
Ransom users group |
| robosysadmin |
Robotics group system administration |
| sec |
Software Enabled Control |
| sensorprivacy |
Privacy in Sensor Data |
| systems |
System Level Design |
| video |
Video capture and collaboration |
| wow |
Berkeley Web over Wireless Group |
| |
| Administrative groups |
| buildmaster |
Build Master |
| embedded |
The Embedded Website Workgroup |
| embeddedadmin |
Embedded Website Administrators' Workgroup |
| msgadmin |
MSG Administration workgroup |
| webmaster |
Webmasters |
