int main (int argc, char ** argv) { ...

This blog will describe all what I consider interesting and useful to know about computer science. I will speak of theoric computer science, technology impact on computation and formalisms to define it, security issues, embedded systems, software engineering (of both process and structure), OO programming.
I just want to publish stuff I like and I working on without pretending to create a managed discussion on particular themes ... so let's start ... I will begin by posting the abstract of my phd dissertation.
It should be suitable to describe enough about me .

Computational and Programming Models for Molecular-scale devices based machines.

Alberto Gallini ,Ph. D. dissertation - abstract

The planar lithography process exploited to build microprocessors on silicon has reached very high resolutions: nowadays commercial processors from Intel are produced with a 65-nm (index for the transistor size) technology and devices based on a 45-nm technology have been already announced and well established into the road map.

In spite of the improvement in terms of velocity and computational capability led by the advancing of production processes, the number and the restrictiveness of constraints imposed on the designers by such an extreme miniaturization is fast arising and leading to deep changes on the architectural paradigms.

“Massive distribution”, “asynchronous communication”, “fine grain parallelism”, “dynamic configuration” are becoming more an more important keywords in both technology and computational architectures research fields making these years a very exciting period in computer science. Such a scenario moves research to the exploration of new, non conventional computational paradigms for both architectures and computational models aimed the management and efficiency of machines characterized by high components interaction rate, heterogeneity and unreliability.

In this dissertation an “horizontal approach” is employed by analyzing recent technology promises and facing both computational paradigm issues and programming model challenges. After an exploration of the technology advancement, an investigation about the impact on the computational models is carried out. A software environment for distributed systems simulation is described and a particular attention is given to the bio-inspired approaches for distribution of computation, application deployment and unreliability management. New architectural paradigms imply new compilation techniques to exploit well known high level languages: the introduction of new high level programming primitives has been always rejected by programmers, hence more intelligence has to be added to compilers. This issue is faced by introducing a compiler framework aimed to extract application parallelism and translate it into a representation suitable to target future nano-scale devices based machines.