diff --git a/singlepage-program.html b/singlepage-program.html
index f17030fa9faed222083ebd522c8791cc895549aa..711f89eb6398aa5143840db57d577dc9ed461d70 100644
--- a/singlepage-program.html
+++ b/singlepage-program.html
@@ -11,332 +11,7 @@ xmlns:mv="http://macVmlSchemaUri" xmlns="http://www.w3.org/TR/REC-html40">
<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 14">
<meta name=Originator content="Microsoft Word 14">
-<link rel=File-List href="Program_file/filelist.xml">
-<!--[if gte mso 9]><xml>
- <o:DocumentProperties>
- <o:Author>Alessandro Papadopoulos</o:Author>
- <o:LastAuthor>Alessandro Papadopoulos</o:LastAuthor>
- <o:Revision>2</o:Revision>
- <o:TotalTime>3</o:TotalTime>
- <o:LastPrinted>2015-05-22T10:17:00Z</o:LastPrinted>
- <o:Created>2015-05-23T10:48:00Z</o:Created>
- <o:LastSaved>2015-05-23T10:48:00Z</o:LastSaved>
- <o:Pages>2</o:Pages>
- <o:Words>731</o:Words>
- <o:Characters>4171</o:Characters>
- <o:Lines>34</o:Lines>
- <o:Paragraphs>9</o:Paragraphs>
- <o:CharactersWithSpaces>4893</o:CharactersWithSpaces>
- <o:Version>14.0</o:Version>
- </o:DocumentProperties>
- <o:OfficeDocumentSettings>
- <o:AllowPNG/>
- </o:OfficeDocumentSettings>
-</xml><![endif]-->
-<link rel=dataStoreItem href="Program_file/item0001.xml"
-target=":Program_file:props0002.xml">
-<link rel=themeData href="Program_file/themedata.xml">
-<!--[if gte mso 9]><xml>
- <w:WordDocument>
- <w:GrammarState>Clean</w:GrammarState>
- <w:TrackMoves/>
- <w:TrackFormatting/>
- <w:HyphenationZone>14</w:HyphenationZone>
- <w:PunctuationKerning/>
- <w:DrawingGridHorizontalSpacing>18 pt</w:DrawingGridHorizontalSpacing>
- <w:DrawingGridVerticalSpacing>18 pt</w:DrawingGridVerticalSpacing>
- <w:DisplayHorizontalDrawingGridEvery>0</w:DisplayHorizontalDrawingGridEvery>
- <w:DisplayVerticalDrawingGridEvery>0</w:DisplayVerticalDrawingGridEvery>
- <w:ValidateAgainstSchemas/>
- <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
- <w:IgnoreMixedContent>false</w:IgnoreMixedContent>
- <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
- <w:DoNotPromoteQF/>
- <w:LidThemeOther>IT</w:LidThemeOther>
- <w:LidThemeAsian>JA</w:LidThemeAsian>
- <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
- <w:Compatibility>
- <w:BreakWrappedTables/>
- <w:SnapToGridInCell/>
- <w:WrapTextWithPunct/>
- <w:UseAsianBreakRules/>
- <w:DontGrowAutofit/>
- <w:SplitPgBreakAndParaMark/>
- <w:EnableOpenTypeKerning/>
- <w:DontFlipMirrorIndents/>
- <w:OverrideTableStyleHps/>
- <w:UseFELayout/>
- </w:Compatibility>
- <m:mathPr>
- <m:mathFont m:val="Cambria Math"/>
- <m:brkBin m:val="before"/>
- <m:brkBinSub m:val="--"/>
- <m:smallFrac/>
- <m:dispDef/>
- <m:lMargin m:val="0"/>
- <m:rMargin m:val="0"/>
- <m:defJc m:val="centerGroup"/>
- <m:wrapRight/>
- <m:intLim m:val="subSup"/>
- <m:naryLim m:val="subSup"/>
- </m:mathPr></w:WordDocument>
-</xml><![endif]--><!--[if gte mso 9]><xml>
- <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true"
- DefSemiHidden="true" DefQFormat="false" DefPriority="99"
- LatentStyleCount="276">
- <w:LsdException Locked="false" Priority="0" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Normal"/>
- <w:LsdException Locked="false" Priority="9" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="heading 1"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/>
- <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 1"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 2"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 3"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 4"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 5"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 6"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 7"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 8"/>
- <w:LsdException Locked="false" Priority="39" Name="toc 9"/>
- <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/>
- <w:LsdException Locked="false" Priority="10" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Title"/>
- <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/>
- <w:LsdException Locked="false" Priority="11" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/>
- <w:LsdException Locked="false" Priority="22" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Strong"/>
- <w:LsdException Locked="false" Priority="20" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/>
- <w:LsdException Locked="false" Priority="59" SemiHidden="false"
- UnhideWhenUsed="false" Name="Table Grid"/>
- <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/>
- <w:LsdException Locked="false" Priority="1" UnhideWhenUsed="false"
- QFormat="true" Name="No Spacing"/>
- <w:LsdException Locked="false" Priority="60" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Shading"/>
- <w:LsdException Locked="false" Priority="61" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light List"/>
- <w:LsdException Locked="false" Priority="62" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Grid"/>
- <w:LsdException Locked="false" Priority="63" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 1"/>
- <w:LsdException Locked="false" Priority="64" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 2"/>
- <w:LsdException Locked="false" Priority="65" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 1"/>
- <w:LsdException Locked="false" Priority="66" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 2"/>
- <w:LsdException Locked="false" Priority="67" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 1"/>
- <w:LsdException Locked="false" Priority="68" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 2"/>
- <w:LsdException Locked="false" Priority="69" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 3"/>
- <w:LsdException Locked="false" Priority="70" SemiHidden="false"
- UnhideWhenUsed="false" Name="Dark List"/>
- <w:LsdException Locked="false" Priority="71" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Shading"/>
- <w:LsdException Locked="false" Priority="72" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful List"/>
- <w:LsdException Locked="false" Priority="73" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Grid"/>
- <w:LsdException Locked="false" Priority="60" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Shading Accent 1"/>
- <w:LsdException Locked="false" Priority="61" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light List Accent 1"/>
- <w:LsdException Locked="false" Priority="62" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Grid Accent 1"/>
- <w:LsdException Locked="false" Priority="63" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/>
- <w:LsdException Locked="false" Priority="64" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/>
- <w:LsdException Locked="false" Priority="65" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/>
- <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/>
- <w:LsdException Locked="false" Priority="34" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/>
- <w:LsdException Locked="false" Priority="29" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Quote"/>
- <w:LsdException Locked="false" Priority="30" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/>
- <w:LsdException Locked="false" Priority="66" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/>
- <w:LsdException Locked="false" Priority="67" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/>
- <w:LsdException Locked="false" Priority="68" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/>
- <w:LsdException Locked="false" Priority="69" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/>
- <w:LsdException Locked="false" Priority="70" SemiHidden="false"
- UnhideWhenUsed="false" Name="Dark List Accent 1"/>
- <w:LsdException Locked="false" Priority="71" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/>
- <w:LsdException Locked="false" Priority="72" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful List Accent 1"/>
- <w:LsdException Locked="false" Priority="73" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/>
- <w:LsdException Locked="false" Priority="60" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Shading Accent 2"/>
- <w:LsdException Locked="false" Priority="61" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light List Accent 2"/>
- <w:LsdException Locked="false" Priority="62" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Grid Accent 2"/>
- <w:LsdException Locked="false" Priority="63" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/>
- <w:LsdException Locked="false" Priority="64" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/>
- <w:LsdException Locked="false" Priority="65" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/>
- <w:LsdException Locked="false" Priority="66" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/>
- <w:LsdException Locked="false" Priority="67" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/>
- <w:LsdException Locked="false" Priority="68" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/>
- <w:LsdException Locked="false" Priority="69" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/>
- <w:LsdException Locked="false" Priority="70" SemiHidden="false"
- UnhideWhenUsed="false" Name="Dark List Accent 2"/>
- <w:LsdException Locked="false" Priority="71" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/>
- <w:LsdException Locked="false" Priority="72" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful List Accent 2"/>
- <w:LsdException Locked="false" Priority="73" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/>
- <w:LsdException Locked="false" Priority="60" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Shading Accent 3"/>
- <w:LsdException Locked="false" Priority="61" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light List Accent 3"/>
- <w:LsdException Locked="false" Priority="62" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Grid Accent 3"/>
- <w:LsdException Locked="false" Priority="63" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/>
- <w:LsdException Locked="false" Priority="64" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/>
- <w:LsdException Locked="false" Priority="65" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/>
- <w:LsdException Locked="false" Priority="66" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/>
- <w:LsdException Locked="false" Priority="67" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/>
- <w:LsdException Locked="false" Priority="68" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/>
- <w:LsdException Locked="false" Priority="69" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/>
- <w:LsdException Locked="false" Priority="70" SemiHidden="false"
- UnhideWhenUsed="false" Name="Dark List Accent 3"/>
- <w:LsdException Locked="false" Priority="71" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/>
- <w:LsdException Locked="false" Priority="72" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful List Accent 3"/>
- <w:LsdException Locked="false" Priority="73" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/>
- <w:LsdException Locked="false" Priority="60" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Shading Accent 4"/>
- <w:LsdException Locked="false" Priority="61" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light List Accent 4"/>
- <w:LsdException Locked="false" Priority="62" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Grid Accent 4"/>
- <w:LsdException Locked="false" Priority="63" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/>
- <w:LsdException Locked="false" Priority="64" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/>
- <w:LsdException Locked="false" Priority="65" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/>
- <w:LsdException Locked="false" Priority="66" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/>
- <w:LsdException Locked="false" Priority="67" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/>
- <w:LsdException Locked="false" Priority="68" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/>
- <w:LsdException Locked="false" Priority="69" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/>
- <w:LsdException Locked="false" Priority="70" SemiHidden="false"
- UnhideWhenUsed="false" Name="Dark List Accent 4"/>
- <w:LsdException Locked="false" Priority="71" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/>
- <w:LsdException Locked="false" Priority="72" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful List Accent 4"/>
- <w:LsdException Locked="false" Priority="73" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/>
- <w:LsdException Locked="false" Priority="60" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Shading Accent 5"/>
- <w:LsdException Locked="false" Priority="61" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light List Accent 5"/>
- <w:LsdException Locked="false" Priority="62" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Grid Accent 5"/>
- <w:LsdException Locked="false" Priority="63" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/>
- <w:LsdException Locked="false" Priority="64" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/>
- <w:LsdException Locked="false" Priority="65" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/>
- <w:LsdException Locked="false" Priority="66" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/>
- <w:LsdException Locked="false" Priority="67" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/>
- <w:LsdException Locked="false" Priority="68" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/>
- <w:LsdException Locked="false" Priority="69" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/>
- <w:LsdException Locked="false" Priority="70" SemiHidden="false"
- UnhideWhenUsed="false" Name="Dark List Accent 5"/>
- <w:LsdException Locked="false" Priority="71" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/>
- <w:LsdException Locked="false" Priority="72" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful List Accent 5"/>
- <w:LsdException Locked="false" Priority="73" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/>
- <w:LsdException Locked="false" Priority="60" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Shading Accent 6"/>
- <w:LsdException Locked="false" Priority="61" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light List Accent 6"/>
- <w:LsdException Locked="false" Priority="62" SemiHidden="false"
- UnhideWhenUsed="false" Name="Light Grid Accent 6"/>
- <w:LsdException Locked="false" Priority="63" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/>
- <w:LsdException Locked="false" Priority="64" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/>
- <w:LsdException Locked="false" Priority="65" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/>
- <w:LsdException Locked="false" Priority="66" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/>
- <w:LsdException Locked="false" Priority="67" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/>
- <w:LsdException Locked="false" Priority="68" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/>
- <w:LsdException Locked="false" Priority="69" SemiHidden="false"
- UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/>
- <w:LsdException Locked="false" Priority="70" SemiHidden="false"
- UnhideWhenUsed="false" Name="Dark List Accent 6"/>
- <w:LsdException Locked="false" Priority="71" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/>
- <w:LsdException Locked="false" Priority="72" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful List Accent 6"/>
- <w:LsdException Locked="false" Priority="73" SemiHidden="false"
- UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/>
- <w:LsdException Locked="false" Priority="19" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/>
- <w:LsdException Locked="false" Priority="21" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/>
- <w:LsdException Locked="false" Priority="31" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/>
- <w:LsdException Locked="false" Priority="32" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/>
- <w:LsdException Locked="false" Priority="33" SemiHidden="false"
- UnhideWhenUsed="false" QFormat="true" Name="Book Title"/>
- <w:LsdException Locked="false" Priority="37" Name="Bibliography"/>
- <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/>
- </w:LatentStyles>
-</xml><![endif]-->
+
<style>
<!--
/* Font Definitions */
@@ -370,7 +45,7 @@ target=":Program_file:props0002.xml">
mso-generic-font-family:auto;
mso-font-pitch:variable;
mso-font-signature:3 0 0 0 1 0;}
- /* Style Definitions */
+ /* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
@@ -465,255 +140,7 @@ div.WordSection1
{page:WordSection1;}
-->
</style>
-<!--[if gte mso 10]>
-<style>
- /* Style Definitions */
-table.MsoNormalTable
- {mso-style-name:"Tabella normale";
- mso-tstyle-rowband-size:0;
- mso-tstyle-colband-size:0;
- mso-style-noshow:yes;
- mso-style-priority:99;
- mso-style-parent:"";
- mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
- mso-para-margin:0cm;
- mso-para-margin-bottom:.0001pt;
- mso-pagination:widow-orphan;
- font-size:12.0pt;
- font-family:Cambria;
- mso-ascii-font-family:Cambria;
- mso-ascii-theme-font:minor-latin;
- mso-hansi-font-family:Cambria;
- mso-hansi-theme-font:minor-latin;}
-table.MsoTableGrid
- {mso-style-name:"Griglia tabella";
- mso-tstyle-rowband-size:0;
- mso-tstyle-colband-size:0;
- mso-style-priority:59;
- mso-style-unhide:no;
- border:solid windowtext 1.0pt;
- mso-border-alt:solid windowtext .5pt;
- mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
- mso-border-insideh:.5pt solid windowtext;
- mso-border-insidev:.5pt solid windowtext;
- mso-para-margin:0cm;
- mso-para-margin-bottom:.0001pt;
- mso-pagination:widow-orphan;
- font-size:12.0pt;
- font-family:Cambria;
- mso-ascii-font-family:Cambria;
- mso-ascii-theme-font:minor-latin;
- mso-hansi-font-family:Cambria;
- mso-hansi-theme-font:minor-latin;}
-table.MsoTableLightShading
- {mso-style-name:"Sfondo chiaro";
- mso-tstyle-rowband-size:1;
- mso-tstyle-colband-size:1;
- mso-style-priority:60;
- mso-style-unhide:no;
- border-top:solid black 1.0pt;
- mso-border-top-themecolor:text1;
- border-left:none;
- border-bottom:solid black 1.0pt;
- mso-border-bottom-themecolor:text1;
- border-right:none;
- mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
- mso-para-margin:0cm;
- mso-para-margin-bottom:.0001pt;
- mso-pagination:widow-orphan;
- font-size:12.0pt;
- font-family:Cambria;
- mso-ascii-font-family:Cambria;
- mso-ascii-theme-font:minor-latin;
- mso-hansi-font-family:Cambria;
- mso-hansi-theme-font:minor-latin;
- color:black;
- mso-themecolor:text1;
- mso-themeshade:191;}
-table.MsoTableLightShadingFirstRow
- {mso-style-name:"Sfondo chiaro";
- mso-table-condition:first-row;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-border-top:1.0pt solid black;
- mso-tstyle-border-top-themecolor:text1;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-bottom:1.0pt solid black;
- mso-tstyle-border-bottom-themecolor:text1;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;
- mso-para-margin-top:0cm;
- mso-para-margin-bottom:0cm;
- mso-para-margin-bottom:.0001pt;
- line-height:normal;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingLastRow
- {mso-style-name:"Sfondo chiaro";
- mso-table-condition:last-row;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-border-top:1.0pt solid black;
- mso-tstyle-border-top-themecolor:text1;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-bottom:1.0pt solid black;
- mso-tstyle-border-bottom-themecolor:text1;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;
- mso-para-margin-top:0cm;
- mso-para-margin-bottom:0cm;
- mso-para-margin-bottom:.0001pt;
- line-height:normal;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingFirstCol
- {mso-style-name:"Sfondo chiaro";
- mso-table-condition:first-column;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingLastCol
- {mso-style-name:"Sfondo chiaro";
- mso-table-condition:last-column;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingOddColumn
- {mso-style-name:"Sfondo chiaro";
- mso-table-condition:odd-column;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-shading:silver;
- mso-tstyle-shading-themecolor:text1;
- mso-tstyle-shading-themetint:63;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;}
-table.MsoTableLightShadingOddRow
- {mso-style-name:"Sfondo chiaro";
- mso-table-condition:odd-row;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-shading:silver;
- mso-tstyle-shading-themecolor:text1;
- mso-tstyle-shading-themetint:63;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;}
-table.MsoTableLightShadingAccent1
- {mso-style-name:"Sfondo chiaro - Colore 1";
- mso-tstyle-rowband-size:1;
- mso-tstyle-colband-size:1;
- mso-style-priority:60;
- mso-style-unhide:no;
- border-top:solid #4F81BD 1.0pt;
- mso-border-top-themecolor:accent1;
- border-left:none;
- border-bottom:solid #4F81BD 1.0pt;
- mso-border-bottom-themecolor:accent1;
- border-right:none;
- mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
- mso-para-margin:0cm;
- mso-para-margin-bottom:.0001pt;
- mso-pagination:widow-orphan;
- font-size:12.0pt;
- font-family:Cambria;
- mso-ascii-font-family:Cambria;
- mso-ascii-theme-font:minor-latin;
- mso-hansi-font-family:Cambria;
- mso-hansi-theme-font:minor-latin;
- color:#365F91;
- mso-themecolor:accent1;
- mso-themeshade:191;}
-table.MsoTableLightShadingAccent1FirstRow
- {mso-style-name:"Sfondo chiaro - Colore 1";
- mso-table-condition:first-row;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-border-top:1.0pt solid #4F81BD;
- mso-tstyle-border-top-themecolor:accent1;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-bottom:1.0pt solid #4F81BD;
- mso-tstyle-border-bottom-themecolor:accent1;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;
- mso-para-margin-top:0cm;
- mso-para-margin-bottom:0cm;
- mso-para-margin-bottom:.0001pt;
- line-height:normal;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingAccent1LastRow
- {mso-style-name:"Sfondo chiaro - Colore 1";
- mso-table-condition:last-row;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-border-top:1.0pt solid #4F81BD;
- mso-tstyle-border-top-themecolor:accent1;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-bottom:1.0pt solid #4F81BD;
- mso-tstyle-border-bottom-themecolor:accent1;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;
- mso-para-margin-top:0cm;
- mso-para-margin-bottom:0cm;
- mso-para-margin-bottom:.0001pt;
- line-height:normal;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingAccent1FirstCol
- {mso-style-name:"Sfondo chiaro - Colore 1";
- mso-table-condition:first-column;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingAccent1LastCol
- {mso-style-name:"Sfondo chiaro - Colore 1";
- mso-table-condition:last-column;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-ansi-font-weight:bold;
- mso-bidi-font-weight:bold;}
-table.MsoTableLightShadingAccent1OddColumn
- {mso-style-name:"Sfondo chiaro - Colore 1";
- mso-table-condition:odd-column;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-shading:#D3DFEE;
- mso-tstyle-shading-themecolor:accent1;
- mso-tstyle-shading-themetint:63;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;}
-table.MsoTableLightShadingAccent1OddRow
- {mso-style-name:"Sfondo chiaro - Colore 1";
- mso-table-condition:odd-row;
- mso-style-priority:60;
- mso-style-unhide:no;
- mso-tstyle-shading:#D3DFEE;
- mso-tstyle-shading-themecolor:accent1;
- mso-tstyle-shading-themetint:63;
- mso-tstyle-border-left:cell-none;
- mso-tstyle-border-right:cell-none;
- mso-tstyle-border-insideh:cell-none;
- mso-tstyle-border-insidev:cell-none;}
-</style>
-<![endif]--><!--[if gte mso 9]><xml>
- <o:shapedefaults v:ext="edit" spidmax="1027"/>
-</xml><![endif]--><!--[if gte mso 9]><xml>
- <o:shapelayout v:ext="edit">
- <o:idmap v:ext="edit" data="1"/>
- </o:shapelayout></xml><![endif]-->
+
</head>
<body lang=IT style='tab-interval:35.4pt'>
@@ -771,7 +198,7 @@ mso-ansi-language:EN-US'>Wednesday, July 8th<o:p></o:p></span></b></p>
accent1;mso-themeshade:191;mso-ansi-language:EN-US'>Opening Remarks: </span></b><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>Karl-Erik �rz�n and Steve Goddard<b style='mso-bidi-font-weight:normal'><o:p></o:p></b></span></p>
+ EN-US'>Karl-Erik �rz�n and Steve Goddard<b style='mso-bidi-font-weight:normal'><o:p></o:p></b></span></p>
</td>
</tr>
<tr style='mso-yfti-irow:1'>
@@ -859,8 +286,8 @@ mso-ansi-language:EN-US'>Wednesday, July 8th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Cyclic Executives, Multi-Core Platforms and Mixed Criticality
- Applications�<o:p></o:p></span></p>
+ EN-US'>"Cyclic Executives, Multi-Core Platforms and Mixed Criticality
+ Applications"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -893,8 +320,8 @@ mso-ansi-language:EN-US'>Wednesday, July 8th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Resource Efficient Isolation Mechanisms For Mixed-Criticality
- Systems�<o:p></o:p></span></p>
+ EN-US'>"Resource Efficient Isolation Mechanisms For Mixed-Criticality
+ Systems"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -926,7 +353,7 @@ mso-ansi-language:EN-US'>Wednesday, July 8th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Mixed-Criticality Scheduling on Multiprocessors using Task Grouping�<o:p></o:p></span></p>
+ EN-US'>"Mixed-Criticality Scheduling on Multiprocessors using Task Grouping"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1004,7 +431,7 @@ mso-ansi-language:EN-US'>Wednesday, July 8th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Hybrid EDF Packet Scheduling for Real-Time Distributed Systems�<o:p></o:p></span></p>
+ EN-US'>"Hybrid EDF Packet Scheduling for Real-Time Distributed Systems"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1037,8 +464,8 @@ mso-ansi-language:EN-US'>Wednesday, July 8th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole
- Networks-on-Chip
�<o:p></o:p></span></p>
+ EN-US'>"Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole
+ Networks-on-Chip
"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1073,8 +500,8 @@ mso-ansi-language:EN-US'>Wednesday, July 8th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�On-line Data Link Layer Scheduling in Wireless Networked Control
- Systems�</span><span lang=EN-US style='font-family:Times;mso-bidi-font-family:
+ EN-US'>"On-line Data Link Layer Scheduling in Wireless Networked Control
+ Systems"</span><span lang=EN-US style='font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
EN-US'><o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
@@ -1208,8 +635,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Integration of Cache Partitioning and Preemption Threshold Scheduling
- to Improve Schedulability of Hard Real-Time Systems
�<o:p></o:p></span></p>
+ EN-US'>"Integration of Cache Partitioning and Preemption Threshold Scheduling
+ to Improve Schedulability of Hard Real-Time Systems
"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1244,7 +671,7 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks�<o:p></o:p></span></p>
+ EN-US'>"Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1277,8 +704,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Schedulability and Optimization Analysis for Non-Preemptive Static
- Priority Scheduling Based on Task Utilization and Blocking Factors�<o:p></o:p></span></p>
+ EN-US'>"Schedulability and Optimization Analysis for Non-Preemptive Static
+ Priority Scheduling Based on Task Utilization and Blocking Factors"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1368,8 +795,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Worst-Case Energy Consumption Analysis for Energy-Constrained
- Embedded Systems�<o:p></o:p></span></p>
+ EN-US'>"Worst-Case Energy Consumption Analysis for Energy-Constrained
+ Embedded Systems"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1408,8 +835,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Experimental evaluation of optimal schedulers based on partitioned
- proportionate fairness
�<o:p></o:p></span></p>
+ EN-US'>"Experimental evaluation of optimal schedulers based on partitioned
+ proportionate fairness
"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1484,8 +911,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�A Computation Offloading Framework for Soft Real-Time Embedded
- System�<o:p></o:p></span></p>
+ EN-US'>"A Computation Offloading Framework for Soft Real-Time Embedded
+ System"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1517,7 +944,7 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Feasibility Analysis of Engine Control Tasks under EDF Scheduling�<o:p></o:p></span></p>
+ EN-US'>"Feasibility Analysis of Engine Control Tasks under EDF Scheduling"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1551,8 +978,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�An Efficient Method for Assigning Harmonic Periods to Hard Real-time
- Tasks with Period Ranges�<o:p></o:p></span></p>
+ EN-US'>"An Efficient Method for Assigning Harmonic Periods to Hard Real-time
+ Tasks with Period Ranges"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1630,8 +1057,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Minimizing Cache Overhead via Loaded Cache Blocks and Preemption
- Placement�<o:p></o:p></span></p>
+ EN-US'>"Minimizing Cache Overhead via Loaded Cache Blocks and Preemption
+ Placement"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1663,8 +1090,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�<span class=GramE>WCET(</span>m) Estimation in Multi-Core Systems
- using Single Core Equivalence�<o:p></o:p></span></p>
+ EN-US'>"<span class=GramE>WCET(</span>m) Estimation in Multi-Core Systems
+ using Single Core Equivalence"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1701,8 +1128,8 @@ mso-ansi-language:EN-US'>Thursday, July 9th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Parallelism-Aware Memory Interference Delay Analysis for COTS
- Multicore Systems
�<o:p></o:p></span></p>
+ EN-US'>"Parallelism-Aware Memory Interference Delay Analysis for COTS
+ Multicore Systems
"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1786,8 +1213,8 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�An Optimal Semi-Partitioned Scheduler for Uniform Heterogeneous
- Multiprocessors�<o:p></o:p></span></p>
+ EN-US'>"An Optimal Semi-Partitioned Scheduler for Uniform Heterogeneous
+ Multiprocessors"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1820,8 +1247,8 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Response-Time Analysis of Conditional DAG Tasks in Multiprocessor
- System�<o:p></o:p></span></p>
+ EN-US'>"Response-Time Analysis of Conditional DAG Tasks in Multiprocessor
+ System"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1855,8 +1282,8 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�The Global EDF scheduling of systems of conditional sporadic DAG
- tasks�<o:p></o:p></span></p>
+ EN-US'>"The Global EDF scheduling of systems of conditional sporadic DAG
+ tasks"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -1946,7 +1373,7 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Probabilistic Response Time and Joint Analysis of Periodic Tasks�<o:p></o:p></span></p>
+ EN-US'>"Probabilistic Response Time and Joint Analysis of Periodic Tasks"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -1982,8 +1409,8 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Improved Deadline Miss Models for Real-Time Systems using Typical
- Worst-Case Analysis�<o:p></o:p></span></p>
+ EN-US'>"Improved Deadline Miss Models for Real-Time Systems using Typical
+ Worst-Case Analysis"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -2073,7 +1500,7 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�A Bailout Protocol for Mixed Criticality Systems�<o:p></o:p></span></p>
+ EN-US'>"A Bailout Protocol for Mixed Criticality Systems"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
@@ -2103,8 +1530,8 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Supporting Component-based Development in Partitioned Multiprocessor
- Real-Time Systems
�<o:p></o:p></span></p>
+ EN-US'>"Supporting Component-based Development in Partitioned Multiprocessor
+ Real-Time Systems
"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none'><span lang=EN-US
style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:Times;
@@ -2138,8 +1565,8 @@ mso-ansi-language:EN-US'>Friday, July 10th<o:p></o:p></span></b></p>
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family:
Times;color:#365F91;mso-themecolor:accent1;mso-themeshade:191;mso-ansi-language:
- EN-US'>�Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines
- is Strongly coNP-complete�<o:p></o:p></span></p>
+ EN-US'>"Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines
+ is Strongly coNP-complete"<o:p></o:p></span></p>
<p class=MsoNormal style='margin-bottom:12.0pt;mso-pagination:none;
mso-layout-grid-align:none;text-autospace:none;mso-yfti-cnfc:64'><span
lang=EN-US style='mso-bidi-font-size:15.0pt;font-family:Times;mso-bidi-font-family: