https://www.euro-online.org/enog/inoc mac https://www.euro-online.org/enog/inoc2007/Papers/mac
ALBCOM: Project details
   ALBCOM: Algorithms, Bioinformatics, Complexity and Formal Methods
 Sections
  Homepage
  People
  Research
  Publications
  Prizes & Distinctions
  Projects
  In the media
  Agenda
  Visitors
  Former members
  Contact
 Project details
FORMALISM Mtodos formales y algoritmos para el diseo de sistemas
Number: TIN2007-66523
Description: The goal of this project is to understand, study, and solve problems in new tecnological contexts created by the growth in resources (computing power, storage, and communication).In particular, the project focuses on two work areas.On the one hand, it deals with modelling, design, and verification of systems that typically work or can work in open networks such as Internet.On the other hand, the project studies the modelling, verification, and synthesis of large concurrent systems that typically are implemented in VLSI circuits, with especial emphasis on asynchronous systems.Even though these areas may seem disparate, in fact the set of techniques thay they use are the same to a large extent.
Period: 1/2007-12/2012
Money: 821.000 EUR
Members:

F.Orejas (local coordinator).

Participants:

Universitat Politcnica de Catalunya

Coordinator: F.Orejas