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:(resource bounds). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Western Ontario

1. Burrell, Michael J. Resource Bound Guarantees via Programming Languages.

Degree: 2017, University of Western Ontario

 We present a programming language in which every well-typed program halts in time polynomial with respect to its input and, more importantly, in which upper… (more)

Subjects/Keywords: programming language; static analysis; resource bounds; type inference; polynomial time; time complexity; category theory; Programming Languages and Compilers; Theory and Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burrell, M. J. (2017). Resource Bound Guarantees via Programming Languages. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/4740

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

Burrell, Michael J. “Resource Bound Guarantees via Programming Languages.” 2017. Thesis, University of Western Ontario. Accessed July 22, 2019. https://ir.lib.uwo.ca/etd/4740.

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

MLA Handbook (7th Edition):

Burrell, Michael J. “Resource Bound Guarantees via Programming Languages.” 2017. Web. 22 Jul 2019.

Vancouver:

Burrell MJ. Resource Bound Guarantees via Programming Languages. [Internet] [Thesis]. University of Western Ontario; 2017. [cited 2019 Jul 22]. Available from: https://ir.lib.uwo.ca/etd/4740.

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

Council of Science Editors:

Burrell MJ. Resource Bound Guarantees via Programming Languages. [Thesis]. University of Western Ontario; 2017. Available from: https://ir.lib.uwo.ca/etd/4740

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


Brno University of Technology

2. Pavela, Ondřej. Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti .

Degree: 2019, Brno University of Technology

 Statická analýza se v současnosti dostává do popředí v oblasti technik pro odhalování chyb v moderním software. Nedostatečná škálovatelnost, především v kombinaci se zachováním potřebné přesnosti,… (more)

Subjects/Keywords: statická analýza; abstraktní interpretace; výkonnostní analýza; analýza mezí; amortizovaná složitost; Loopus; OCaml; static analysis; abstract interpretation; performance analysis; resource bounds analysis; amortized complexity; Loopus; OCaml

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pavela, O. (2019). Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180232

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

Pavela, Ondřej. “Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti .” 2019. Thesis, Brno University of Technology. Accessed July 22, 2019. http://hdl.handle.net/11012/180232.

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

MLA Handbook (7th Edition):

Pavela, Ondřej. “Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti .” 2019. Web. 22 Jul 2019.

Vancouver:

Pavela O. Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti . [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11012/180232.

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

Council of Science Editors:

Pavela O. Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti . [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180232

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

3. Sahli, Abderrahim. Problèmes d'ordonnancement avec production et consommation des ressources : Scheduling problems with production and consumption of resources.

Degree: Docteur es, Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253), 2016, Compiègne

La plupart des travaux de recherches sur les problèmes d'ordonnancement traitent le cas des ressources renouvelables, c'est-à-dire des ressources qui sont exigées en début d'exécution… (more)

Subjects/Keywords: Problèmes d'ordonnancement; Ressources consommables; Bornes inférieures; Méthodes arborescentes; Problème de gestion de projet à contraintes de ressources; Scheduling problem; Nonrenewable resource; Lower bounds; Branch-and-bound; Linear programming; Dynamic programming; Resource-Constrained Project Scheduling Problem (RCPSP)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sahli, A. (2016). Problèmes d'ordonnancement avec production et consommation des ressources : Scheduling problems with production and consumption of resources. (Doctoral Dissertation). Compiègne. Retrieved from http://www.theses.fr/2016COMP2309

Chicago Manual of Style (16th Edition):

Sahli, Abderrahim. “Problèmes d'ordonnancement avec production et consommation des ressources : Scheduling problems with production and consumption of resources.” 2016. Doctoral Dissertation, Compiègne. Accessed July 22, 2019. http://www.theses.fr/2016COMP2309.

MLA Handbook (7th Edition):

Sahli, Abderrahim. “Problèmes d'ordonnancement avec production et consommation des ressources : Scheduling problems with production and consumption of resources.” 2016. Web. 22 Jul 2019.

Vancouver:

Sahli A. Problèmes d'ordonnancement avec production et consommation des ressources : Scheduling problems with production and consumption of resources. [Internet] [Doctoral dissertation]. Compiègne; 2016. [cited 2019 Jul 22]. Available from: http://www.theses.fr/2016COMP2309.

Council of Science Editors:

Sahli A. Problèmes d'ordonnancement avec production et consommation des ressources : Scheduling problems with production and consumption of resources. [Doctoral Dissertation]. Compiègne; 2016. Available from: http://www.theses.fr/2016COMP2309

4. Chen, Ting. Energy-Efficient Resource Allocation in OFDMA Systems.

Degree: The Institute of Technology, 2013, Linköping UniversityLinköping University

  In this thesis, a resource allocation problem in OFDMA is studied for the energy efficiency of wireless network. The objective is to minimize the… (more)

Subjects/Keywords: Keywords ‒ OFDMA; resource allocation; energy efficiency; circuit energy consumption at transmitter and receiver; heuristic search; integer linear programming; upper and lower bounds

…the resource consists in not only the large set of orthogonal subcarriers illustrated as in… …The resource allocation in the downlink (from access point to multiple users) of… …resource allocation for the energy efficiency of OFDMA networks. 1 1. Introduction 1.2… …on the resource allocation aiming to maximum the system throughput with given resource… …resource allocation aiming to balance transmission and transmission associated transmitter… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, T. (2013). Energy-Efficient Resource Allocation in OFDMA Systems. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-98683

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

Chen, Ting. “Energy-Efficient Resource Allocation in OFDMA Systems.” 2013. Thesis, Linköping UniversityLinköping University. Accessed July 22, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-98683.

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

MLA Handbook (7th Edition):

Chen, Ting. “Energy-Efficient Resource Allocation in OFDMA Systems.” 2013. Web. 22 Jul 2019.

Vancouver:

Chen T. Energy-Efficient Resource Allocation in OFDMA Systems. [Internet] [Thesis]. Linköping UniversityLinköping University; 2013. [cited 2019 Jul 22]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-98683.

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

Council of Science Editors:

Chen T. Energy-Efficient Resource Allocation in OFDMA Systems. [Thesis]. Linköping UniversityLinköping University; 2013. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-98683

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

.