Correct compilers for correct application specific processors

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
C3Pro
 
Project Title (de) Projekttitel (de)
Correct compilers for correct application specific processors
 
Project Title (en) Projekttitel (en)
Correct compilers for correct application specific processors
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Catena DSP GmbH
Grant number Förderkennnummer
827485
 

Publications

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Lezuo, Roland ; Krall, Andreas Using the CASM language for simulator synthesis and model verificationKonferenzbeitrag Inproceedings2013
2Schreiner, Dietmar ; Steinbauer, Gerald ; Uran, Suza Optimizing Compilers for Safety-Critical Robotic SystemsKonferenzbeitrag Inproceedings 2012
3Lezuo, Roland ; Barany, Gergö ; Krall, Andreas CASM: Implementing an Abstract State Machine based programming languageKonferenzbeitrag Inproceedings 2013
4Inführ, Dominik AST interpreter for CASMBericht Report2013
5Lezuo, Roland ; Krall, Andreas A Unified Processor Model for Compiler Verification and Simulation Using ASMKonferenzbeitrag Inproceedings2012