Claudio Sacerdoti Coen - Search on European Projects Archive

Ideas
Partners
Consultants
Calls
EU Projects
Blog NEW
- Europe towards City Innovation Hubs
  
  Written by Matteo Satta EU funding has always helped cities support their innovation processes, particularly on digital transformation and environment, but the approach is now moving toward a new ambitious […]
- Mistakes that Cities Should Be Avoiding in EU Projects
  
  By Matteo Satta Nowadays, we are seeing an increasing trend of people requesting to lower taxes and, as a result, public budgets. This leads many cities to try to find […]
- How a city can boost your Smart City project
  
  By Matteo Satta The commission has been heavily investing in pilot Smart City projects for a long time, but you may often have R&D or innovation projects pretending to have […]
- How to involve a city in your project? Here are a few tips.
  
  Article written by Matteo Satta (Smart) City projects are more and more funded by the European Commission, but consortia often struggle to get cities on board or really engage them. […]
- >> See all posts
Log In Sign Up

1 European Projects Found

Searched on 125080 European Projects

FINISHED

CERTIFIED COMPLEXITY (CerCo)

Start date: Feb 1, 2010, End date: Mar 31, 2013,

The project aims to the construction of a formally verified complexity preserving compiler from a large subset of C to some typical microcontroller assembly, of the kind traditionally used in embedded systems. The work comprise the definition of cost models for the input and target languages, and the machine-checked proof of preservation of complexity (concrete, not asymptotic) along compilation. ...

Read Project