Ignore:
Timestamp:
Apr 12, 2013, 6:53:46 PM (7 years ago)
Author:
mckinna
Message:

Tweaks

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D6.4-6.5/workshops.ltx

    r3136 r3137  
    22\label{sect.rep}
    33
    4 The Consortium identified two potentially fruitful destinations at which to hold dissemination events, taking into account suitable candidates, and the opportunity to hold workshops during, or shortly after the Project lifetime, given our requested extension to end month 39, Mar. 2013.
     4The Consortium identified two potentially fruitful destinations at which to hold such events, taking into account suitable candidates, and the opportunity to hold workshops during, or shortly after the end of the Project lifetime, given our requested extension to end month 39, Mar. 2013.
    55
    66Beyond each Conference call for participation, invitations to the two meetings were sent out to the following researchers and research groups, all world leaders in cost/timing analysis for programing langauges, compilers and embedded systems:
     
    1515
    1616
    17 \paragraph{D6.4} Before receiving the extension, we had identified for month 37 (Jan. 2013) the workshop track of the HiPEAC Conference series on High Performance and Embedded Architectures and Compilers as a suitable destination, comprising as it does a wide range of sessions bringing together industrial and academic research.
     17\paragraph{D6.4} Before receiving the Project extension, we had identified for month 37 (Jan. 2013) the workshop track of the HiPEAC Conference series on High Performance and Embedded Architectures and Compilers as a suitable destination, comprising as it does a wide range of sessions bringing together industrial and academic research.
    1818
    1919The half-day workshop was held on 2013-01-23 in Berlin: \\
     
    4141iterations.  That analysis produces constraints which are solved with the aid of off-the-shelf linear programming tools. So the effectiveness of theorem proving in computing precise costs in \cerco{} interested him.
    4242
    43 
    4443In addition to his own technical talk, he took the opportunity to advertise, and solicit interest in, the recently formed COST Action IC1202 Timing Analysis and Cost-Level Estimation (TACLe), of which he is Chair. This offers very promising potential for future collaborations and the wider communication of results from \cerco{}.
    4544
Note: See TracChangeset for help on using the changeset viewer.