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

Degree: MCS

You searched for +publisher:"McMaster University" +contributor:("Computing and Software"). Showing records 1 – 13 of 13 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


McMaster University

1. Mo, Guang. Analysis of On/Off servers with Dynamic Voltage Scaling.

Degree: MCS, 2017, McMaster University

With rapid adoption of cloud solutions across industries, energy consumed by server farms continues to rise. There are numerous approaches to reduce energy consumption in… (more)

Subjects/Keywords: green computing; performance; DVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mo, G. (2017). Analysis of On/Off servers with Dynamic Voltage Scaling. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/22804

Chicago Manual of Style (16th Edition):

Mo, Guang. “Analysis of On/Off servers with Dynamic Voltage Scaling.” 2017. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/22804.

MLA Handbook (7th Edition):

Mo, Guang. “Analysis of On/Off servers with Dynamic Voltage Scaling.” 2017. Web. 22 Jul 2019.

Vancouver:

Mo G. Analysis of On/Off servers with Dynamic Voltage Scaling. [Internet] [Masters thesis]. McMaster University; 2017. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/22804.

Council of Science Editors:

Mo G. Analysis of On/Off servers with Dynamic Voltage Scaling. [Masters Thesis]. McMaster University; 2017. Available from: http://hdl.handle.net/11375/22804


McMaster University

2. Mirdad, Abeer. A Mixed Model for Pairwise Comparisons and Its Applications.

Degree: MCS, 2015, McMaster University

The method of Pairwise Comparisons was first described by Ramon Llull in the end of XIII century. At present, this method is identified with controversial… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mirdad, A. (2015). A Mixed Model for Pairwise Comparisons and Its Applications. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18438

Chicago Manual of Style (16th Edition):

Mirdad, Abeer. “A Mixed Model for Pairwise Comparisons and Its Applications.” 2015. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/18438.

MLA Handbook (7th Edition):

Mirdad, Abeer. “A Mixed Model for Pairwise Comparisons and Its Applications.” 2015. Web. 22 Jul 2019.

Vancouver:

Mirdad A. A Mixed Model for Pairwise Comparisons and Its Applications. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/18438.

Council of Science Editors:

Mirdad A. A Mixed Model for Pairwise Comparisons and Its Applications. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18438


McMaster University

3. Armstrong, Mark. Notions of Semicomputability in Topological Algebras over the Reals.

Degree: MCS, 2015, McMaster University

Several results from classical computability theory (computability over discrete structures such as the natural numbers and strings over finite alphabets, due to Turing, Church, Kleene… (more)

Subjects/Keywords: Generalised computability theory; Computability theory; Computability on the reals

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Armstrong, M. (2015). Notions of Semicomputability in Topological Algebras over the Reals. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18334

Chicago Manual of Style (16th Edition):

Armstrong, Mark. “Notions of Semicomputability in Topological Algebras over the Reals.” 2015. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/18334.

MLA Handbook (7th Edition):

Armstrong, Mark. “Notions of Semicomputability in Topological Algebras over the Reals.” 2015. Web. 22 Jul 2019.

Vancouver:

Armstrong M. Notions of Semicomputability in Topological Algebras over the Reals. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/18334.

Council of Science Editors:

Armstrong M. Notions of Semicomputability in Topological Algebras over the Reals. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18334


McMaster University

4. MOHAMMAD, KAZEMI EHSAN. An Empirical Study of Algebraic Reconstruction Techniques.

Degree: MCS, 2011, McMaster University

A computerized tomography scan enables the visualization of an object interior without opening it up. This technique is used in many fields e.g. in… (more)

Subjects/Keywords: Algebraic Reconstruction Techniques; Kaczmarz`s method; Relaxation Parameter; SART; Biomedical; Other Computer Engineering; Biomedical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

MOHAMMAD, K. E. (2011). An Empirical Study of Algebraic Reconstruction Techniques. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/11113

Chicago Manual of Style (16th Edition):

MOHAMMAD, KAZEMI EHSAN. “An Empirical Study of Algebraic Reconstruction Techniques.” 2011. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/11113.

MLA Handbook (7th Edition):

MOHAMMAD, KAZEMI EHSAN. “An Empirical Study of Algebraic Reconstruction Techniques.” 2011. Web. 22 Jul 2019.

Vancouver:

MOHAMMAD KE. An Empirical Study of Algebraic Reconstruction Techniques. [Internet] [Masters thesis]. McMaster University; 2011. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/11113.

Council of Science Editors:

MOHAMMAD KE. An Empirical Study of Algebraic Reconstruction Techniques. [Masters Thesis]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11113


McMaster University

5. Aziz, Malik Junaid. WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS.

Degree: MCS, 2012, McMaster University

This work describes an architecture which enables experiments in optimization of networks that represent systems in diverse application domains, e.g. multi-product food production plants,… (more)

Subjects/Keywords: Network Modeling; Optimization; Diverse Domain Networks; Chemical Engineering; Computer and Systems Architecture; Chemical Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aziz, M. J. (2012). WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/12046

Chicago Manual of Style (16th Edition):

Aziz, Malik Junaid. “WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS.” 2012. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/12046.

MLA Handbook (7th Edition):

Aziz, Malik Junaid. “WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS.” 2012. Web. 22 Jul 2019.

Vancouver:

Aziz MJ. WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS. [Internet] [Masters thesis]. McMaster University; 2012. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/12046.

Council of Science Editors:

Aziz MJ. WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS. [Masters Thesis]. McMaster University; 2012. Available from: http://hdl.handle.net/11375/12046


McMaster University

6. Hu, Kun. Using Reputation in Repeated Selfish Routing with Incomplete Information.

Degree: MCS, 2013, McMaster University

We study the application of reputation as an instigator of beneficial user behavior in selfish routing and when the network users rely on the… (more)

Subjects/Keywords: Selfish Routing; Repeated Game; Incomplete Information; Reputation; Theory and Algorithms; Theory and Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hu, K. (2013). Using Reputation in Repeated Selfish Routing with Incomplete Information. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13009

Chicago Manual of Style (16th Edition):

Hu, Kun. “Using Reputation in Repeated Selfish Routing with Incomplete Information.” 2013. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/13009.

MLA Handbook (7th Edition):

Hu, Kun. “Using Reputation in Repeated Selfish Routing with Incomplete Information.” 2013. Web. 22 Jul 2019.

Vancouver:

Hu K. Using Reputation in Repeated Selfish Routing with Incomplete Information. [Internet] [Masters thesis]. McMaster University; 2013. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/13009.

Council of Science Editors:

Hu K. Using Reputation in Repeated Selfish Routing with Incomplete Information. [Masters Thesis]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13009


McMaster University

7. Hamid, Abubakr. Implementation of Sampled-Data Supervisory Control.

Degree: MCS, 2014, McMaster University

This thesis focuses on the issues related to the implementation of theoretical timed discrete-event systems (TDES) supervisors. In particular, we examine issues related to implementing… (more)

Subjects/Keywords: DES; TDES; Discrete Event Systems; Supervisory Control; Automata; VERILOG; FSM; Moore Machines; System Model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hamid, A. (2014). Implementation of Sampled-Data Supervisory Control. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/15399

Chicago Manual of Style (16th Edition):

Hamid, Abubakr. “Implementation of Sampled-Data Supervisory Control.” 2014. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/15399.

MLA Handbook (7th Edition):

Hamid, Abubakr. “Implementation of Sampled-Data Supervisory Control.” 2014. Web. 22 Jul 2019.

Vancouver:

Hamid A. Implementation of Sampled-Data Supervisory Control. [Internet] [Masters thesis]. McMaster University; 2014. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/15399.

Council of Science Editors:

Hamid A. Implementation of Sampled-Data Supervisory Control. [Masters Thesis]. McMaster University; 2014. Available from: http://hdl.handle.net/11375/15399


McMaster University

8. Zhang, Yin Han. Simplification Infrastructure for an Implementation of the Chiron Logic.

Degree: MCS, 2010, McMaster University

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 11.5px Times} Simplification is an important and heavily used facility in many mathematical software systems including both… (more)

Subjects/Keywords: Computer Engineering; Computer Sciences; Software Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, Y. H. (2010). Simplification Infrastructure for an Implementation of the Chiron Logic. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9232

Chicago Manual of Style (16th Edition):

Zhang, Yin Han. “Simplification Infrastructure for an Implementation of the Chiron Logic.” 2010. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/9232.

MLA Handbook (7th Edition):

Zhang, Yin Han. “Simplification Infrastructure for an Implementation of the Chiron Logic.” 2010. Web. 22 Jul 2019.

Vancouver:

Zhang YH. Simplification Infrastructure for an Implementation of the Chiron Logic. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/9232.

Council of Science Editors:

Zhang YH. Simplification Infrastructure for an Implementation of the Chiron Logic. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9232


McMaster University

9. Xu, Hao. Model Based System Consistency Checking Using Event-B.

Degree: MCS, 2011, McMaster University

Formal methods such as Event-B are a widely used approach for developing critical systems. This thesis demonstrates that creating models and proving the consistency… (more)

Subjects/Keywords: insulin infusion pump; Event-B; safety critical systems; safety constraints; formal specification; timing constraints; Software Engineering; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, H. (2011). Model Based System Consistency Checking Using Event-B. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/11507

Chicago Manual of Style (16th Edition):

Xu, Hao. “Model Based System Consistency Checking Using Event-B.” 2011. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/11507.

MLA Handbook (7th Edition):

Xu, Hao. “Model Based System Consistency Checking Using Event-B.” 2011. Web. 22 Jul 2019.

Vancouver:

Xu H. Model Based System Consistency Checking Using Event-B. [Internet] [Masters thesis]. McMaster University; 2011. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/11507.

Council of Science Editors:

Xu H. Model Based System Consistency Checking Using Event-B. [Masters Thesis]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11507

10. Akbari, Behzad. Investigations into self motion thresholds using a Stewart platform.

Degree: MCS, 2015, McMaster University

Full motion simulators are traditionally used in the flight industry to train pilots. They are used to add the sensation of acceleration in simulation to… (more)

Subjects/Keywords: self motion thresholds; Motion simulator; Motion cueing; Vestibular system; simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Akbari, B. (2015). Investigations into self motion thresholds using a Stewart platform. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/16714

Chicago Manual of Style (16th Edition):

Akbari, Behzad. “Investigations into self motion thresholds using a Stewart platform.” 2015. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/16714.

MLA Handbook (7th Edition):

Akbari, Behzad. “Investigations into self motion thresholds using a Stewart platform.” 2015. Web. 22 Jul 2019.

Vancouver:

Akbari B. Investigations into self motion thresholds using a Stewart platform. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/16714.

Council of Science Editors:

Akbari B. Investigations into self motion thresholds using a Stewart platform. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/16714


McMaster University

11. Kelk, David H. Formal Modelling of Version Control Systems.

Degree: MCS, 2009, McMaster University

Version control systems are widely used to manage collections of files and directories, along with changes made to them over their lifetime. Any previously… (more)

Subjects/Keywords: Computer Sciences; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kelk, D. H. (2009). Formal Modelling of Version Control Systems. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9114

Chicago Manual of Style (16th Edition):

Kelk, David H. “Formal Modelling of Version Control Systems.” 2009. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/9114.

MLA Handbook (7th Edition):

Kelk, David H. “Formal Modelling of Version Control Systems.” 2009. Web. 22 Jul 2019.

Vancouver:

Kelk DH. Formal Modelling of Version Control Systems. [Internet] [Masters thesis]. McMaster University; 2009. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/9114.

Council of Science Editors:

Kelk DH. Formal Modelling of Version Control Systems. [Masters Thesis]. McMaster University; 2009. Available from: http://hdl.handle.net/11375/9114


McMaster University

12. Pujari, Upasana. Verification and Refinement Theory of Action Inheritance for Concurrent Objects.

Degree: MCS, 2009, McMaster University

Lime is an action-based concurrent object-oriented programming language. Lime treats concurrency and object-orientation as a single concern and encapsulates concurrent features within objects. In… (more)

Subjects/Keywords: Computer Sciences; Software Engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pujari, U. (2009). Verification and Refinement Theory of Action Inheritance for Concurrent Objects. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9157

Chicago Manual of Style (16th Edition):

Pujari, Upasana. “Verification and Refinement Theory of Action Inheritance for Concurrent Objects.” 2009. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/9157.

MLA Handbook (7th Edition):

Pujari, Upasana. “Verification and Refinement Theory of Action Inheritance for Concurrent Objects.” 2009. Web. 22 Jul 2019.

Vancouver:

Pujari U. Verification and Refinement Theory of Action Inheritance for Concurrent Objects. [Internet] [Masters thesis]. McMaster University; 2009. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/9157.

Council of Science Editors:

Pujari U. Verification and Refinement Theory of Action Inheritance for Concurrent Objects. [Masters Thesis]. McMaster University; 2009. Available from: http://hdl.handle.net/11375/9157


McMaster University

13. Ni, Hong. CHIRON: MECHANIZING MATHEMATICS IN OCAML.

Degree: MCS, 2009, McMaster University

Computer algebra systems such as Maple [2] and Mathematica [12] are good at symbolic computation, while theorem proving systems such as Coq [11] and… (more)

Subjects/Keywords: Computer Engineering; Computer Sciences; Software Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ni, H. (2009). CHIRON: MECHANIZING MATHEMATICS IN OCAML. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9359

Chicago Manual of Style (16th Edition):

Ni, Hong. “CHIRON: MECHANIZING MATHEMATICS IN OCAML.” 2009. Masters Thesis, McMaster University. Accessed July 22, 2019. http://hdl.handle.net/11375/9359.

MLA Handbook (7th Edition):

Ni, Hong. “CHIRON: MECHANIZING MATHEMATICS IN OCAML.” 2009. Web. 22 Jul 2019.

Vancouver:

Ni H. CHIRON: MECHANIZING MATHEMATICS IN OCAML. [Internet] [Masters thesis]. McMaster University; 2009. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/11375/9359.

Council of Science Editors:

Ni H. CHIRON: MECHANIZING MATHEMATICS IN OCAML. [Masters Thesis]. McMaster University; 2009. Available from: http://hdl.handle.net/11375/9359

.