The following pages link to Daniel Gajski (Q2506291):
Displaying 7 items.
- Verification of system level model transformations (Q2506292) (← links)
- (Q3317034) (← links)
- Fast Execution of Loops with IF Statements (Q3334058) (← links)
- (Q3574321) (← links)
- An Algorithm for Solving Linear Recurrence Systems on Parallel and Pipelined Machines (Q3902474) (← links)
- Design of Testable Structures Defined by Simple Loops (Q3921160) (← links)
- (Q4851578) (← links)