UNIVERSITÉ DE MONTRÉAL DISSERTATION OR THESIS TITLE ALEX TÉRIEUR DÉPARTEMENT DE GÉNIE INFORMATIQUE ET GÉNIE LOGICIEL ÉCOLE POLYTECHNIQUE DE MONTRÉAL

Transcription

1 UNIVERSITÉ DE MONTRÉAL DISSERTATION OR THESIS TITLE ALEX TÉRIEUR DÉPARTEMENT DE GÉNIE INFORMATIQUE ET GÉNIE LOGICIEL ÉCOLE POLYTECHNIQUE DE MONTRÉAL THÈSE PRÉSENTÉE EN VUE DE L OBTENTION DU DIPLÔME DE PHILOSOPHIAE DOCTOR (GÉNIE INFORMATIQUE) JUIN 2014 Alex Térieur, 2014.

2 UNIVERSITÉ DE MONTRÉAL ÉCOLE POLYTECHNIQUE DE MONTRÉAL Cette thèse intitulée : DISSERTATION TITLE présentée par : TÉRIEUR Alex en vue de l obtention du diplôme de : Philosophiae Doctor a été dûment acceptée par le jury d examen constitué de : M. DESDIVANS Yvan, Ph. D., président Mme PORÉE Éva, Ph. D., membre et directrice de recherche Mme VIGOTE Sarah, Ph. D., membre et codirecteur de recherche M. SÉRIEN Jean, Ph. D., membre

3 DEDICATION The dedication is a tribute the author wishes to make to one or more people of the author s choosing. It s optional.

4 ACKNOWLEDGEMENTS In the acknowledgements, the author points out the help that various people have provided, including advice or any other type of contribution as the author carried out their research. As appropriate, this is the section where the candidate must thank their thesis or dissertation supervisor, grant-awarding organizations, or companies that provided bursaries or research funds. If the thesis or dissertation is in French and students wish to thank someone in particular in English, they must insert a second page and title it in English (i.e., Acknowledgments ). If the thesis or dissertation is in English and students wish to thank someone in particular in French, they must insert a second page and title it in French (i.e., Remerciements ).

5 RÉSUMÉ The résumé (mandatory summary) is a brief explanation in French of the work s topic, its objectives, the research questions or hypotheses put forth, the experimental methods used, and the results analysis. It also includes the key research conclusions and future applications. In general, a summary does not exceed three pages. The summary must provide an exact idea of the thesis or dissertation s content. It cannot be a simple enumeration of the manuscript s parts. The goal is to precisely and concisely present the nature and scope of the research. A summary must never include references or figures.

6 ABSTRACT The abstract is mandatory. It must be a faithful, high-quality English-language translation of the French-language summary, and not a literal translation.

7 TABLE OF CONTENTS DEDICATION... II ACKNOWLEDGEMENTS... IV RÉSUMÉ... V ABSTRACT... VI LIST OF TABLES... VIII LIST OF FIGURES... IX LIST OF SYMBOLS AND ABBREVIATIONS... X LIST OF APPENDICES... XI INTRODUCTION... 1 CHAPTER TITLE Section title Sub-section title... 2 CHAPTER TITLE Section title Sub-section title... 4 CHAPTER TITLE Section title Section title... 5 CONCLUSION AND RECOMMENDATIONS... 6 BIBLIOGRAPHY... 7 APPENDICES... 8

8 LIST OF TABLES Table 2.1: My first table... 3

9 LIST OF FIGURES Figure 2.1: My figure... 2 Figure 2.2: My second figure... 3

10 LIST OF SYMBOLS AND ABBREVIATIONS ACI Adenylyl cyclase 1 ADN CaM HOT IETF OSI Acide désoxyribonucléique Calmodulin Highly optimized tolerance Internet Engineering Task Force Open Systems Interconnection

11 LIST OF APPENDICES Appendix A - Title of appendix... 8 Appendix B - Title of appendix... 9

12 1 INTRODUCTION In the introduction, the problem under study is introduced, along with the goals of the study. The introduction explains the research framework and specifies the field of application. It provides the necessary details about the study s context, the approach taken, and the project s evolution. Essentially, the introduction tells the reader what they need to know in order to understand the study and grasp its scope. The introduction also includes a critical review of the relevant literature (historical and bibliographic review of the topic). The literature review is of key importance. Among other things, it allows students to learn about recent advances relevant to the issues raised in their research topic, to identify the links between their research work and past studies, and to set out the key themes of their research project. If the review is too large, it is best to present it in a separate chapter.

13 2 CHAPTER TITLE The body of the work is the main portion of the thesis or dissertation. This is where the theoretical or mathematical development is set out, along with the methodology and experiment design, measurements, results and analysis, as well as the necessary scientific discussion. 2.1 Section title Sections allow you to split the content to facilitate reading and better structured text Sub-section title You must label each figure (schemas, sketches, photographs, diagrams, graphics and other illustrations) with a title. This title, placed under the figure, is preceded by the word Figure and a double identification number in Arabic numerals: the first number is the chapter number, while the second indicates the figure s order of appearance in the chapter (e.g.: Figure 3.4 means the fourth figure in Chapter III). The legend directly follows the title. Figure 2.1: My figure Each table must be labelled with a title. The title, located above the table, is preceded by the word Table and a double identification number in Arabic numerals. (The standards for figure

14 numbering also apply to table numbering.) There is no legend after a table title; appropriate explanations must be provided in the text. Once again, margins must be respected. If a table takes up more than one page, the title must be repeated (table, number, title) on the following page, with the word cont d (continued) in parentheses. However, to avoid inserting long tables into the text, we recommend placing larger tables in appendix. Tables may be presented in landscape format if needed. Table 2.1: My first table Table Table Table Table Content Content Content Content Another example of a figure. Figure 2.2: My second figure

15 4 CHAPTER TITLE Bacon ipsum dolor sit amet shoulder fatback spare ribs rump chuck filet mignon. Pancetta ground round beef leberkas. Beef ribs andouille pork loin shankle, biltong porchetta shoulder ribeye ground round spare ribs pork belly kielbasa bacon pig venison. Pork capicola shankle andouille, short ribs cow swine sirloin flank pastrami landjaeger filet mignon. Tri-tip shoulder ribeye pork loin pastrami. Sausage pastrami jerky kielbasa turkey cow tail spare ribs. Shank kevin jerky sirloin, ribeye meatball jowl t-bone. Drumstick ground round spare ribs beef. Filet mignon ball tip ribeye tongue. Pork belly brisket tongue, porchetta ground round chuck meatloaf rump ham leberkas hamburger ribeye pig. Spare ribs tongue ground round, pork jerky filet mignon bresaola brisket venison ham porchetta. Frankfurter swine t-bone doner prosciutto pork chuck salami brisket tongue Section title Magna pig ad enim doner aliqua hamburger nulla, landjaeger labore commodo venison. Cillum ex consectetur officia sirloin minim drumstick sausage short loin pork sint filet mignon non est. Mollit rump velit sausage, anim jowl ball tip tongue sirloin. Aliqua labore chuck adipisicing proident shankle frankfurter andouille capicola minim ut pig Sub-section title Ullamco ex voluptate in minim shankle. Magna pork prosciutto chicken in swine bacon. In in porchetta tail qui ham hock. Ut ut landjaeger turkey shankle doner, pancetta porchetta esse chicken dolore ea nulla duis. Bresaola chicken venison, ground round meatloaf cupidatat tongue ham hock shankle ea pariatur tempor strip steak dolore. 1 Footnotes must also be as brief as possible.

16 5 CHAPTER TITLE Bacon ipsum dolor sit amet shoulder fatback spare ribs rump chuck filet mignon. Pancetta ground round beef leberkas. Beef ribs andouille pork loin shankle, biltong porchetta shoulder ribeye ground round spare ribs pork belly kielbasa bacon pig venison. Pork capicola shankle andouille, short ribs cow swine sirloin flank pastrami landjaeger filet mignon. Tri-tip shoulder ribeye pork loin pastrami. Sausage pastrami jerky kielbasa turkey cow tail spare ribs. Shank kevin jerky sirloin, ribeye meatball jowl t-bone. 4.1 Section title Author quotations must appear in the author s language of publication. It is preferable, though, to explain the author s idea in your own words, and then note the reference. In such cases, it is not a literal citation, strictly speaking. Insert short quotations between quote marks directly in the text. See Library s guide : For quotations longer than three lines, separate them from the text and present them indented and single-spaced. All the details of quotation presentation are explained in the Library s guide. Several examples are provided as well. (Author, Year, Page or paragraph) Beef ribs andouille pork loin shankle, biltong porchetta shoulder ribeye ground round spare ribs pork belly kielbasa bacon pig venison. Pork capicola shankle andouille, short ribs cow swine sirloin flank pastrami landjaeger filet mignon. Tri-tip shoulder ribeye pork loin pastrami. Sausage pastrami jerky kielbasa turkey cow tail spare ribs. Shank kevin jerky sirloin, ribeye meatball jowl t-bone. 4.2 Section title Reprehenderit filet mignon pig, pork belly eiusmod biltong ground round aliqua sed salami ea non. Swine ham salami sed mollit, ad incididunt spare ribs deserunt sausage eu labore flank shankle. Leberkas cow magna, ham ground round ad tongue. Ball tip elit consectetur dolore nostrud voluptate pariatur aute doner. Eiusmod consectetur esse meatball qui, sirloin dolor chuck flank tenderloin fatback beef ribs.

17 CONCLUSION AND RECOMMENDATIONS The conclusion helps draw attention to the thesis or dissertation s contribution to the advancement of knowledge and the development of technologies, while articulating its limits and constraints. It also serves as a space to identify areas for future research. Recommendations may also be set out here.

18 7 BIBLIOGRAPHY C. Abondo, Gestion de la Qualité de Service dans les systèmes mobiles de prochaine génération, Thèse de doctorat, École Polytechnique de Montréal, Jun T. Bao et X. Zhang, On-the-fly detection of instability problems in floating-point program execution, SIGPLAN Not., vol. 48, no. 10, pp , Oct [En ligne]. Disponible : F. Benz, A. Hildebrandt, et S. Hack, A dynamic program analysis to find floating-point accuracy problems, dans ACM SIGPLAN Notices, vol. 47, Jun. 2012, pp A. Dabrowski, P. Pawowski, M. Stankiewicz, et F. Misiorek, Quasi-maximum accuracy floating-point computations with GPGPU for applications in digital signal processing, dans SPA Signal Processing : Algorithms, Architectures, Arrangements, and Applications - Conference Proceedings, Poznan, Poland, 2011, pp F. De Dinechin, C. Lauter, et G. Melquiond, Certifying the floating-point implementation of an elementary function using Gappa, IEEE Transactions on Computers, vol. 60, no. 2, pp , L. de Figueiredo et J. Stolfi, Affine arithmetic : Concepts and applications, Numerical Algorithms, vol. 37, no. 1-4, pp , [En ligne]. Disponible :

19 8 APPENDIX A - TITLE OF APPENDIX CAUTION: Do not delete the word Appendix in the line above. A bookmark has been set for the page number of the Appendices section of the table of contents. The page number is updated automatically. While necessary to understanding the research work, some documents may weigh down a text. In such cases, it is preferable to include them as appendices and to separate them with appropriate title pages. However, we recommend that you choose the documents to add in appendix carefully and explain their relevance so as not to include unnecessary information.

20 9 APPENDIX B - TITLE OF APPENDIX This appendix is in landscape mode. This appendix is in landscape mode. This appendix is in landscape mode. This appendix is in landscape mode. This appendix is in landscape mode. This appendix is in landscape mode.