The following pages link to Edward A. Lee (Q1400470):
Displaying 32 items.
- The semantics and execution of a synchronous block-diagram language. (Q1400471) (← links)
- Models of timed systems (Q1631213) (← links)
- A behavioral type system and its application in Ptolemy II (Q1882802) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Observation and interaction. Invited paper (Q2278258) (← links)
- Resynchronization for multiprocessor DSP systems (Q2724315) (← links)
- (Q2729064) (← links)
- On Fixed Points of Strictly Causal Functions (Q2842670) (← links)
- On the Verification of Timed Discrete-Event Models (Q2842672) (← links)
- An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals (Q2842789) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- From Transitions to Executions (Q2914682) (← links)
- Requirements for hybrid cosimulation standards (Q2988935) (← links)
- (Q3400625) (← links)
- (Q3493355) (← links)
- Concurrent Semantics Without the Notions of State or State Transitions (Q3511219) (← links)
- Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing (Q3742710) (← links)
- (Q3993138) (← links)
- (Q3997798) (← links)
- (Q4343019) (← links)
- (Q4418002) (← links)
- (Q4473726) (← links)
- Generating compact code from dataflow specifications of multirate signal processing algorithms (Q4836858) (← links)
- Capacity penalty due to ideal zero-forcing decision-feedback equalization (Q4885709) (← links)
- (Q4888827) (← links)
- (Q4992898) (← links)
- Constructive Collisions (Q5170749) (← links)
- (Q5364938) (← links)
- (Q5423300) (← links)
- Hybrid Systems: Computation and Control (Q5703930) (← links)
- Hybrid Systems: Computation and Control (Q5899004) (← links)
