• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 13
  • 7
  • 5
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 37
  • 26
  • 8
  • 8
  • 7
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Wachstum und Entwicklung von Weissklee (Trifolium repens L.) in verschieden bewirtschafteten Naturwiesen /

Winkler, Laurenz Georg. January 1984 (has links)
Diss. Nr. 7537 Naturwiss. ETH Zürich. / Polykop. Bibliogr.: S. 108-111.
2

Studien zur Zeitgestalt in der Malerei des 20. Jahrhunderts : Robert Delaunay, Paul Klee /

Overmeyer, Gudula. January 1982 (has links)
Diss.--Kunstgeschichte--Saarbrücken, 1981. / Bibliogr. p. 254-269.
3

Die Linientheorien von Paul Klee

Bonnefoit, Régine January 2006 (has links)
Zugl.: Passau, Univ., Habil.-Schr., 2006
4

Paul Klee die Vermittlung von Kunsttheorie und Kunstpraxis in der Didaktik /

Schweizer, Hans-Martin, January 1976 (has links)
Thesis--Tübingen, 1975. / Vita. Includes bibliographical references (p. 451-458).
5

Paul Klee als Sammler?

Baumann, Annette. January 2004 (has links) (PDF)
Diss. phil.-hist. Bern. / Titel von CD-ROM.
6

Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library

Mainor, Fredrick Dean 07 October 2014 (has links)
Software engineers spend much of their time checking the correctness of software. Software testing is the most widely used technique for accomplishing this task. Most of the test cases used for checking software are manually created, and may not always cover all execution paths of the software. If key test cases are not executed, then the possibility of errors within the software still exists. By using tools that can automate the testing of software, software engineers can run exhaustive tests on their applications to provide verification and validation. Symbolic execution is a program analysis technique that can be utilized to achieve this. KLEE is an open-source dynamic test generation tool based on symbolic execution. In this report I present my results from evaluating KLEE on the Texas Instruments® Stellaris® Peripheral Driver Library. The Stellaris® Peripheral Driver Library consists of software drivers for controlling the peripherals on the Stellaris suite of ARM® Cortex-M based microcontrollers. In total 554 functions within the library were tested, and a total of 14763 test cases were generated. There were 32 bugs found in the software, which include assertion violations, memory errors, and arithmetic errors (division by zero, and shift errors). / text
7

Tradition, Innovation, Wholeness, and the Future in the Art of Paul Klee

Bush, Andrea L. January 1993 (has links)
Permission from the author to digitize this work is pending. Please contact the ICS library if you would like to view this work.
8

Hacer de una imagen pensamiento : líneas, fuerzas, color : un encuentro entre Paul Klee y Gilles Deleuze

Martínez V., Sergio January 2018 (has links)
Doctorado en filosofía con mención en estética y teoría del arte / En la primera parte de nuestra investigación intentamos atender un esbozo pedagógico kleeneano de un curso de la Bauhaus, este era el llamado por Klee: Los tres casos (die Drei Fälle). Si recordamos que el movimiento que cohesionaba el dominio de una superficie y el dominio de una línea era el expresado por un punto-movimiento y una línea-movimiento, también lo que él describía nos llevaba a atender que en aquella cohesión se distinguían aquellos dominios en tanto en el dominio de una línea activa se expresaba una superficie pasiva y en el dominio de una superficie activa una línea pasiva al mismo tiempo que el movimiento era descrito por aquel punto-movimiento y aquella línea-movimiento. Dicho de otro modo, en el dominio de la línea activa se presentaba el movimiento como un puntomovimiento y en el de la superficie activa como una línea-movimiento, y, en este sentido, como decía Boehm, teníamos que concebir que la energía original del punto permanecía virulenta (virulent) en tanto en cuanto los cohesionaba transformándose en el recorrido que expresaba aquel boceto. Para Klee, en cuanto considerábamos que aquel boceto era una presentación de la cohesión entre aquellos dominios, también se expresaban dos acontecimientos en Los tres casos: los de cortar y caer, que exponían, en la medida en que aquel boceto expresaba un movimiento, el ser de sensación que presentaba el dominio de lo abstracto. Por un lado, también hemos buscado considerar para el paso hacia aquel dominio la estructura que concibe Klee bajo una concepción constructiva y compositiva que diferencia un movimiento que en tanto implica una intuición (Intuition) desborda lo constructivo de la estructura. / Abril 2023
9

Zwischen Wort und Bild : das schriftliche Werk Paul Klees und die Rolle der Sprache in seinem Denken und in seiner Kunst /

Vogel, Marianne, January 1992 (has links)
Diss.--Universität Leiden, 1992. / Bibliogr. p. 179- p. 198. liste des oeuvres de Paul Klee contenant des caractères d'écriture p. 161- p. 175.
10

An empirical study of the influence of compiler optimizations on symbolic execution

Dong, Shiyu 18 September 2014 (has links)
Compiler optimizations in the context of traditional program execution is a well-studied research area, and modern compilers typically offer a suite of optimization options. This thesis reports the first study (to our knowledge) on how standard compiler optimizations influence symbolic execution. We study 33 optimization flags of the LLVM compiler infrastructure, which are used by the KLEE symbolic execution engine. Specifically, we study (1) how different optimizations influence the performance of KLEE for Unix Coreutils, (2) how the influence varies across two different program classes, and (3) how the influence varies across three different back-end constraint solvers. Some of our findings surprised us. For example, KLEE's setting for applying the 33 optimizations in a pre-defined order provides sub-optimal performance for a majority of the Coreutils when using the basic depth-first search; moreover, in our experimental setup, applying no optimization performs better for many of the Coreutils. / text

Page generated in 0.0239 seconds