Daniel Gajski

From MaRDI portal
Person:2506291



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Transaction-level system modeling2010-07-09Paper
Verification of system level model transformations
International Journal of Parallel Programming
2006-09-28Paper
scientific article; zbMATH DE number 804561 (Why is no real title available?)1995-10-11Paper
Fast Execution of Loops with IF Statements
IEEE Transactions on Computers
1984-01-01Paper
scientific article; zbMATH DE number 3847305 (Why is no real title available?)1983-01-01Paper
An Algorithm for Solving Linear Recurrence Systems on Parallel and Pipelined Machines
IEEE Transactions on Computers
1981-01-01Paper
Design of Testable Structures Defined by Simple Loops
IEEE Transactions on Computers
1981-01-01Paper


Research outcomes over time


This page was built for person: Daniel Gajski