Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(SPECIAL PROGRAMMING METHODS). Showing records 1 – 30 of 68 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


ETH Zürich

1. Matsakis, Nicholas. Intervals: Data-Race-Free Parallel Programming.

Degree: 2011, ETH Zürich

Subjects/Keywords: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPECIAL PROGRAMMING METHODS; SPEZIELLE PROGRAMMIERMETHODEN; CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Matsakis, N. (2011). Intervals: Data-Race-Free Parallel Programming. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/72730

Chicago Manual of Style (16th Edition):

Matsakis, Nicholas. “Intervals: Data-Race-Free Parallel Programming.” 2011. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/72730.

MLA Handbook (7th Edition):

Matsakis, Nicholas. “Intervals: Data-Race-Free Parallel Programming.” 2011. Web. 23 Jan 2021.

Vancouver:

Matsakis N. Intervals: Data-Race-Free Parallel Programming. [Internet] [Doctoral dissertation]. ETH Zürich; 2011. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/72730.

Council of Science Editors:

Matsakis N. Intervals: Data-Race-Free Parallel Programming. [Doctoral Dissertation]. ETH Zürich; 2011. Available from: http://hdl.handle.net/20.500.11850/72730


ETH Zürich

2. Moser, Michael. ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen.

Degree: 1992, ETH Zürich

Subjects/Keywords: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERMETHODEN; LEISTUNG (COMPUTERSYSTEME); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING METHODS; PERFORMANCE (COMPUTER SYSTEMS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Moser, M. (1992). ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/140722

Chicago Manual of Style (16th Edition):

Moser, Michael. “ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen.” 1992. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/140722.

MLA Handbook (7th Edition):

Moser, Michael. “ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen.” 1992. Web. 23 Jan 2021.

Vancouver:

Moser M. ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen. [Internet] [Doctoral dissertation]. ETH Zürich; 1992. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/140722.

Council of Science Editors:

Moser M. ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen. [Doctoral Dissertation]. ETH Zürich; 1992. Available from: http://hdl.handle.net/20.500.11850/140722


ETH Zürich

3. Tawil, Raphael. Eliminating Insecure Uses of C Library Functions.

Degree: 2012, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; C (PROGRAMMIERSPRACHEN); SPECIAL PROGRAMMING METHODS; C (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tawil, R. (2012). Eliminating Insecure Uses of C Library Functions. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/153409

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tawil, Raphael. “Eliminating Insecure Uses of C Library Functions.” 2012. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/153409.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tawil, Raphael. “Eliminating Insecure Uses of C Library Functions.” 2012. Web. 23 Jan 2021.

Vancouver:

Tawil R. Eliminating Insecure Uses of C Library Functions. [Internet] [Thesis]. ETH Zürich; 2012. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/153409.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tawil R. Eliminating Insecure Uses of C Library Functions. [Thesis]. ETH Zürich; 2012. Available from: http://hdl.handle.net/20.500.11850/153409

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

4. Leu, Florian. Implementation of frozen objects into Spec#.

Degree: 2009, ETH Zürich

Subjects/Keywords: OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Leu, F. (2009). Implementation of frozen objects into Spec#. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151411

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Leu, Florian. “Implementation of frozen objects into Spec#.” 2009. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/151411.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Leu, Florian. “Implementation of frozen objects into Spec#.” 2009. Web. 23 Jan 2021.

Vancouver:

Leu F. Implementation of frozen objects into Spec#. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/151411.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Leu F. Implementation of frozen objects into Spec#. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151411

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

5. Schwerhoff, Malte. Symbolic execution for chalice.

Degree: 2011, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERSPRACHEN; TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPECIAL PROGRAMMING LANGUAGES; TESTING + DEBUGGING (SOFTWARE ENGINEERING); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Schwerhoff, M. (2011). Symbolic execution for chalice. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/152629

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Schwerhoff, Malte. “Symbolic execution for chalice.” 2011. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/152629.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Schwerhoff, Malte. “Symbolic execution for chalice.” 2011. Web. 23 Jan 2021.

Vancouver:

Schwerhoff M. Symbolic execution for chalice. [Internet] [Thesis]. ETH Zürich; 2011. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/152629.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Schwerhoff M. Symbolic execution for chalice. [Thesis]. ETH Zürich; 2011. Available from: http://hdl.handle.net/20.500.11850/152629

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

6. Corrodi, Claudio. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.

Degree: 2015, ETH Zürich

Subjects/Keywords: VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; VERIFICATION (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Corrodi, C. (2015). Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155096

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Corrodi, Claudio. “Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.” 2015. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/155096.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Corrodi, Claudio. “Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.” 2015. Web. 23 Jan 2021.

Vancouver:

Corrodi C. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. [Internet] [Thesis]. ETH Zürich; 2015. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/155096.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Corrodi C. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. [Thesis]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/155096

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

7. Hagen, Claus. A generic kernel for reliable process support.

Degree: 1999, ETH Zürich

Subjects/Keywords: VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); SPEZIELLE PROGRAMMIERMETHODEN; DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING METHODS; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hagen, C. (1999). A generic kernel for reliable process support. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/144058

Chicago Manual of Style (16th Edition):

Hagen, Claus. “A generic kernel for reliable process support.” 1999. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/144058.

MLA Handbook (7th Edition):

Hagen, Claus. “A generic kernel for reliable process support.” 1999. Web. 23 Jan 2021.

Vancouver:

Hagen C. A generic kernel for reliable process support. [Internet] [Doctoral dissertation]. ETH Zürich; 1999. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/144058.

Council of Science Editors:

Hagen C. A generic kernel for reliable process support. [Doctoral Dissertation]. ETH Zürich; 1999. Available from: http://hdl.handle.net/20.500.11850/144058


ETH Zürich

8. Wüstholz, Valentin. Encoding scala programs for the Boogie verifier.

Degree: 2009, ETH Zürich

Subjects/Keywords: KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; CORRECTNESS (THEORY OF PROGRAMMING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wüstholz, V. (2009). Encoding scala programs for the Boogie verifier. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151558

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Wüstholz, Valentin. “Encoding scala programs for the Boogie verifier.” 2009. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/151558.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Wüstholz, Valentin. “Encoding scala programs for the Boogie verifier.” 2009. Web. 23 Jan 2021.

Vancouver:

Wüstholz V. Encoding scala programs for the Boogie verifier. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/151558.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wüstholz V. Encoding scala programs for the Boogie verifier. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151558

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

9. Dönni, Urs. Governed design: a new paradigm to shape finding.

Degree: 2009, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; OBJEKTMODELLIERUNG (COMPUTERGRAFIK); SPECIAL PROGRAMMING METHODS; OBJECT MODELLING (COMPUTER GRAPHICS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dönni, U. (2009). Governed design: a new paradigm to shape finding. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Dönni, Urs. “Governed design: a new paradigm to shape finding.” 2009. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/151144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Dönni, Urs. “Governed design: a new paradigm to shape finding.” 2009. Web. 23 Jan 2021.

Vancouver:

Dönni U. Governed design: a new paradigm to shape finding. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/151144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Dönni U. Governed design: a new paradigm to shape finding. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

10. Seiler, Martin Ulrich. A particle-based volumetric sculpting tool.

Degree: 2009, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; OBJEKTMODELLIERUNG (COMPUTERGRAFIK); SPECIAL PROGRAMMING METHODS; OBJECT MODELLING (COMPUTER GRAPHICS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Seiler, M. U. (2009). A particle-based volumetric sculpting tool. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151145

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Seiler, Martin Ulrich. “A particle-based volumetric sculpting tool.” 2009. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/151145.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Seiler, Martin Ulrich. “A particle-based volumetric sculpting tool.” 2009. Web. 23 Jan 2021.

Vancouver:

Seiler MU. A particle-based volumetric sculpting tool. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/151145.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Seiler MU. A particle-based volumetric sculpting tool. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151145

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

11. Werthmüller, Tanja. Efficient evaluation of PBel access control policies.

Degree: 2013, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; ZUGRIFFSKONTROLLE (BETRIEBSSYSTEME); SPECIAL PROGRAMMING METHODS; ACCESS CONTROL (OPERATING SYSTEMS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Werthmüller, T. (2013). Efficient evaluation of PBel access control policies. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/153956

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Werthmüller, Tanja. “Efficient evaluation of PBel access control policies.” 2013. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/153956.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Werthmüller, Tanja. “Efficient evaluation of PBel access control policies.” 2013. Web. 23 Jan 2021.

Vancouver:

Werthmüller T. Efficient evaluation of PBel access control policies. [Internet] [Thesis]. ETH Zürich; 2013. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/153956.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Werthmüller T. Efficient evaluation of PBel access control policies. [Thesis]. ETH Zürich; 2013. Available from: http://hdl.handle.net/20.500.11850/153956

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

12. Pumputis, Martynas. Message Passing for Programming Languages and Operating Systems.

Degree: 2015, ETH Zürich

Subjects/Keywords: KOMMUNIKATIONSVERWALTUNG (BETRIEBSSYSTEME); SPEZIELLE PROGRAMMIERMETHODEN; COMMUNICATIONS MANAGEMENT (OPERATING SYSTEMS); SPECIAL PROGRAMMING METHODS; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pumputis, M. (2015). Message Passing for Programming Languages and Operating Systems. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155350

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pumputis, Martynas. “Message Passing for Programming Languages and Operating Systems.” 2015. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/155350.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pumputis, Martynas. “Message Passing for Programming Languages and Operating Systems.” 2015. Web. 23 Jan 2021.

Vancouver:

Pumputis M. Message Passing for Programming Languages and Operating Systems. [Internet] [Thesis]. ETH Zürich; 2015. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/155350.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pumputis M. Message Passing for Programming Languages and Operating Systems. [Thesis]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/155350

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

13. Schwab, Lukas S. ObjectiveSharp: automatic conversion of apps from the iPhone to the Windows Phone.

Degree: 2011, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; SPEZIELLE PROGRAMMIERSPRACHEN; MOBILTELEFONE + HANDY (MOBILKOMMUNIKATION); SPECIAL PROGRAMMING METHODS; SPECIAL PROGRAMMING LANGUAGES; MOBILE TELEPHONES + CELLULAR TELEPHONES (MOBILE COMMUNICATIONS); info:eu-repo/classification/ddc/004; info:eu-repo/classification/ddc/621.3; Data processing, computer science; Electric engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Schwab, L. S. (2011). ObjectiveSharp: automatic conversion of apps from the iPhone to the Windows Phone. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/152836

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Schwab, Lukas S. “ObjectiveSharp: automatic conversion of apps from the iPhone to the Windows Phone.” 2011. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/152836.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Schwab, Lukas S. “ObjectiveSharp: automatic conversion of apps from the iPhone to the Windows Phone.” 2011. Web. 23 Jan 2021.

Vancouver:

Schwab LS. ObjectiveSharp: automatic conversion of apps from the iPhone to the Windows Phone. [Internet] [Thesis]. ETH Zürich; 2011. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/152836.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Schwab LS. ObjectiveSharp: automatic conversion of apps from the iPhone to the Windows Phone. [Thesis]. ETH Zürich; 2011. Available from: http://hdl.handle.net/20.500.11850/152836

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

14. Bühlmann, Andreas. Permission-Based Verifcation of Subclassing and Traits.

Degree: 2013, ETH Zürich

Subjects/Keywords: VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; VERIFICATION (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bühlmann, A. (2013). Permission-Based Verifcation of Subclassing and Traits. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/153862

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bühlmann, Andreas. “Permission-Based Verifcation of Subclassing and Traits.” 2013. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/153862.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bühlmann, Andreas. “Permission-Based Verifcation of Subclassing and Traits.” 2013. Web. 23 Jan 2021.

Vancouver:

Bühlmann A. Permission-Based Verifcation of Subclassing and Traits. [Internet] [Thesis]. ETH Zürich; 2013. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/153862.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bühlmann A. Permission-Based Verifcation of Subclassing and Traits. [Thesis]. ETH Zürich; 2013. Available from: http://hdl.handle.net/20.500.11850/153862

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

15. Botan, Irina. Storage management techniques for stream processing.

Degree: 2011, ETH Zürich

Subjects/Keywords: SPEICHERORGANISATION + SPEICHERVERWALTUNG (BETRIEBSSYSTEME); SPECIAL PROGRAMMING METHODS; SPEZIELLE PROGRAMMIERMETHODEN; STORAGE MANAGEMENT + MEMORY MANAGEMENT (OPERATING SYSTEMS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Botan, I. (2011). Storage management techniques for stream processing. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/40959

Chicago Manual of Style (16th Edition):

Botan, Irina. “Storage management techniques for stream processing.” 2011. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/40959.

MLA Handbook (7th Edition):

Botan, Irina. “Storage management techniques for stream processing.” 2011. Web. 23 Jan 2021.

Vancouver:

Botan I. Storage management techniques for stream processing. [Internet] [Doctoral dissertation]. ETH Zürich; 2011. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/40959.

Council of Science Editors:

Botan I. Storage management techniques for stream processing. [Doctoral Dissertation]. ETH Zürich; 2011. Available from: http://hdl.handle.net/20.500.11850/40959


ETH Zürich

16. Blunschi, Lukas. Indexing and search on complex data warehouses and rapidly-changing data.

Degree: 2012, ETH Zürich

Subjects/Keywords: DATA MINING (MATHEMATICAL STATISTICS); SPECIAL PROGRAMMING METHODS; SPEZIELLE PROGRAMMIERMETHODEN; DATA MINING (MATHEMATISCHE STATISTIK); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Blunschi, L. (2012). Indexing and search on complex data warehouses and rapidly-changing data. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/57415

Chicago Manual of Style (16th Edition):

Blunschi, Lukas. “Indexing and search on complex data warehouses and rapidly-changing data.” 2012. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/57415.

MLA Handbook (7th Edition):

Blunschi, Lukas. “Indexing and search on complex data warehouses and rapidly-changing data.” 2012. Web. 23 Jan 2021.

Vancouver:

Blunschi L. Indexing and search on complex data warehouses and rapidly-changing data. [Internet] [Doctoral dissertation]. ETH Zürich; 2012. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/57415.

Council of Science Editors:

Blunschi L. Indexing and search on complex data warehouses and rapidly-changing data. [Doctoral Dissertation]. ETH Zürich; 2012. Available from: http://hdl.handle.net/20.500.11850/57415


ETH Zürich

17. Payer, Mathias J. Safe loading and efficient runtime confinement: A foundation for secure execution.

Degree: 2012, ETH Zürich

Subjects/Keywords: RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME); SPECIAL PROGRAMMING METHODS; COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS); SPEZIELLE PROGRAMMIERMETHODEN; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Payer, M. J. (2012). Safe loading and efficient runtime confinement: A foundation for secure execution. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/72818

Chicago Manual of Style (16th Edition):

Payer, Mathias J. “Safe loading and efficient runtime confinement: A foundation for secure execution.” 2012. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/72818.

MLA Handbook (7th Edition):

Payer, Mathias J. “Safe loading and efficient runtime confinement: A foundation for secure execution.” 2012. Web. 23 Jan 2021.

Vancouver:

Payer MJ. Safe loading and efficient runtime confinement: A foundation for secure execution. [Internet] [Doctoral dissertation]. ETH Zürich; 2012. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/72818.

Council of Science Editors:

Payer MJ. Safe loading and efficient runtime confinement: A foundation for secure execution. [Doctoral Dissertation]. ETH Zürich; 2012. Available from: http://hdl.handle.net/20.500.11850/72818


ETH Zürich

18. Wei, Yi. Putting Contracts to Work for Better Automated Testing and Fixing.

Degree: 2012, ETH Zürich

Subjects/Keywords: TESTING + DEBUGGING (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING METHODS; TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING); SPEZIELLE PROGRAMMIERMETHODEN; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wei, Y. (2012). Putting Contracts to Work for Better Automated Testing and Fixing. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/72758

Chicago Manual of Style (16th Edition):

Wei, Yi. “Putting Contracts to Work for Better Automated Testing and Fixing.” 2012. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/72758.

MLA Handbook (7th Edition):

Wei, Yi. “Putting Contracts to Work for Better Automated Testing and Fixing.” 2012. Web. 23 Jan 2021.

Vancouver:

Wei Y. Putting Contracts to Work for Better Automated Testing and Fixing. [Internet] [Doctoral dissertation]. ETH Zürich; 2012. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/72758.

Council of Science Editors:

Wei Y. Putting Contracts to Work for Better Automated Testing and Fixing. [Doctoral Dissertation]. ETH Zürich; 2012. Available from: http://hdl.handle.net/20.500.11850/72758


ETH Zürich

19. Van Damme, Steven. MultiComp: A Multi-Purpose Framework for Similarity Matching.

Degree: 2015, ETH Zürich

Subjects/Keywords: MATCHINGTHEORIE (GRAPHENTHEORIE); SPEZIELLE PROGRAMMIERMETHODEN; BÄUME (GRAPHENTHEORIE); MATCHING THEORY (GRAPH THEORY); SPECIAL PROGRAMMING METHODS; TREES (GRAPH THEORY); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Van Damme, S. (2015). MultiComp: A Multi-Purpose Framework for Similarity Matching. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155347

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Van Damme, Steven. “MultiComp: A Multi-Purpose Framework for Similarity Matching.” 2015. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/155347.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Van Damme, Steven. “MultiComp: A Multi-Purpose Framework for Similarity Matching.” 2015. Web. 23 Jan 2021.

Vancouver:

Van Damme S. MultiComp: A Multi-Purpose Framework for Similarity Matching. [Internet] [Thesis]. ETH Zürich; 2015. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/155347.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Van Damme S. MultiComp: A Multi-Purpose Framework for Similarity Matching. [Thesis]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/155347

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

20. Steiner, Ralf. Multi-query optimization in a scan-based relational main-memory table.

Degree: 2010, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; ABFRAGEN (INFORMATIONSSYSTEME); RELATIONALE DATENBANKEN (INFORMATIONSSYSTEME); SPECIAL PROGRAMMING METHODS; QUERIES (INFORMATION SYSTEMS); RELATIONAL DATABASES (INFORMATION SYSTEMS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Steiner, R. (2010). Multi-query optimization in a scan-based relational main-memory table. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/152299

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Steiner, Ralf. “Multi-query optimization in a scan-based relational main-memory table.” 2010. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/152299.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Steiner, Ralf. “Multi-query optimization in a scan-based relational main-memory table.” 2010. Web. 23 Jan 2021.

Vancouver:

Steiner R. Multi-query optimization in a scan-based relational main-memory table. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/152299.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Steiner R. Multi-query optimization in a scan-based relational main-memory table. [Thesis]. ETH Zürich; 2010. Available from: http://hdl.handle.net/20.500.11850/152299

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

21. Öztireli, A. Cengiz. High frequency feature preserving implicit surfaces from point sets using robust statistics.

Degree: 2008, ETH Zürich

Subjects/Keywords: OBJEKTMODELLIERUNG (COMPUTERGRAFIK); DREIDIMENSIONALE COMPUTERGRAFIK; SPEZIELLE PROGRAMMIERMETHODEN; OBJECT MODELLING (COMPUTER GRAPHICS); THREE-DIMENSIONAL COMPUTER GRAPHICS; SPECIAL PROGRAMMING METHODS; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Öztireli, A. C. (2008). High frequency feature preserving implicit surfaces from point sets using robust statistics. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/150650

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Öztireli, A Cengiz. “High frequency feature preserving implicit surfaces from point sets using robust statistics.” 2008. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/150650.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Öztireli, A Cengiz. “High frequency feature preserving implicit surfaces from point sets using robust statistics.” 2008. Web. 23 Jan 2021.

Vancouver:

Öztireli AC. High frequency feature preserving implicit surfaces from point sets using robust statistics. [Internet] [Thesis]. ETH Zürich; 2008. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/150650.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Öztireli AC. High frequency feature preserving implicit surfaces from point sets using robust statistics. [Thesis]. ETH Zürich; 2008. Available from: http://hdl.handle.net/20.500.11850/150650

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

22. Fuentes Montesinos, César Antonio. Efficient active object detection with deformable parts model.

Degree: 2013, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; COMPUTERVISION (KÜNSTLICHE INTELLIGENZ); SPECIAL PROGRAMMING METHODS; COMPUTER VISION + SCENE UNDERSTANDING (ARTIFICIAL INTELLIGENCE); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fuentes Montesinos, C. A. (2013). Efficient active object detection with deformable parts model. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/154011

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fuentes Montesinos, César Antonio. “Efficient active object detection with deformable parts model.” 2013. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/154011.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fuentes Montesinos, César Antonio. “Efficient active object detection with deformable parts model.” 2013. Web. 23 Jan 2021.

Vancouver:

Fuentes Montesinos CA. Efficient active object detection with deformable parts model. [Internet] [Thesis]. ETH Zürich; 2013. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/154011.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fuentes Montesinos CA. Efficient active object detection with deformable parts model. [Thesis]. ETH Zürich; 2013. Available from: http://hdl.handle.net/20.500.11850/154011

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

23. Smula, Jasmin. Information Content of Online Problems: Advice versus Determinism and Randomization.

Degree: 2015, ETH Zürich

Subjects/Keywords: SPECIAL PROGRAMMING METHODS; SPEZIELLE PROGRAMMIERMETHODEN; PROBLEMLÖSEN + PLANEN + SUCHEN (KÜNSTLICHE INTELLIGENZ); PROBLEM SOLVING + PLAN GENERATION + SEARCH (ARTIFICIAL INTELLIGENCE); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Smula, J. (2015). Information Content of Online Problems: Advice versus Determinism and Randomization. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/103523

Chicago Manual of Style (16th Edition):

Smula, Jasmin. “Information Content of Online Problems: Advice versus Determinism and Randomization.” 2015. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/103523.

MLA Handbook (7th Edition):

Smula, Jasmin. “Information Content of Online Problems: Advice versus Determinism and Randomization.” 2015. Web. 23 Jan 2021.

Vancouver:

Smula J. Information Content of Online Problems: Advice versus Determinism and Randomization. [Internet] [Doctoral dissertation]. ETH Zürich; 2015. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/103523.

Council of Science Editors:

Smula J. Information Content of Online Problems: Advice versus Determinism and Randomization. [Doctoral Dissertation]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/103523


ETH Zürich

24. Buchs, Tristan. Checkpointing-based testing.

Degree: 2015, ETH Zürich

Subjects/Keywords: TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING); SPEZIELLE PROGRAMMIERMETHODEN; TESTING + DEBUGGING (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING METHODS; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Buchs, T. (2015). Checkpointing-based testing. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155097

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Buchs, Tristan. “Checkpointing-based testing.” 2015. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/155097.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Buchs, Tristan. “Checkpointing-based testing.” 2015. Web. 23 Jan 2021.

Vancouver:

Buchs T. Checkpointing-based testing. [Internet] [Thesis]. ETH Zürich; 2015. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/155097.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Buchs T. Checkpointing-based testing. [Thesis]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/155097

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

25. Kim, Changil. 3D Reconstruction and Rendering from High Resolution Light Fields.

Degree: 2015, ETH Zürich

Subjects/Keywords: OBERFLÄCHENGENERIERUNG (COMPUTERGRAFIK); TEXTURE RENDERING (COMPUTER GRAPHICS); OBJEKTMODELLIERUNG (COMPUTERGRAFIK); SPECIAL PROGRAMMING METHODS; OBJECT MODELLING (COMPUTER GRAPHICS); SPEZIELLE PROGRAMMIERMETHODEN; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kim, C. (2015). 3D Reconstruction and Rendering from High Resolution Light Fields. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/106586

Chicago Manual of Style (16th Edition):

Kim, Changil. “3D Reconstruction and Rendering from High Resolution Light Fields.” 2015. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/106586.

MLA Handbook (7th Edition):

Kim, Changil. “3D Reconstruction and Rendering from High Resolution Light Fields.” 2015. Web. 23 Jan 2021.

Vancouver:

Kim C. 3D Reconstruction and Rendering from High Resolution Light Fields. [Internet] [Doctoral dissertation]. ETH Zürich; 2015. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/106586.

Council of Science Editors:

Kim C. 3D Reconstruction and Rendering from High Resolution Light Fields. [Doctoral Dissertation]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/106586

26. Fritsche, Simon. A Framework for Bidirectional Program Transformations.

Degree: 2017, ETH Zürich

Subjects/Keywords: PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); SPEZIELLE PROGRAMMIERMETHODEN; PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING METHODS; info:eu-repo/classification/ddc/004; Data processing, computer science

…the Chair of Programming Methodology at ETH Zurich. They want to have such a framework for… …Programming Methodology group at ETH Zurich. The Viper infrastructure includes: • Viper intermediate… …Dynamic Frames [12]. • Frontends that translate higher level programming languages… …programming language, one can simply implement a translation from the verification techniques of… …said programming language into Viper code. The complete Viper infrastructure is implemented… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fritsche, S. (2017). A Framework for Bidirectional Program Transformations. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/156345

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fritsche, Simon. “A Framework for Bidirectional Program Transformations.” 2017. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/156345.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fritsche, Simon. “A Framework for Bidirectional Program Transformations.” 2017. Web. 23 Jan 2021.

Vancouver:

Fritsche S. A Framework for Bidirectional Program Transformations. [Internet] [Thesis]. ETH Zürich; 2017. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/156345.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fritsche S. A Framework for Bidirectional Program Transformations. [Thesis]. ETH Zürich; 2017. Available from: http://hdl.handle.net/20.500.11850/156345

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

27. Bernauer, Alexander. Compiler-assisted thread abstractions for resource-constrained systems.

Degree: 2013, ETH Zürich

Subjects/Keywords: DRAHTLOSE SENSORNETZWERKE (NACHRICHTENTECHNIK); COMPILER (PROGRAMMIERSPRACHEN); STEUERSTRUKTUREN + MIKROPROGRAMMIERUNG (HARDWARE); COMPILERS (PROGRAMMING LANGUAGES); SPECIAL PROGRAMMING METHODS; CONTROL STRUCTURES + MICROPROGRAMMING (HARDWARE); SPEZIELLE PROGRAMMIERMETHODEN; WIRELESS SENSOR NETWORKS, WSN (TELECOMMUNICATIONS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bernauer, A. (2013). Compiler-assisted thread abstractions for resource-constrained systems. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/72437

Chicago Manual of Style (16th Edition):

Bernauer, Alexander. “Compiler-assisted thread abstractions for resource-constrained systems.” 2013. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/72437.

MLA Handbook (7th Edition):

Bernauer, Alexander. “Compiler-assisted thread abstractions for resource-constrained systems.” 2013. Web. 23 Jan 2021.

Vancouver:

Bernauer A. Compiler-assisted thread abstractions for resource-constrained systems. [Internet] [Doctoral dissertation]. ETH Zürich; 2013. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/72437.

Council of Science Editors:

Bernauer A. Compiler-assisted thread abstractions for resource-constrained systems. [Doctoral Dissertation]. ETH Zürich; 2013. Available from: http://hdl.handle.net/20.500.11850/72437


ETH Zürich

28. Jayaram Masti, Ramya. On the security of virtual machine migration and related topics.

Degree: 2010, ETH Zürich

Subjects/Keywords: COMPILER (PROGRAMMIERSPRACHEN); SPEZIELLE PROGRAMMIERMETHODEN; DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME); COMPILERS (PROGRAMMING LANGUAGES); SPECIAL PROGRAMMING METHODS; DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS); info:eu-repo/classification/ddc/004; info:eu-repo/classification/ddc/004; Data processing, computer science; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jayaram Masti, R. (2010). On the security of virtual machine migration and related topics. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/152295

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Jayaram Masti, Ramya. “On the security of virtual machine migration and related topics.” 2010. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/152295.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Jayaram Masti, Ramya. “On the security of virtual machine migration and related topics.” 2010. Web. 23 Jan 2021.

Vancouver:

Jayaram Masti R. On the security of virtual machine migration and related topics. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/152295.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Jayaram Masti R. On the security of virtual machine migration and related topics. [Thesis]. ETH Zürich; 2010. Available from: http://hdl.handle.net/20.500.11850/152295

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

29. Ehrensberger, Sybil. DataMockups: design tool for content-powered mockups.

Degree: 2015, ETH Zürich

Subjects/Keywords: PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); SPEZIELLE PROGRAMMIERMETHODEN; WEB PUBLISHING (ELECTRONIC PUBLISHING); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING METHODS; WEB PUBLISHING (ELECTRONIC PUBLISHING); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ehrensberger, S. (2015). DataMockups: design tool for content-powered mockups. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155278

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ehrensberger, Sybil. “DataMockups: design tool for content-powered mockups.” 2015. Thesis, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/155278.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ehrensberger, Sybil. “DataMockups: design tool for content-powered mockups.” 2015. Web. 23 Jan 2021.

Vancouver:

Ehrensberger S. DataMockups: design tool for content-powered mockups. [Internet] [Thesis]. ETH Zürich; 2015. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/155278.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ehrensberger S. DataMockups: design tool for content-powered mockups. [Thesis]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/155278

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

30. Kohn, Tobias. Teaching Python Programming to Novices: Addressing Misconceptions and Creating a Development Environment.

Degree: 2017, ETH Zürich

Subjects/Keywords: PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); INFORMATIKAUSBILDUNG; SPECIAL PROGRAMMING METHODS; PYTHON (PROGRAMMING LANGUAGES); COMPUTER SCIENCE EDUCATION AND TRAINING; SPEZIELLE PROGRAMMIERMETHODEN; PYTHON (PROGRAMMIERSPRACHEN); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); info:eu-repo/classification/ddc/004; info:eu-repo/classification/ddc/004; Data processing, computer science; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kohn, T. (2017). Teaching Python Programming to Novices: Addressing Misconceptions and Creating a Development Environment. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/129666

Chicago Manual of Style (16th Edition):

Kohn, Tobias. “Teaching Python Programming to Novices: Addressing Misconceptions and Creating a Development Environment.” 2017. Doctoral Dissertation, ETH Zürich. Accessed January 23, 2021. http://hdl.handle.net/20.500.11850/129666.

MLA Handbook (7th Edition):

Kohn, Tobias. “Teaching Python Programming to Novices: Addressing Misconceptions and Creating a Development Environment.” 2017. Web. 23 Jan 2021.

Vancouver:

Kohn T. Teaching Python Programming to Novices: Addressing Misconceptions and Creating a Development Environment. [Internet] [Doctoral dissertation]. ETH Zürich; 2017. [cited 2021 Jan 23]. Available from: http://hdl.handle.net/20.500.11850/129666.

Council of Science Editors:

Kohn T. Teaching Python Programming to Novices: Addressing Misconceptions and Creating a Development Environment. [Doctoral Dissertation]. ETH Zürich; 2017. Available from: http://hdl.handle.net/20.500.11850/129666

[1] [2] [3]

.