Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
synthesis [2011/12/21 13:59]
barbara.jobstmann
synthesis [2011/12/21 14:04] (current)
barbara.jobstmann
Line 51: Line 51:
   * [[http://​gadara.eecs.umich.edu/​|University of Michigan, EE and CS]] (St├ęphane Lafortune) **Gadara: Orchestrating the execution of parallel programs using Discrete Control Theory**   * [[http://​gadara.eecs.umich.edu/​|University of Michigan, EE and CS]] (St├ęphane Lafortune) **Gadara: Orchestrating the execution of parallel programs using Discrete Control Theory**
   * [[http://​sites.google.com/​site/​galkatzzz/​mcgp-tool|MCGP Tool]] (Doron Peled and Gal Katz) **Automatic generation and correction of programs using Genetic Programming** ​   * [[http://​sites.google.com/​site/​galkatzzz/​mcgp-tool|MCGP Tool]] (Doron Peled and Gal Katz) **Automatic generation and correction of programs using Genetic Programming** ​
-  * [[http://​AspectLTL.ysaar.net)|AspectLTL]] (Yaniv Saar and Shahar Maoz) **a temporal-logic based language for the specification and implementation of crosscutting concerns.**+  * [[http://​AspectLTL.ysaar.net|AspectLTL]] (Yaniv Saar and Shahar Maoz) **a temporal-logic based language for the specification and implementation of crosscutting concerns.**
   * [[http://​users.soe.ucsc.edu/​~luca/​papers/​05/​emsoft05.pdf|Code Aware Resource Management]] ([[https://​sites.google.com/​a/​ucsc.edu/​luca/​home|L. de Alfaro]], [[http://​people.na.infn.it/​~mfaella/​|M. Faella]], [[http://​www.cs.ucla.edu/​~rupak|R. Majumdar]], V. Raman)   * [[http://​users.soe.ucsc.edu/​~luca/​papers/​05/​emsoft05.pdf|Code Aware Resource Management]] ([[https://​sites.google.com/​a/​ucsc.edu/​luca/​home|L. de Alfaro]], [[http://​people.na.infn.it/​~mfaella/​|M. Faella]], [[http://​www.cs.ucla.edu/​~rupak|R. Majumdar]], V. Raman)