Front Page
Group
The Team
Publications
Funding
Supporters
Research
Structural Modeling
Opti-Space Exploration
Procedure Boundary Elim.
Fault Tolerance
Memory Analysis
Design-Space Exploration
Information Flow Security
Decoupled SW Pipelining
Videos
Step-by-Step Parallelization
(
한국어
)
GIMP Demo
h.263 Demo
Software
LSE
The Liberty Structural Specification Language: A High-Level Modeling Language for Component Reuse
This presentation is based on the PLDI 2004 talk.
Slide 1
Next
Go to slide: 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
OSE Home