Back to Results
First PageMeta Content
Compiler construction / Procedural programming languages / Programming language implementation / Control flow / Source code / Goto / C / Subroutine / Static single assignment form / Software engineering / Computer programming / Computing


INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo
Add to Reading List

Document Date: 2013-05-14 11:37:38

Open Document

File Size: 884,98 KB

Share Result on Facebook

Company

Emerging Technologies / RTL / INFORMATION AND COMMUNICATION TECHNOLOGIES / /

/

Facility

University of Bologna / /

IndustryTerm

branch expansion policy maker / automation tool / branch displacement algorithm / labelled deductive systems / energy / /

Organization

University of Bologna / Claudio Sacerdoti Coen Department of Computer Science and Engineering / European Commission / /

Person

Dominic P. Mulligan / Claudio Sacerdoti Coen / Paolo Tranquilli / Mauro Piccolo / Jaap Boender / Dale Miller / /

Position

cost model for the source control blocks / cost model for the object code control blocks / /

ProgrammingLanguage

C / L / /

PublishedMedium

Lecture Notes in Computer Science / /

TVStation

WCET / /

Technology

branch displacement algorithm / simulation / /

URL

http /

SocialTag