The following pages link to Björn Lisper (Q608342):
Displayed 17 items.
- A resource-efficient event algebra (Q608343) (← links)
- Computing transitive closure on systolic arrays of fixed size (Q808290) (← links)
- Code analysis for temporal predictability (Q853616) (← links)
- Synthesis and equivalence of concurrent systems (Q1105355) (← links)
- Synthesizing synchronous systems by static scheduling in space-time (Q1187649) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Timing Analysis of Parallel Software Using Abstract Execution (Q2938061) (← links)
- (Q3042387) (← links)
- (Q3680270) (← links)
- (Q3725530) (← links)
- (Q4028329) (← links)
- Total unfolding: theory and applications (Q4764611) (← links)
- (Q4817288) (← links)
- Fully Bounded Polyhedral Analysis of Integers with Wrapping (Q5170176) (← links)
- (Q5472882) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717489) (← links)
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations (Q5878908) (← links)