• No results found

Statistical compiler tuning

N/A
N/A
Protected

Academic year: 2021

Share "Statistical compiler tuning"

Copied!
2
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Statistical compiler tuning

Haneda, M.

Citation

Haneda, M. (2006, September 26). Statistical compiler tuning. ASCI dissertation series. Retrieved from https://hdl.handle.net/1887/4572 Version: Corrected Publisher’s Version

License: Licence agreement concerning inclusion of doctoralthesis in the Institutional Repository of the University of Leiden

Downloaded from: https://hdl.handle.net/1887/4572

(2)

Propositions (Stellingen) by Masayo Haneda, author of

Statistical Compiler Tuning

1. Non-parametric inferential statistics is suitable for analyzing the effect of com-piler optimizations.

2. Default compiler settings use a number of compiler optimizations of which many are not essential.

3. Measuring the effect of each experimental factor is difficult. Comparing the measured effects is even more difficult. Explaining the reason for the differ-ences is most difficult.

4. Random search is a very strong search algorithm to determine a suitable com-piler setting for applications. Random search reaches sufficiently good results quickly compared with other search algorithms.

5. Current programming environments allow users too much freedom so that they can produce hundreds of variations of a code which are all semantically equiv-alent. This causes code optimization at compile time to be extremely hard. In fact, we are in the classical era of programming and we still need an abstract programming paradigm, which allows uniform representation whilst still being pragmatic.

6. We might say that a machine can think if it can automatically determine the correct use of articles “a” and “the”.

7. Although architectures are constantly extended with new features to enhance the performance of software, software each time has to be adapted to maxi-mally exploit these new features.

8. In some cases, it is nonsense to discuss the demand for a certain new tech-nology since the techtech-nology itself can create demand. For example, the TV facility on the mobile telephone has been deemed unnecessary. However, after its introduction in Japan people started using it and this facility is now in high demand.

9. Ten times one rose is more than a bouquet of 10 roses.

Referenties

GERELATEERDE DOCUMENTEN

The structure of the paper is as follows. We begin in section 2 with literature review. In section 3 we give an overview of the legal issues the search engine market raises

Het Zorginstituut concludeert – onder verwijzing naar de motivering in hoofdstuk 3 - dat occlusie van het linker hartoor (PLAAO) niet beschouwd kan worden als bewezen

Hieruit zijn de volgende conclusies getrokken voor het fase 1 modelsysteem: i jaarlijkse water- stikstof en fosforbalansen zijn voor een reeks van jaren sluitend op te stellen, ii

Tegenwoordig maakt kleine pim- pernel vaak onderdeel uit van zaadmengsels van wilde bloemen waarmee bloemrijke graslanden worden ingezaaid.. Het is een erg vormenrijke soort

Op kleine schaal zijn veel soorten uit de bijzondere Winterswijkse natuur in Heemtuin Freriks te vinden.. Omstreeks 1980 werd de tuin ingericht, daarna waren er

The aim of the Journal of Information Technology (JIT) is to provide academically robust papers, research, critical reviews and opinions on the organizational, social and

Instruments, however, cannot be chosen arbitrarily. In the appendix, box 1 presents the instruments used in this endogeneity test are shown. There are two

Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication:.. • A submitted manuscript is