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

Country:

You searched for subject:( en GPU PROGRAMMING). Showing records 1 – 30 of 539 total matches.

[1] [2] [3] [4] [5] … [18]

Search Limiters

Last 2 Years | English Only

Universities

Languages

▼ Search Limiters

1. Hayduk, Yaroslav. Exploiting concurrency and heterogeneity for energy-efficient computing: an actor-based approach.

Degree: 2017, Université de Neuchâtel

 En vue d’améliorer l’efficacité énergétique, les fournisseurs de cloud computing ont commencé à examiner des méthodes radicales pour réduire le niveau de consommation énergétique. Le… (more)

Subjects/Keywords: GPU

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hayduk, Y. (2017). Exploiting concurrency and heterogeneity for energy-efficient computing: an actor-based approach. (Thesis). Université de Neuchâtel. Retrieved from http://doc.rero.ch/record/288819

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):

Hayduk, Yaroslav. “Exploiting concurrency and heterogeneity for energy-efficient computing: an actor-based approach.” 2017. Thesis, Université de Neuchâtel. Accessed October 14, 2019. http://doc.rero.ch/record/288819.

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

MLA Handbook (7th Edition):

Hayduk, Yaroslav. “Exploiting concurrency and heterogeneity for energy-efficient computing: an actor-based approach.” 2017. Web. 14 Oct 2019.

Vancouver:

Hayduk Y. Exploiting concurrency and heterogeneity for energy-efficient computing: an actor-based approach. [Internet] [Thesis]. Université de Neuchâtel; 2017. [cited 2019 Oct 14]. Available from: http://doc.rero.ch/record/288819.

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

Council of Science Editors:

Hayduk Y. Exploiting concurrency and heterogeneity for energy-efficient computing: an actor-based approach. [Thesis]. Université de Neuchâtel; 2017. Available from: http://doc.rero.ch/record/288819

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


Università della Svizzera italiana

2. Triglianos, Vasileios. ASQ: active learning with interactive web presentations and classroom analytics.

Degree: 2018, Università della Svizzera italiana

 Today it is commonly accepted that the effectiveness of instructional technology, measured as improvement over the learning outcomes of students, is highly correlated with the… (more)

Subjects/Keywords: Live Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Triglianos, V. (2018). ASQ: active learning with interactive web presentations and classroom analytics. (Thesis). Università della Svizzera italiana. Retrieved from http://doc.rero.ch/record/323122

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):

Triglianos, Vasileios. “ASQ: active learning with interactive web presentations and classroom analytics.” 2018. Thesis, Università della Svizzera italiana. Accessed October 14, 2019. http://doc.rero.ch/record/323122.

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

MLA Handbook (7th Edition):

Triglianos, Vasileios. “ASQ: active learning with interactive web presentations and classroom analytics.” 2018. Web. 14 Oct 2019.

Vancouver:

Triglianos V. ASQ: active learning with interactive web presentations and classroom analytics. [Internet] [Thesis]. Università della Svizzera italiana; 2018. [cited 2019 Oct 14]. Available from: http://doc.rero.ch/record/323122.

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

Council of Science Editors:

Triglianos V. ASQ: active learning with interactive web presentations and classroom analytics. [Thesis]. Università della Svizzera italiana; 2018. Available from: http://doc.rero.ch/record/323122

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


EPFL

3. Deshpande, Saurabh Anand. On the Role of Constraints in Optimization under Uncertainty.

Degree: 2012, EPFL

 This thesis addresses the problem of industrial real-time process optimization that suffers from the presence of uncertainty. Since a process model is typically used to… (more)

Subjects/Keywords: Static Real-Time Optimization; Dynamic Real-Time Optimization; Parametric Uncertainty; Nonlinear Programming; Optimal Control; Optimisation Statique en Temps Réel; Optimisation Dynamique en Temps Réel; Incertitude Paramétrique; Programmation Non Linéaire; Contrôle Optimal

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Deshpande, S. A. (2012). On the Role of Constraints in Optimization under Uncertainty. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/167920

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):

Deshpande, Saurabh Anand. “On the Role of Constraints in Optimization under Uncertainty.” 2012. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/167920.

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

MLA Handbook (7th Edition):

Deshpande, Saurabh Anand. “On the Role of Constraints in Optimization under Uncertainty.” 2012. Web. 14 Oct 2019.

Vancouver:

Deshpande SA. On the Role of Constraints in Optimization under Uncertainty. [Internet] [Thesis]. EPFL; 2012. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/167920.

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

Council of Science Editors:

Deshpande SA. On the Role of Constraints in Optimization under Uncertainty. [Thesis]. EPFL; 2012. Available from: http://infoscience.epfl.ch/record/167920

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


EPFL

4. Miller, Heather. Language Support for Distributed Functional Programming.

Degree: 2015, EPFL

 Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching… (more)

Subjects/Keywords: Distributed programming; functional programming; concurrency; parallelism; parallel programming; asynchronous programming; Scala; serialization; functions; closures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Miller, H. (2015). Language Support for Distributed Functional Programming. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/212934

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):

Miller, Heather. “Language Support for Distributed Functional Programming.” 2015. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/212934.

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

MLA Handbook (7th Edition):

Miller, Heather. “Language Support for Distributed Functional Programming.” 2015. Web. 14 Oct 2019.

Vancouver:

Miller H. Language Support for Distributed Functional Programming. [Internet] [Thesis]. EPFL; 2015. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/212934.

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

Council of Science Editors:

Miller H. Language Support for Distributed Functional Programming. [Thesis]. EPFL; 2015. Available from: http://infoscience.epfl.ch/record/212934

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

5. Bonetta, Daniele. The parallel event loop model and runtime: a parallel programming model and runtime system for safe event-based parallel programming.

Degree: 2014, Università della Svizzera italiana

 Recent trends in programming models for server-side development have shown an increasing popularity of event-based single- threaded programming models based on the combination of dynamic… (more)

Subjects/Keywords: Event-based programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bonetta, D. (2014). The parallel event loop model and runtime: a parallel programming model and runtime system for safe event-based parallel programming. (Thesis). Università della Svizzera italiana. Retrieved from http://doc.rero.ch/record/256283

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):

Bonetta, Daniele. “The parallel event loop model and runtime: a parallel programming model and runtime system for safe event-based parallel programming.” 2014. Thesis, Università della Svizzera italiana. Accessed October 14, 2019. http://doc.rero.ch/record/256283.

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

MLA Handbook (7th Edition):

Bonetta, Daniele. “The parallel event loop model and runtime: a parallel programming model and runtime system for safe event-based parallel programming.” 2014. Web. 14 Oct 2019.

Vancouver:

Bonetta D. The parallel event loop model and runtime: a parallel programming model and runtime system for safe event-based parallel programming. [Internet] [Thesis]. Università della Svizzera italiana; 2014. [cited 2019 Oct 14]. Available from: http://doc.rero.ch/record/256283.

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

Council of Science Editors:

Bonetta D. The parallel event loop model and runtime: a parallel programming model and runtime system for safe event-based parallel programming. [Thesis]. Università della Svizzera italiana; 2014. Available from: http://doc.rero.ch/record/256283

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


EPFL

6. Wang, Xinchao. Tracking Interacting Objects in Image Sequences.

Degree: 2015, EPFL

 Object tracking in image sequences is a key challenge in computer vision. Its goal is to follow objects that move or evolve over time while… (more)

Subjects/Keywords: tracking; detection; interaction; multi-object tracking; network flow programming; mixed integer programming; linear programming; dynamic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, X. (2015). Tracking Interacting Objects in Image Sequences. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/209133

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):

Wang, Xinchao. “Tracking Interacting Objects in Image Sequences.” 2015. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/209133.

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

MLA Handbook (7th Edition):

Wang, Xinchao. “Tracking Interacting Objects in Image Sequences.” 2015. Web. 14 Oct 2019.

Vancouver:

Wang X. Tracking Interacting Objects in Image Sequences. [Internet] [Thesis]. EPFL; 2015. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/209133.

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

Council of Science Editors:

Wang X. Tracking Interacting Objects in Image Sequences. [Thesis]. EPFL; 2015. Available from: http://infoscience.epfl.ch/record/209133

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


ETH Zürich

7. Bieri, Michael. Computer Aided Optimization of Superparticles for Lithium-Ion Batteries.

Degree: 2018, ETH Zürich

 Nanostructuring is a widely proven approach to create better electrodes for lithium ion batteries (LIBs). A particularly promising nanostructuring approach is provided by so-called superparticles… (more)

Subjects/Keywords: Lithium-ion batteries; Computer aided simulation; Computer simulation; Optimization methods; Computational geometry; Finite element method; Mesh generation; Superparticles; Nanoparticles; Nanostructured materials; GPU computing; GPU; Batteries

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bieri, M. (2018). Computer Aided Optimization of Superparticles for Lithium-Ion Batteries. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/292741

Chicago Manual of Style (16th Edition):

Bieri, Michael. “Computer Aided Optimization of Superparticles for Lithium-Ion Batteries.” 2018. Doctoral Dissertation, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/292741.

MLA Handbook (7th Edition):

Bieri, Michael. “Computer Aided Optimization of Superparticles for Lithium-Ion Batteries.” 2018. Web. 14 Oct 2019.

Vancouver:

Bieri M. Computer Aided Optimization of Superparticles for Lithium-Ion Batteries. [Internet] [Doctoral dissertation]. ETH Zürich; 2018. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/292741.

Council of Science Editors:

Bieri M. Computer Aided Optimization of Superparticles for Lithium-Ion Batteries. [Doctoral Dissertation]. ETH Zürich; 2018. Available from: http://hdl.handle.net/20.500.11850/292741


EPFL

8. Weber, Céline Isabelle. Multi-objective design and optimization of district energy systems including polygeneration energy conversion technologies.

Degree: 2008, EPFL

 In the present context of finding ways to decrease CO2 emissions linked with human activity, district energy systems including polygeneration energy conversion technologies are likely… (more)

Subjects/Keywords: District energy systems; Mixed Integer Non Linear Programming; Branch-and-bound; Evolutionary algorithm; Thermo-economic modelling; CO2 mitigation; CO2 based energy system; Systèmes énergétiques urbains; problème de programmation non linéaire en nombres entiers; branch-and-bound; algorithme évolutif; modélisation thermo-économique; émissions de CO2; système énergétique basé sur le CO2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Weber, C. I. (2008). Multi-objective design and optimization of district energy systems including polygeneration energy conversion technologies. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/114786

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):

Weber, Céline Isabelle. “Multi-objective design and optimization of district energy systems including polygeneration energy conversion technologies.” 2008. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/114786.

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

MLA Handbook (7th Edition):

Weber, Céline Isabelle. “Multi-objective design and optimization of district energy systems including polygeneration energy conversion technologies.” 2008. Web. 14 Oct 2019.

Vancouver:

Weber CI. Multi-objective design and optimization of district energy systems including polygeneration energy conversion technologies. [Internet] [Thesis]. EPFL; 2008. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/114786.

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

Council of Science Editors:

Weber CI. Multi-objective design and optimization of district energy systems including polygeneration energy conversion technologies. [Thesis]. EPFL; 2008. Available from: http://infoscience.epfl.ch/record/114786

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


EPFL

9. Blanc, Régis William. Verification by Reduction to Functional Programs.

Degree: 2017, EPFL

 In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express… (more)

Subjects/Keywords: software verification; decision procedures; functional programming; imperative programming; constraint solving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Blanc, R. W. (2017). Verification by Reduction to Functional Programs. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/230242

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):

Blanc, Régis William. “Verification by Reduction to Functional Programs.” 2017. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/230242.

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

MLA Handbook (7th Edition):

Blanc, Régis William. “Verification by Reduction to Functional Programs.” 2017. Web. 14 Oct 2019.

Vancouver:

Blanc RW. Verification by Reduction to Functional Programs. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/230242.

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

Council of Science Editors:

Blanc RW. Verification by Reduction to Functional Programs. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/230242

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


EPFL

10. Dimitrijevic, Miodrag. Spatio-temporal human pose detection.

Degree: 2007, EPFL

 This thesis proposes a Chamfer-based method for human body pose detection that combines silhouette matching, motion information, and statistical relevance estimates in an original way.… (more)

Subjects/Keywords: Body pose detection; Spatio-temporal templates; Template matching; Chamfer matching; Viterbi algorithm; Dynamic programming; détection de pose; templates spatio-temporels; mise en correspondance de templates; distance de Chamfer; algorithme de Viterbi; programmation dynamique

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dimitrijevic, M. (2007). Spatio-temporal human pose detection. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/109926

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):

Dimitrijevic, Miodrag. “Spatio-temporal human pose detection.” 2007. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/109926.

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

MLA Handbook (7th Edition):

Dimitrijevic, Miodrag. “Spatio-temporal human pose detection.” 2007. Web. 14 Oct 2019.

Vancouver:

Dimitrijevic M. Spatio-temporal human pose detection. [Internet] [Thesis]. EPFL; 2007. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/109926.

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

Council of Science Editors:

Dimitrijevic M. Spatio-temporal human pose detection. [Thesis]. EPFL; 2007. Available from: http://infoscience.epfl.ch/record/109926

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


EPFL

11. Rompf, Tiark. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming.

Degree: 2012, EPFL

 Programs expressed in a high-level programming language need to be translated to a low-level machine dialect for execution. This translation is usually accomplished by a… (more)

Subjects/Keywords: Programming Languages; Compilers; Staging; Performance; Parallelism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rompf, T. (2012). Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/180642

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):

Rompf, Tiark. “Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming.” 2012. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/180642.

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

MLA Handbook (7th Edition):

Rompf, Tiark. “Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming.” 2012. Web. 14 Oct 2019.

Vancouver:

Rompf T. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. [Internet] [Thesis]. EPFL; 2012. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/180642.

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

Council of Science Editors:

Rompf T. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. [Thesis]. EPFL; 2012. Available from: http://infoscience.epfl.ch/record/180642

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


ETH Zürich

12. Mendler-Dünner, Celestine. System-Aware Algorithms For Machine Learning.

Degree: 2019, ETH Zürich

 The design of machine learning algorithms is often conducted in a system-agnostic manner. As a consequence, established methods may not be well aligned with the… (more)

Subjects/Keywords: machine learning; distributed algorithms; GPU acceleration; convex optimization; generalized linear models; heterogeneous system; snap machine learning; parallel algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mendler-Dünner, C. (2019). System-Aware Algorithms For Machine Learning. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/341033

Chicago Manual of Style (16th Edition):

Mendler-Dünner, Celestine. “System-Aware Algorithms For Machine Learning.” 2019. Doctoral Dissertation, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/341033.

MLA Handbook (7th Edition):

Mendler-Dünner, Celestine. “System-Aware Algorithms For Machine Learning.” 2019. Web. 14 Oct 2019.

Vancouver:

Mendler-Dünner C. System-Aware Algorithms For Machine Learning. [Internet] [Doctoral dissertation]. ETH Zürich; 2019. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/341033.

Council of Science Editors:

Mendler-Dünner C. System-Aware Algorithms For Machine Learning. [Doctoral Dissertation]. ETH Zürich; 2019. Available from: http://hdl.handle.net/20.500.11850/341033


EPFL

13. Mayer, Mikaël. Interactive Programming by Example.

Degree: 2017, EPFL

 As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of… (more)

Subjects/Keywords: Programming by example; programming by demonstration; program synthesis; accessibility; domain-specific languages; active learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mayer, M. (2017). Interactive Programming by Example. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/231153

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):

Mayer, Mikaël. “Interactive Programming by Example.” 2017. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/231153.

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

MLA Handbook (7th Edition):

Mayer, Mikaël. “Interactive Programming by Example.” 2017. Web. 14 Oct 2019.

Vancouver:

Mayer M. Interactive Programming by Example. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/231153.

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

Council of Science Editors:

Mayer M. Interactive Programming by Example. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/231153

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


EPFL

14. Dashti Rahmat Abadi, Mohammad. Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads.

Degree: 2017, EPFL

 There is a trend towards increased specialization of data management software for performance reasons. The improved performance not only leads to a more efficient usage… (more)

Subjects/Keywords: transaction processing; program analysis; compilation techniques; transaction repair; generative programming; program optimization; functional programming; compiler; staging; data structure specialization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dashti Rahmat Abadi, M. (2017). Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/231714

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):

Dashti Rahmat Abadi, Mohammad. “Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads.” 2017. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/231714.

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

MLA Handbook (7th Edition):

Dashti Rahmat Abadi, Mohammad. “Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads.” 2017. Web. 14 Oct 2019.

Vancouver:

Dashti Rahmat Abadi M. Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/231714.

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

Council of Science Editors:

Dashti Rahmat Abadi M. Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/231714

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


ETH Zürich

15. Liu, Yu. Improve Industrial Cone-Beam Computed Tomography by Integrating Prior Information.

Degree: 2017, ETH Zürich

Subjects/Keywords: Computed tomography (CT); computer vision; Optimization; Machine learning; GPU acceleration

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, Y. (2017). Improve Industrial Cone-Beam Computed Tomography by Integrating Prior Information. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/219410

Chicago Manual of Style (16th Edition):

Liu, Yu. “Improve Industrial Cone-Beam Computed Tomography by Integrating Prior Information.” 2017. Doctoral Dissertation, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/219410.

MLA Handbook (7th Edition):

Liu, Yu. “Improve Industrial Cone-Beam Computed Tomography by Integrating Prior Information.” 2017. Web. 14 Oct 2019.

Vancouver:

Liu Y. Improve Industrial Cone-Beam Computed Tomography by Integrating Prior Information. [Internet] [Doctoral dissertation]. ETH Zürich; 2017. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/219410.

Council of Science Editors:

Liu Y. Improve Industrial Cone-Beam Computed Tomography by Integrating Prior Information. [Doctoral Dissertation]. ETH Zürich; 2017. Available from: http://hdl.handle.net/20.500.11850/219410

16. Kneuss, Etienne. Deductive Synthesis and Repair.

Degree: 2016, EPFL

 In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications.… (more)

Subjects/Keywords: declarative programming; program synthesis; synthesis procedures; programrepair; static analysis; memory effects

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kneuss, E. (2016). Deductive Synthesis and Repair. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/216951

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):

Kneuss, Etienne. “Deductive Synthesis and Repair.” 2016. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/216951.

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

MLA Handbook (7th Edition):

Kneuss, Etienne. “Deductive Synthesis and Repair.” 2016. Web. 14 Oct 2019.

Vancouver:

Kneuss E. Deductive Synthesis and Repair. [Internet] [Thesis]. EPFL; 2016. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/216951.

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

Council of Science Editors:

Kneuss E. Deductive Synthesis and Repair. [Thesis]. EPFL; 2016. Available from: http://infoscience.epfl.ch/record/216951

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

17. Kalaitzis, Christos. Applications of Strong Convex Relaxations to Allocation Problems.

Degree: 2017, EPFL

 Approximation algorithms are a commonly used tool for designing efficient algorithmic solutions for intractable problems, at the expense of the quality of the output solution.… (more)

Subjects/Keywords: Approximation Algorithms; Linear Programming; NP-hard problems; Allocation Problems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kalaitzis, C. (2017). Applications of Strong Convex Relaxations to Allocation Problems. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/226171

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):

Kalaitzis, Christos. “Applications of Strong Convex Relaxations to Allocation Problems.” 2017. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/226171.

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

MLA Handbook (7th Edition):

Kalaitzis, Christos. “Applications of Strong Convex Relaxations to Allocation Problems.” 2017. Web. 14 Oct 2019.

Vancouver:

Kalaitzis C. Applications of Strong Convex Relaxations to Allocation Problems. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/226171.

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

Council of Science Editors:

Kalaitzis C. Applications of Strong Convex Relaxations to Allocation Problems. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/226171

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


ETH Zürich

18. Bänziger, Timo. Intelligente Montageassistenten: Konzepte zur Planung und Programmierung der Zusammenarbeit zwischen Mensch und Roboter.

Degree: 2019, ETH Zürich

 Die stetige Zunahme der Variantenvielfalt und kürzer werdende Produktionszyklen in der Automobilindustrie stellen enorme Anforderungen an die Flexibilität in der Produktion. Gleichzeitig verstärkt sich der… (more)

Subjects/Keywords: Robotics; Human-Robot Interaction; Simulation; Programming Interfaces; Assistance systems; Mobile robots

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bänziger, T. (2019). Intelligente Montageassistenten: Konzepte zur Planung und Programmierung der Zusammenarbeit zwischen Mensch und Roboter. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/340083

Chicago Manual of Style (16th Edition):

Bänziger, Timo. “Intelligente Montageassistenten: Konzepte zur Planung und Programmierung der Zusammenarbeit zwischen Mensch und Roboter.” 2019. Doctoral Dissertation, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/340083.

MLA Handbook (7th Edition):

Bänziger, Timo. “Intelligente Montageassistenten: Konzepte zur Planung und Programmierung der Zusammenarbeit zwischen Mensch und Roboter.” 2019. Web. 14 Oct 2019.

Vancouver:

Bänziger T. Intelligente Montageassistenten: Konzepte zur Planung und Programmierung der Zusammenarbeit zwischen Mensch und Roboter. [Internet] [Doctoral dissertation]. ETH Zürich; 2019. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/340083.

Council of Science Editors:

Bänziger T. Intelligente Montageassistenten: Konzepte zur Planung und Programmierung der Zusammenarbeit zwischen Mensch und Roboter. [Doctoral Dissertation]. ETH Zürich; 2019. Available from: http://hdl.handle.net/20.500.11850/340083


ETH Zürich

19. Huber, Patrick. Integrating SCOOP into EVE.

Degree: 2009, ETH Zürich

Subjects/Keywords: OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); 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):

Huber, P. (2009). Integrating SCOOP into EVE. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151465

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):

Huber, Patrick. “Integrating SCOOP into EVE.” 2009. Thesis, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/151465.

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

MLA Handbook (7th Edition):

Huber, Patrick. “Integrating SCOOP into EVE.” 2009. Web. 14 Oct 2019.

Vancouver:

Huber P. Integrating SCOOP into EVE. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/151465.

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

Council of Science Editors:

Huber P. Integrating SCOOP into EVE. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151465

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


ETH Zürich

20. Müllhaupt, Damien. Implementation of advanced SCOOP aspects.

Degree: 2010, ETH Zürich

Subjects/Keywords: OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); 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):

Müllhaupt, D. (2010). Implementation of advanced SCOOP aspects. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151931

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):

Müllhaupt, Damien. “Implementation of advanced SCOOP aspects.” 2010. Thesis, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/151931.

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

MLA Handbook (7th Edition):

Müllhaupt, Damien. “Implementation of advanced SCOOP aspects.” 2010. Web. 14 Oct 2019.

Vancouver:

Müllhaupt D. Implementation of advanced SCOOP aspects. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/151931.

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

Council of Science Editors:

Müllhaupt D. Implementation of advanced SCOOP aspects. [Thesis]. ETH Zürich; 2010. Available from: http://hdl.handle.net/20.500.11850/151931

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


ETH Zürich

21. Trosi, Martino. Profiling of SCOOP programs.

Degree: 2010, ETH Zürich

Subjects/Keywords: OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); 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):

Trosi, M. (2010). Profiling of SCOOP programs. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151946

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):

Trosi, Martino. “Profiling of SCOOP programs.” 2010. Thesis, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/151946.

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

MLA Handbook (7th Edition):

Trosi, Martino. “Profiling of SCOOP programs.” 2010. Web. 14 Oct 2019.

Vancouver:

Trosi M. Profiling of SCOOP programs. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/151946.

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

Council of Science Editors:

Trosi M. Profiling of SCOOP programs. [Thesis]. ETH Zürich; 2010. Available from: http://hdl.handle.net/20.500.11850/151946

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


ETH Zürich

22. Schill, Mischael. An Executable Structural Operational Semantics For Scoop.

Degree: 2012, ETH Zürich

Subjects/Keywords: PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); 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):

Schill, M. (2012). An Executable Structural Operational Semantics For Scoop. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/153411

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):

Schill, Mischael. “An Executable Structural Operational Semantics For Scoop.” 2012. Thesis, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/153411.

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

MLA Handbook (7th Edition):

Schill, Mischael. “An Executable Structural Operational Semantics For Scoop.” 2012. Web. 14 Oct 2019.

Vancouver:

Schill M. An Executable Structural Operational Semantics For Scoop. [Internet] [Thesis]. ETH Zürich; 2012. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/153411.

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

Council of Science Editors:

Schill M. An Executable Structural Operational Semantics For Scoop. [Thesis]. ETH Zürich; 2012. Available from: http://hdl.handle.net/20.500.11850/153411

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


ETH Zürich

23. 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 October 14, 2019. http://hdl.handle.net/20.500.11850/72730.

MLA Handbook (7th Edition):

Matsakis, Nicholas. “Intervals: Data-Race-Free Parallel Programming.” 2011. Web. 14 Oct 2019.

Vancouver:

Matsakis N. Intervals: Data-Race-Free Parallel Programming. [Internet] [Doctoral dissertation]. ETH Zürich; 2011. [cited 2019 Oct 14]. 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

24. Meier, Dominic. Parallelism visualizer for scoop.

Degree: 2014, ETH Zürich

Subjects/Keywords: PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VISUELLE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); VISUAL 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):

Meier, D. (2014). Parallelism visualizer for scoop. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155057

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):

Meier, Dominic. “Parallelism visualizer for scoop.” 2014. Thesis, ETH Zürich. Accessed October 14, 2019. http://hdl.handle.net/20.500.11850/155057.

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

MLA Handbook (7th Edition):

Meier, Dominic. “Parallelism visualizer for scoop.” 2014. Web. 14 Oct 2019.

Vancouver:

Meier D. Parallelism visualizer for scoop. [Internet] [Thesis]. ETH Zürich; 2014. [cited 2019 Oct 14]. Available from: http://hdl.handle.net/20.500.11850/155057.

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

Council of Science Editors:

Meier D. Parallelism visualizer for scoop. [Thesis]. ETH Zürich; 2014. Available from: http://hdl.handle.net/20.500.11850/155057

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


EPFL

25. Rujeerapaiboon, Napat. Dimensionality Reduction in Dynamic Optimization under Uncertainty.

Degree: 2016, EPFL

 Dynamic optimization problems affected by uncertainty are ubiquitous in many application domains. Decision makers typically model the uncertainty through random variables governed by a probability… (more)

Subjects/Keywords: convex optimization; conic programming; distributionally robust optimization; stochastic programming; linear decision rules; portfolio optimization; growth-optimal portfolio; value-at-risk; Chebyshev inequality; electricity market

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rujeerapaiboon, N. (2016). Dimensionality Reduction in Dynamic Optimization under Uncertainty. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/223055

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):

Rujeerapaiboon, Napat. “Dimensionality Reduction in Dynamic Optimization under Uncertainty.” 2016. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/223055.

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

MLA Handbook (7th Edition):

Rujeerapaiboon, Napat. “Dimensionality Reduction in Dynamic Optimization under Uncertainty.” 2016. Web. 14 Oct 2019.

Vancouver:

Rujeerapaiboon N. Dimensionality Reduction in Dynamic Optimization under Uncertainty. [Internet] [Thesis]. EPFL; 2016. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/223055.

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

Council of Science Editors:

Rujeerapaiboon N. Dimensionality Reduction in Dynamic Optimization under Uncertainty. [Thesis]. EPFL; 2016. Available from: http://infoscience.epfl.ch/record/223055

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

26. Klonatos, Ioannis. Building Efficient Query Engines using High-Level Languages.

Degree: 2017, EPFL

 We are currently witnessing a shift towards the use of high-level programming languages for systems development. These approaches collide with the traditional wisdom which calls… (more)

Subjects/Keywords: High-level programming languages; Out-of-core algorithms; Program synthesis; Memory and storage hierarchies; Query processing; Generative programming; Optimizingcompilers; Abstraction without regret; Database optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klonatos, I. (2017). Building Efficient Query Engines using High-Level Languages. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/224444

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):

Klonatos, Ioannis. “Building Efficient Query Engines using High-Level Languages.” 2017. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/224444.

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

MLA Handbook (7th Edition):

Klonatos, Ioannis. “Building Efficient Query Engines using High-Level Languages.” 2017. Web. 14 Oct 2019.

Vancouver:

Klonatos I. Building Efficient Query Engines using High-Level Languages. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/224444.

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

Council of Science Editors:

Klonatos I. Building Efficient Query Engines using High-Level Languages. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/224444

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


EPFL

27. Bazzi, Abbas. Strengths and Limitations of Linear Programming Relaxations.

Degree: 2017, EPFL

 Many of the currently best-known approximation algorithms for NP-hard optimization problems are based on Linear Programming (LP) and Semi-definite Programming (SDP) relaxations. Given its power,… (more)

Subjects/Keywords: Linear Programming; Approximation Algorithms; Integrality Gap; Graph Problems; Knapsack Problem; Scheduling Problems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bazzi, A. (2017). Strengths and Limitations of Linear Programming Relaxations. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/231945

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):

Bazzi, Abbas. “Strengths and Limitations of Linear Programming Relaxations.” 2017. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/231945.

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

MLA Handbook (7th Edition):

Bazzi, Abbas. “Strengths and Limitations of Linear Programming Relaxations.” 2017. Web. 14 Oct 2019.

Vancouver:

Bazzi A. Strengths and Limitations of Linear Programming Relaxations. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/231945.

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

Council of Science Editors:

Bazzi A. Strengths and Limitations of Linear Programming Relaxations. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/231945

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


EPFL

28. Haller, Philipp. Isolated Actors for Race-Free Concurrent Programming.

Degree: 2010, EPFL

 Message-based concurrency using actors has the potential to scale from multicore processors to distributed systems. However, several challenges remain until actor-based programming can be applied… (more)

Subjects/Keywords: concurrent programming; actors; threads; events; join patterns; chords; aliasing; linear types; unique pointers; capabilities

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Haller, P. (2010). Isolated Actors for Race-Free Concurrent Programming. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/151999

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):

Haller, Philipp. “Isolated Actors for Race-Free Concurrent Programming.” 2010. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/151999.

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

MLA Handbook (7th Edition):

Haller, Philipp. “Isolated Actors for Race-Free Concurrent Programming.” 2010. Web. 14 Oct 2019.

Vancouver:

Haller P. Isolated Actors for Race-Free Concurrent Programming. [Internet] [Thesis]. EPFL; 2010. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/151999.

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

Council of Science Editors:

Haller P. Isolated Actors for Race-Free Concurrent Programming. [Thesis]. EPFL; 2010. Available from: http://infoscience.epfl.ch/record/151999

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


EPFL

29. Bock, Adrian Aloysius. Approximation algorithms for regret minimization in vehicle routing problems.

Degree: 2014, EPFL

 In this thesis, we present new approximation algorithms as well as hardness of approximation results for NP-hard vehicle routing problems related to public transportation. We… (more)

Subjects/Keywords: Combinatorial Optimization; Approximation algorithm; Vehicle routing problem; Orienteering; Set-cover integer linear programming formulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bock, A. A. (2014). Approximation algorithms for regret minimization in vehicle routing problems. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/198837

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):

Bock, Adrian Aloysius. “Approximation algorithms for regret minimization in vehicle routing problems.” 2014. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/198837.

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

MLA Handbook (7th Edition):

Bock, Adrian Aloysius. “Approximation algorithms for regret minimization in vehicle routing problems.” 2014. Web. 14 Oct 2019.

Vancouver:

Bock AA. Approximation algorithms for regret minimization in vehicle routing problems. [Internet] [Thesis]. EPFL; 2014. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/198837.

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

Council of Science Editors:

Bock AA. Approximation algorithms for regret minimization in vehicle routing problems. [Thesis]. EPFL; 2014. Available from: http://infoscience.epfl.ch/record/198837

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


EPFL

30. Riedo, Fanny. Thymio: a holistic approach to designing accessible educational robots.

Degree: 2015, EPFL

 Technology is now an important part of our lives. We often see robots cited as the future of education, and reports of their imminent entrance… (more)

Subjects/Keywords: educational robotics; robot acceptability; programming for children; teacher attitudes towards technology; affordable robotics; mobile robotics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Riedo, F. (2015). Thymio: a holistic approach to designing accessible educational robots. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/206885

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):

Riedo, Fanny. “Thymio: a holistic approach to designing accessible educational robots.” 2015. Thesis, EPFL. Accessed October 14, 2019. http://infoscience.epfl.ch/record/206885.

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

MLA Handbook (7th Edition):

Riedo, Fanny. “Thymio: a holistic approach to designing accessible educational robots.” 2015. Web. 14 Oct 2019.

Vancouver:

Riedo F. Thymio: a holistic approach to designing accessible educational robots. [Internet] [Thesis]. EPFL; 2015. [cited 2019 Oct 14]. Available from: http://infoscience.epfl.ch/record/206885.

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

Council of Science Editors:

Riedo F. Thymio: a holistic approach to designing accessible educational robots. [Thesis]. EPFL; 2015. Available from: http://infoscience.epfl.ch/record/206885

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

[1] [2] [3] [4] [5] … [18]

.