Christian Lengauer · 5 obras en el catálogoObrasOOn the axiomatic verification of concurrent algorithmsOn the axiomatic verification of concurrent algorithmsAA systolic array for pyramidal algorithimsA systolic array for pyramidal algorithimsDomain-specific program generationConstructive methods for parallel programmingEEuro-Par'97 Parallel ProcessingEuro-Par'97 Parallel Processing
OOn the axiomatic verification of concurrent algorithmsOn the axiomatic verification of concurrent algorithms