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:(Static data). Showing records 1 – 30 of 68 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

▼ Search Limiters


University of Akron

1. Anapalli, Sukumar Reddy, Mr. Static Scheduling and Rotation Scheduling on Cyclo Static Data Flow Graphs.

Degree: MS, Computer Science, 2009, University of Akron

 There are few processes which display cyclically changing but predefined behavior. These processes can be represented using cyclo static data flow graphs (CSDFG). This capability… (more)

Subjects/Keywords: Computer Science; Cyclo-static data flow graphs; static scheduling; CSDFG; rotation scheduling; CSDAG

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Anapalli, Sukumar Reddy, M. (2009). Static Scheduling and Rotation Scheduling on Cyclo Static Data Flow Graphs. (Masters Thesis). University of Akron. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=akron1246908859

Chicago Manual of Style (16th Edition):

Anapalli, Sukumar Reddy, Mr. “Static Scheduling and Rotation Scheduling on Cyclo Static Data Flow Graphs.” 2009. Masters Thesis, University of Akron. Accessed July 19, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=akron1246908859.

MLA Handbook (7th Edition):

Anapalli, Sukumar Reddy, Mr. “Static Scheduling and Rotation Scheduling on Cyclo Static Data Flow Graphs.” 2009. Web. 19 Jul 2019.

Vancouver:

Anapalli, Sukumar Reddy M. Static Scheduling and Rotation Scheduling on Cyclo Static Data Flow Graphs. [Internet] [Masters thesis]. University of Akron; 2009. [cited 2019 Jul 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=akron1246908859.

Council of Science Editors:

Anapalli, Sukumar Reddy M. Static Scheduling and Rotation Scheduling on Cyclo Static Data Flow Graphs. [Masters Thesis]. University of Akron; 2009. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=akron1246908859


University of Akron

2. Khasawneh, Samer Fayiz. Static Scheduling for Synchronous Data Flow Graphs.

Degree: MS, Computer Science, 2007, University of Akron

 This thesis addresses the issue of determining the iteration bound for a synchronous data flow graph (SDFG) and determining whether or not a SDFG is… (more)

Subjects/Keywords: SDFG; iteration bound; static schedule; EHG; DFG; node; DATA FLOW GRAPHS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khasawneh, S. F. (2007). Static Scheduling for Synchronous Data Flow Graphs. (Masters Thesis). University of Akron. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=akron1184612284

Chicago Manual of Style (16th Edition):

Khasawneh, Samer Fayiz. “Static Scheduling for Synchronous Data Flow Graphs.” 2007. Masters Thesis, University of Akron. Accessed July 19, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=akron1184612284.

MLA Handbook (7th Edition):

Khasawneh, Samer Fayiz. “Static Scheduling for Synchronous Data Flow Graphs.” 2007. Web. 19 Jul 2019.

Vancouver:

Khasawneh SF. Static Scheduling for Synchronous Data Flow Graphs. [Internet] [Masters thesis]. University of Akron; 2007. [cited 2019 Jul 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=akron1184612284.

Council of Science Editors:

Khasawneh SF. Static Scheduling for Synchronous Data Flow Graphs. [Masters Thesis]. University of Akron; 2007. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=akron1184612284


EPFL

3. Kasikci, Baris Can Cengiz. Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs.

Degree: 2015, EPFL

 Concurrency bugs are at the heart of some of the worst bugs that plague software. Concurrency bugs slow down software development because it can take… (more)

Subjects/Keywords: concurrency bugs; data race; atomicity violation; static analysis; dynamic analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kasikci, B. C. C. (2015). Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/214608

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

Kasikci, Baris Can Cengiz. “Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs.” 2015. Thesis, EPFL. Accessed July 19, 2019. http://infoscience.epfl.ch/record/214608.

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

MLA Handbook (7th Edition):

Kasikci, Baris Can Cengiz. “Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs.” 2015. Web. 19 Jul 2019.

Vancouver:

Kasikci BCC. Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs. [Internet] [Thesis]. EPFL; 2015. [cited 2019 Jul 19]. Available from: http://infoscience.epfl.ch/record/214608.

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

Council of Science Editors:

Kasikci BCC. Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs. [Thesis]. EPFL; 2015. Available from: http://infoscience.epfl.ch/record/214608

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


University of Illinois – Chicago

4. Gondi, Kalpana. Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications.

Degree: 2014, University of Illinois – Chicago

 The memory footprints of sensitive data in security critical systems programs and end user applications is generally not ensured to be kept small. This results… (more)

Subjects/Keywords: Security; Data lifetime; Static analysis; Program transformation; concurrency; race-detection; Confidentiality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gondi, K. (2014). Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/11204

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

Gondi, Kalpana. “Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications.” 2014. Thesis, University of Illinois – Chicago. Accessed July 19, 2019. http://hdl.handle.net/10027/11204.

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

MLA Handbook (7th Edition):

Gondi, Kalpana. “Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications.” 2014. Web. 19 Jul 2019.

Vancouver:

Gondi K. Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications. [Internet] [Thesis]. University of Illinois – Chicago; 2014. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/10027/11204.

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

Council of Science Editors:

Gondi K. Program Transformation Techniques for Erasing Sensitive Data in Sequential and Concurrent Applications. [Thesis]. University of Illinois – Chicago; 2014. Available from: http://hdl.handle.net/10027/11204

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

5. M. Genuzio. ENGINEERING COMPRESSED STATIC FUNCTIONS AND MINIMAL PERFECT HASH FUNCTIONS.

Degree: 2018, Università degli Studi di Milano

 \emph{Static functions} are data structures meant to store arbitrary mappings from finite sets to integers; that is, given universe of items U, a set of… (more)

Subjects/Keywords: static functions; data structure; Settore INF/01 - Informatica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Genuzio, M. (2018). ENGINEERING COMPRESSED STATIC FUNCTIONS AND MINIMAL PERFECT HASH FUNCTIONS. (Thesis). Università degli Studi di Milano. Retrieved from http://hdl.handle.net/2434/547316

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

Genuzio, M.. “ENGINEERING COMPRESSED STATIC FUNCTIONS AND MINIMAL PERFECT HASH FUNCTIONS.” 2018. Thesis, Università degli Studi di Milano. Accessed July 19, 2019. http://hdl.handle.net/2434/547316.

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

MLA Handbook (7th Edition):

Genuzio, M.. “ENGINEERING COMPRESSED STATIC FUNCTIONS AND MINIMAL PERFECT HASH FUNCTIONS.” 2018. Web. 19 Jul 2019.

Vancouver:

Genuzio M. ENGINEERING COMPRESSED STATIC FUNCTIONS AND MINIMAL PERFECT HASH FUNCTIONS. [Internet] [Thesis]. Università degli Studi di Milano; 2018. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/2434/547316.

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

Council of Science Editors:

Genuzio M. ENGINEERING COMPRESSED STATIC FUNCTIONS AND MINIMAL PERFECT HASH FUNCTIONS. [Thesis]. Università degli Studi di Milano; 2018. Available from: http://hdl.handle.net/2434/547316

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


Kaunas University of Technology

6. Mažutienė, Rasa. Ilgalaikį duomenų patikimumą užtikrinančios programinės įrangos realizacijos tyrimas.

Degree: Master, Informatics, 2009, Kaunas University of Technology

Elektroniniu formatu saugomos informacijos apimtys ir svarba vis didėja. Pamažu į elektroninę erdvę perkeliama vis daugiau dokumentų ir viešųjų paslaugų. Anksčiau dokumentų ir duomenų originalumą… (more)

Subjects/Keywords: Duomenų patikimumas; Ilgalaikis patikimumas; Elektroninis parašas; Nesikeičiantys duomenys; Duomenų autentiškumas; Data reliability; Long-term reliability; Digital signature; Static data; Data authenticity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mažutienė, Rasa. (2009). Ilgalaikį duomenų patikimumą užtikrinančios programinės įrangos realizacijos tyrimas. (Masters Thesis). Kaunas University of Technology. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20090715_092342-74440 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Mažutienė, Rasa. “Ilgalaikį duomenų patikimumą užtikrinančios programinės įrangos realizacijos tyrimas.” 2009. Masters Thesis, Kaunas University of Technology. Accessed July 19, 2019. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20090715_092342-74440 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Mažutienė, Rasa. “Ilgalaikį duomenų patikimumą užtikrinančios programinės įrangos realizacijos tyrimas.” 2009. Web. 19 Jul 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Mažutienė, Rasa. Ilgalaikį duomenų patikimumą užtikrinančios programinės įrangos realizacijos tyrimas. [Internet] [Masters thesis]. Kaunas University of Technology; 2009. [cited 2019 Jul 19]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20090715_092342-74440 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Mažutienė, Rasa. Ilgalaikį duomenų patikimumą užtikrinančios programinės įrangos realizacijos tyrimas. [Masters Thesis]. Kaunas University of Technology; 2009. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20090715_092342-74440 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


Brunel University

7. Liu, Zelong. High performance latent dirichlet allocation for text mining.

Degree: PhD, 2013, Brunel University

 Latent Dirichlet Allocation (LDA), a total probability generative model, is a three-tier Bayesian model. LDA computes the latent topic structure of the data and obtains… (more)

Subjects/Keywords: 006.3; Probabilistic topic models; Text classification; Noisy data reduction; Parallel computing; static load balancing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, Z. (2013). High performance latent dirichlet allocation for text mining. (Doctoral Dissertation). Brunel University. Retrieved from http://bura.brunel.ac.uk/handle/2438/7726 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.582919

Chicago Manual of Style (16th Edition):

Liu, Zelong. “High performance latent dirichlet allocation for text mining.” 2013. Doctoral Dissertation, Brunel University. Accessed July 19, 2019. http://bura.brunel.ac.uk/handle/2438/7726 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.582919.

MLA Handbook (7th Edition):

Liu, Zelong. “High performance latent dirichlet allocation for text mining.” 2013. Web. 19 Jul 2019.

Vancouver:

Liu Z. High performance latent dirichlet allocation for text mining. [Internet] [Doctoral dissertation]. Brunel University; 2013. [cited 2019 Jul 19]. Available from: http://bura.brunel.ac.uk/handle/2438/7726 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.582919.

Council of Science Editors:

Liu Z. High performance latent dirichlet allocation for text mining. [Doctoral Dissertation]. Brunel University; 2013. Available from: http://bura.brunel.ac.uk/handle/2438/7726 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.582919


University of Sydney

8. Ko, Yousun. Semantic-Preserving Transformations for Stream Program Orchestration on Multicore Architectures .

Degree: 2016, University of Sydney

 Because the demand for high performance with big data processing and distributed computing is increasing, the stream programming paradigm has been revisited for its abundance… (more)

Subjects/Keywords: multicore architecture; stream programming languages; synchronous data flow; compiler optimization; performance analysis; static program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ko, Y. (2016). Semantic-Preserving Transformations for Stream Program Orchestration on Multicore Architectures . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/16046

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

Ko, Yousun. “Semantic-Preserving Transformations for Stream Program Orchestration on Multicore Architectures .” 2016. Thesis, University of Sydney. Accessed July 19, 2019. http://hdl.handle.net/2123/16046.

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

MLA Handbook (7th Edition):

Ko, Yousun. “Semantic-Preserving Transformations for Stream Program Orchestration on Multicore Architectures .” 2016. Web. 19 Jul 2019.

Vancouver:

Ko Y. Semantic-Preserving Transformations for Stream Program Orchestration on Multicore Architectures . [Internet] [Thesis]. University of Sydney; 2016. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/2123/16046.

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

Council of Science Editors:

Ko Y. Semantic-Preserving Transformations for Stream Program Orchestration on Multicore Architectures . [Thesis]. University of Sydney; 2016. Available from: http://hdl.handle.net/2123/16046

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


University of Houston

9. Hervey, Marcus W 1970-. Enhanced Debugging of Data Races in Parallel Programs Using OpenMP.

Degree: Computer Science, Department of, 2016, University of Houston

 Parallel computing is pervasive. The variety and number of parallel hardware architectures increase daily. As this technology evolves, parallel developers will need productivity enhancing tools… (more)

Subjects/Keywords: data races; parallel programming; static-analysis; dynamic-analysis; complementary-analysis; debugging; RaceFree

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hervey, M. W. 1. (2016). Enhanced Debugging of Data Races in Parallel Programs Using OpenMP. (Thesis). University of Houston. Retrieved from http://hdl.handle.net/10657/1711

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

Hervey, Marcus W 1970-. “Enhanced Debugging of Data Races in Parallel Programs Using OpenMP.” 2016. Thesis, University of Houston. Accessed July 19, 2019. http://hdl.handle.net/10657/1711.

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

MLA Handbook (7th Edition):

Hervey, Marcus W 1970-. “Enhanced Debugging of Data Races in Parallel Programs Using OpenMP.” 2016. Web. 19 Jul 2019.

Vancouver:

Hervey MW1. Enhanced Debugging of Data Races in Parallel Programs Using OpenMP. [Internet] [Thesis]. University of Houston; 2016. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/10657/1711.

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

Council of Science Editors:

Hervey MW1. Enhanced Debugging of Data Races in Parallel Programs Using OpenMP. [Thesis]. University of Houston; 2016. Available from: http://hdl.handle.net/10657/1711

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


Universidade Nova

10. Ferreira, Paulo Jorge Abreu Duarte. Information flow analysis using data-dependent logical propositions.

Degree: 2012, Universidade Nova

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A significant number of today’s software systems are designed around database systems that store business… (more)

Subjects/Keywords: Programming language; Static verification; Security policies; Informationflow analysis; Type system; Data manipulation primitives

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ferreira, P. J. A. D. (2012). Information flow analysis using data-dependent logical propositions. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8451

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

Ferreira, Paulo Jorge Abreu Duarte. “Information flow analysis using data-dependent logical propositions.” 2012. Thesis, Universidade Nova. Accessed July 19, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8451.

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

MLA Handbook (7th Edition):

Ferreira, Paulo Jorge Abreu Duarte. “Information flow analysis using data-dependent logical propositions.” 2012. Web. 19 Jul 2019.

Vancouver:

Ferreira PJAD. Information flow analysis using data-dependent logical propositions. [Internet] [Thesis]. Universidade Nova; 2012. [cited 2019 Jul 19]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8451.

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

Council of Science Editors:

Ferreira PJAD. Information flow analysis using data-dependent logical propositions. [Thesis]. Universidade Nova; 2012. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/8451

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

11. Ureche, Oana. Static code analysis of data-driven applications through common lingua and the Semantic Web technologies.

Degree: PhD, 2015, Federation University Australia

Web applications have become increasingly popular due to their potential for businesses' high revenue gain through global reach. Along with these opportunities, also come challenges… (more)

Subjects/Keywords: Static code analysis; Data-driven applications; Semantic web technologies; Web appliations; Security; Cyberattacks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ureche, O. (2015). Static code analysis of data-driven applications through common lingua and the Semantic Web technologies. (Doctoral Dissertation). Federation University Australia. Retrieved from http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/81548

Chicago Manual of Style (16th Edition):

Ureche, Oana. “Static code analysis of data-driven applications through common lingua and the Semantic Web technologies.” 2015. Doctoral Dissertation, Federation University Australia. Accessed July 19, 2019. http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/81548.

MLA Handbook (7th Edition):

Ureche, Oana. “Static code analysis of data-driven applications through common lingua and the Semantic Web technologies.” 2015. Web. 19 Jul 2019.

Vancouver:

Ureche O. Static code analysis of data-driven applications through common lingua and the Semantic Web technologies. [Internet] [Doctoral dissertation]. Federation University Australia; 2015. [cited 2019 Jul 19]. Available from: http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/81548.

Council of Science Editors:

Ureche O. Static code analysis of data-driven applications through common lingua and the Semantic Web technologies. [Doctoral Dissertation]. Federation University Australia; 2015. Available from: http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/81548


University of Delaware

12. Kilgallon, Sean. Large scale machine learning for the detection and classification of malware .

Degree: 2018, University of Delaware

 Bad actors have embraced automation and current malware analysis systems cannot keep up with the ever-increasing load of malware being created daily. As a result,… (more)

Subjects/Keywords: Applied sciences; Data science; Deep learning; Machine learning; Malware detection; Neural networks; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kilgallon, S. (2018). Large scale machine learning for the detection and classification of malware . (Doctoral Dissertation). University of Delaware. Retrieved from http://udspace.udel.edu/handle/19716/24010

Chicago Manual of Style (16th Edition):

Kilgallon, Sean. “Large scale machine learning for the detection and classification of malware .” 2018. Doctoral Dissertation, University of Delaware. Accessed July 19, 2019. http://udspace.udel.edu/handle/19716/24010.

MLA Handbook (7th Edition):

Kilgallon, Sean. “Large scale machine learning for the detection and classification of malware .” 2018. Web. 19 Jul 2019.

Vancouver:

Kilgallon S. Large scale machine learning for the detection and classification of malware . [Internet] [Doctoral dissertation]. University of Delaware; 2018. [cited 2019 Jul 19]. Available from: http://udspace.udel.edu/handle/19716/24010.

Council of Science Editors:

Kilgallon S. Large scale machine learning for the detection and classification of malware . [Doctoral Dissertation]. University of Delaware; 2018. Available from: http://udspace.udel.edu/handle/19716/24010


University of Texas – Austin

13. Chang, Walter Chochen. Improving dynamic analysis with data flow analysis.

Degree: Computer Sciences, 2010, University of Texas – Austin

 Many challenges in software quality can be tackled with dynamic analysis. However, these techniques are often limited in their efficiency or scalability as they are… (more)

Subjects/Keywords: Data flow; Software testing; Software security; Dynamic analysis; Static analysis; Test input generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chang, W. C. (2010). Improving dynamic analysis with data flow analysis. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1586

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

Chang, Walter Chochen. “Improving dynamic analysis with data flow analysis.” 2010. Thesis, University of Texas – Austin. Accessed July 19, 2019. http://hdl.handle.net/2152/ETD-UT-2010-08-1586.

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

MLA Handbook (7th Edition):

Chang, Walter Chochen. “Improving dynamic analysis with data flow analysis.” 2010. Web. 19 Jul 2019.

Vancouver:

Chang WC. Improving dynamic analysis with data flow analysis. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1586.

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

Council of Science Editors:

Chang WC. Improving dynamic analysis with data flow analysis. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1586

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


Indian Institute of Science

14. Pranavadatta, DN. Checking Compatability of Programs on Shared Data.

Degree: 2011, Indian Institute of Science

 A large software system is built by composing multiple programs, possibly developed independently. The component programs communicate by sharing data. Data sharing involves creation of… (more)

Subjects/Keywords: Data Sharing; Data Compatibility; Shared Data Programs - Compatability; Shared Data Software; Producer-Consumer Programs; Shared Data - Static Analysis; Data Compatibility Checking; Static Layout Inference Analysis; Octagon Abstract Domain; Compatibility Checking; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pranavadatta, D. (2011). Checking Compatability of Programs on Shared Data. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/2005/3899 ; http://etd.iisc.ernet.in/abstracts/4774/G25268-Abs.pdf

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

Pranavadatta, DN. “Checking Compatability of Programs on Shared Data.” 2011. Thesis, Indian Institute of Science. Accessed July 19, 2019. http://etd.iisc.ernet.in/2005/3899 ; http://etd.iisc.ernet.in/abstracts/4774/G25268-Abs.pdf.

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

MLA Handbook (7th Edition):

Pranavadatta, DN. “Checking Compatability of Programs on Shared Data.” 2011. Web. 19 Jul 2019.

Vancouver:

Pranavadatta D. Checking Compatability of Programs on Shared Data. [Internet] [Thesis]. Indian Institute of Science; 2011. [cited 2019 Jul 19]. Available from: http://etd.iisc.ernet.in/2005/3899 ; http://etd.iisc.ernet.in/abstracts/4774/G25268-Abs.pdf.

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

Council of Science Editors:

Pranavadatta D. Checking Compatability of Programs on Shared Data. [Thesis]. Indian Institute of Science; 2011. Available from: http://etd.iisc.ernet.in/2005/3899 ; http://etd.iisc.ernet.in/abstracts/4774/G25268-Abs.pdf

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


Universidade Presbiteriana Mackenzie

15. Alexandre Hiroshi Mitushima. Determinantes da estrutura de capital e da velocidade de ajuste em empresas brasileiras.

Degree: 2009, Universidade Presbiteriana Mackenzie

A estrutura de capital das empresas é um dos principais assuntos estudados em Finanças Corporativas. Ao contrário do que propuseram Modigliani e Miller, em 1958,… (more)

Subjects/Keywords: ADMINISTRACAO DE EMPRESAS; painel estático; painel de dados; empresas brasileiras; estrutura de capital dinâmica; brazilian companies; panel data; dynamic capital structure; painel dinâmico; static panel data; dynamic panel data

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mitushima, A. H. (2009). Determinantes da estrutura de capital e da velocidade de ajuste em empresas brasileiras. (Thesis). Universidade Presbiteriana Mackenzie. Retrieved from http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1404

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

Mitushima, Alexandre Hiroshi. “Determinantes da estrutura de capital e da velocidade de ajuste em empresas brasileiras.” 2009. Thesis, Universidade Presbiteriana Mackenzie. Accessed July 19, 2019. http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1404.

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

MLA Handbook (7th Edition):

Mitushima, Alexandre Hiroshi. “Determinantes da estrutura de capital e da velocidade de ajuste em empresas brasileiras.” 2009. Web. 19 Jul 2019.

Vancouver:

Mitushima AH. Determinantes da estrutura de capital e da velocidade de ajuste em empresas brasileiras. [Internet] [Thesis]. Universidade Presbiteriana Mackenzie; 2009. [cited 2019 Jul 19]. Available from: http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1404.

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

Council of Science Editors:

Mitushima AH. Determinantes da estrutura de capital e da velocidade de ajuste em empresas brasileiras. [Thesis]. Universidade Presbiteriana Mackenzie; 2009. Available from: http://tede.mackenzie.com.br//tde_busca/arquivo.php?codArquivo=1404

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


Curtin University of Technology

16. Li, Yanrong. Techniques for improving clustering and association rules mining from very large transactional databases .

Degree: 2009, Curtin University of Technology

 Clustering and association rules mining are two core data mining tasks that have been actively studied by data mining community for nearly two decades. Though… (more)

Subjects/Keywords: incremental clustering algorithm (INCLUS); static stored databases; data mining community; clustering and association rules mining; data streams; mining algorithms; transactional databases; core data mining tasks; sampling techniques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, Y. (2009). Techniques for improving clustering and association rules mining from very large transactional databases . (Thesis). Curtin University of Technology. Retrieved from http://hdl.handle.net/20.500.11937/907

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

Li, Yanrong. “Techniques for improving clustering and association rules mining from very large transactional databases .” 2009. Thesis, Curtin University of Technology. Accessed July 19, 2019. http://hdl.handle.net/20.500.11937/907.

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

MLA Handbook (7th Edition):

Li, Yanrong. “Techniques for improving clustering and association rules mining from very large transactional databases .” 2009. Web. 19 Jul 2019.

Vancouver:

Li Y. Techniques for improving clustering and association rules mining from very large transactional databases . [Internet] [Thesis]. Curtin University of Technology; 2009. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/20.500.11937/907.

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

Council of Science Editors:

Li Y. Techniques for improving clustering and association rules mining from very large transactional databases . [Thesis]. Curtin University of Technology; 2009. Available from: http://hdl.handle.net/20.500.11937/907

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


KTH

17. Gauffin, Christian. Prototyp för identifiering av teknisk skuld inom Product Lifecycle Management.

Degree: Information and Communication Technology (ICT), 2016, KTH

Technical debt is a well known term within software development, but has not yet been implemented outside of software development. Because of this, there… (more)

Subjects/Keywords: quality; rules; static analysis; quantification; kvalitet; regler; statisk analys; kvantifiering; Computer and Information Sciences; Data- och informationsvetenskap

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gauffin, C. (2016). Prototyp för identifiering av teknisk skuld inom Product Lifecycle Management. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-188872

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

Gauffin, Christian. “Prototyp för identifiering av teknisk skuld inom Product Lifecycle Management.” 2016. Thesis, KTH. Accessed July 19, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-188872.

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

MLA Handbook (7th Edition):

Gauffin, Christian. “Prototyp för identifiering av teknisk skuld inom Product Lifecycle Management.” 2016. Web. 19 Jul 2019.

Vancouver:

Gauffin C. Prototyp för identifiering av teknisk skuld inom Product Lifecycle Management. [Internet] [Thesis]. KTH; 2016. [cited 2019 Jul 19]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-188872.

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

Council of Science Editors:

Gauffin C. Prototyp för identifiering av teknisk skuld inom Product Lifecycle Management. [Thesis]. KTH; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-188872

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

18. Yasam, Venkata Sudheer Kumar Reddy. An Optimized Representation for Dynamic k-ary Cardinal Trees.

Degree: 2009, , School of Computing

  Trees are one of the most fundamental structures in computer science. Standard pointer-based representations consume a significant amount of space while only supporting a… (more)

Subjects/Keywords: Succinct data structures; binary trees; ordinal trees; cardinal trees; rank; select; static and dynamic.; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yasam, V. S. K. R. (2009). An Optimized Representation for Dynamic k-ary Cardinal Trees. (Thesis). , School of Computing. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2199

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

Yasam, Venkata Sudheer Kumar Reddy. “An Optimized Representation for Dynamic k-ary Cardinal Trees.” 2009. Thesis, , School of Computing. Accessed July 19, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2199.

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

MLA Handbook (7th Edition):

Yasam, Venkata Sudheer Kumar Reddy. “An Optimized Representation for Dynamic k-ary Cardinal Trees.” 2009. Web. 19 Jul 2019.

Vancouver:

Yasam VSKR. An Optimized Representation for Dynamic k-ary Cardinal Trees. [Internet] [Thesis]. , School of Computing; 2009. [cited 2019 Jul 19]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2199.

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

Council of Science Editors:

Yasam VSKR. An Optimized Representation for Dynamic k-ary Cardinal Trees. [Thesis]. , School of Computing; 2009. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2199

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


Queensland University of Technology

19. Vasudevan, Meera. Profile-based application management for green data centres.

Degree: 2016, Queensland University of Technology

 This thesis presents a profile-based application management framework for energy-efficient data centres. The framework is based on a concept of using Profiles that provide prior… (more)

Subjects/Keywords: Data Centre; Application Assignment; Virtual Machine; Energy Efficiency; Resource Scheduling; Optimization; Evolutionary Algorithm; Genetic Algorithm; Static Assignment; Dynamic Assignment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vasudevan, M. (2016). Profile-based application management for green data centres. (Thesis). Queensland University of Technology. Retrieved from http://eprints.qut.edu.au/98294/

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

Vasudevan, Meera. “Profile-based application management for green data centres.” 2016. Thesis, Queensland University of Technology. Accessed July 19, 2019. http://eprints.qut.edu.au/98294/.

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

MLA Handbook (7th Edition):

Vasudevan, Meera. “Profile-based application management for green data centres.” 2016. Web. 19 Jul 2019.

Vancouver:

Vasudevan M. Profile-based application management for green data centres. [Internet] [Thesis]. Queensland University of Technology; 2016. [cited 2019 Jul 19]. Available from: http://eprints.qut.edu.au/98294/.

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

Council of Science Editors:

Vasudevan M. Profile-based application management for green data centres. [Thesis]. Queensland University of Technology; 2016. Available from: http://eprints.qut.edu.au/98294/

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


EPFL

20. Ureche, Vlad. Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages.

Degree: 2015, EPFL

 High-level languages allow programmers to express data structures and algorithms that abstract over the type of data they handle. This improves code reuse and makes… (more)

Subjects/Keywords: Data Representation; Transformation; Object-Oriented; Static Type System; Performance; Generics; Specialization; Java; Java Virtual Machine; Bytecode

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ureche, V. (2015). Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/214606

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

Ureche, Vlad. “Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages.” 2015. Thesis, EPFL. Accessed July 19, 2019. http://infoscience.epfl.ch/record/214606.

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

MLA Handbook (7th Edition):

Ureche, Vlad. “Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages.” 2015. Web. 19 Jul 2019.

Vancouver:

Ureche V. Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages. [Internet] [Thesis]. EPFL; 2015. [cited 2019 Jul 19]. Available from: http://infoscience.epfl.ch/record/214606.

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

Council of Science Editors:

Ureche V. Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages. [Thesis]. EPFL; 2015. Available from: http://infoscience.epfl.ch/record/214606

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


University of Texas – Austin

21. Deshmukh, Jyotirmoy Vinay. Verification of sequential and concurrent libraries.

Degree: Electrical and Computer Engineering, 2010, University of Texas – Austin

 The goal of this dissertation is to present new and improved techniques for fully automatic verification of sequential and concurrent software libraries. In most cases,… (more)

Subjects/Keywords: Computer software; Verification; Static analysis; Shape analysis; Data structures; Deadlocks; Deadlock detection; Concurrency; Concurrent libraries; Multi-threaded; Wait-notify; Synchronization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Deshmukh, J. V. (2010). Verification of sequential and concurrent libraries. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1771

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

Deshmukh, Jyotirmoy Vinay. “Verification of sequential and concurrent libraries.” 2010. Thesis, University of Texas – Austin. Accessed July 19, 2019. http://hdl.handle.net/2152/ETD-UT-2010-08-1771.

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

MLA Handbook (7th Edition):

Deshmukh, Jyotirmoy Vinay. “Verification of sequential and concurrent libraries.” 2010. Web. 19 Jul 2019.

Vancouver:

Deshmukh JV. Verification of sequential and concurrent libraries. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1771.

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

Council of Science Editors:

Deshmukh JV. Verification of sequential and concurrent libraries. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1771

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


University of Illinois – Urbana-Champaign

22. Hertz, Samuel. Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation.

Degree: MS, 1200, 2013, University of Illinois – Urbana-Champaign

 We present methods for automatically generating and evaluating register transfer level (RTL) assertions. We detail the GoldMine methodology and each of its data mining algorithms.… (more)

Subjects/Keywords: assertion; assertion generation; assertion evaluation; assertion ranking; GoldMine; static analysis; data mining; evaluation; ranking; verification; validation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hertz, S. (2013). Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/55156

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

Hertz, Samuel. “Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation.” 2013. Thesis, University of Illinois – Urbana-Champaign. Accessed July 19, 2019. http://hdl.handle.net/2142/55156.

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

MLA Handbook (7th Edition):

Hertz, Samuel. “Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation.” 2013. Web. 19 Jul 2019.

Vancouver:

Hertz S. Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2013. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/2142/55156.

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

Council of Science Editors:

Hertz S. Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation. [Thesis]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/55156

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


North Carolina State University

23. Ramaprasad, Harini. Analytical Bounding Data Cache Behavior for Real-Time Systems.

Degree: PhD, Computer Science, 2008, North Carolina State University

 This dissertation presents data cache analysis techniques that make it feasible to predict data cache behavior and to bound the worst-case execution time for a… (more)

Subjects/Keywords: WCET; data cache; static timing analysis; real-time

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ramaprasad, H. (2008). Analytical Bounding Data Cache Behavior for Real-Time Systems. (Doctoral Dissertation). North Carolina State University. Retrieved from http://www.lib.ncsu.edu/resolver/1840.16/4583

Chicago Manual of Style (16th Edition):

Ramaprasad, Harini. “Analytical Bounding Data Cache Behavior for Real-Time Systems.” 2008. Doctoral Dissertation, North Carolina State University. Accessed July 19, 2019. http://www.lib.ncsu.edu/resolver/1840.16/4583.

MLA Handbook (7th Edition):

Ramaprasad, Harini. “Analytical Bounding Data Cache Behavior for Real-Time Systems.” 2008. Web. 19 Jul 2019.

Vancouver:

Ramaprasad H. Analytical Bounding Data Cache Behavior for Real-Time Systems. [Internet] [Doctoral dissertation]. North Carolina State University; 2008. [cited 2019 Jul 19]. Available from: http://www.lib.ncsu.edu/resolver/1840.16/4583.

Council of Science Editors:

Ramaprasad H. Analytical Bounding Data Cache Behavior for Real-Time Systems. [Doctoral Dissertation]. North Carolina State University; 2008. Available from: http://www.lib.ncsu.edu/resolver/1840.16/4583

24. Roth, Robin. An Evaluation of Machine Learning Approaches for Hierarchical Malware Classification.

Degree: 2019, , Department of Computer Science

  With an evermore growing threat of new malware that keeps growing in both number and complexity, the necessity for improvement in automatic detection and… (more)

Subjects/Keywords: Machine Learning; Hierarchical Malware Classification; Static Malware Analysis; Mnemonic N-grams; Other Computer and Information Science; Annan data- och informationsvetenskap

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roth, R. (2019). An Evaluation of Machine Learning Approaches for Hierarchical Malware Classification. (Thesis). , Department of Computer Science. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18260

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

Roth, Robin. “An Evaluation of Machine Learning Approaches for Hierarchical Malware Classification.” 2019. Thesis, , Department of Computer Science. Accessed July 19, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18260.

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

MLA Handbook (7th Edition):

Roth, Robin. “An Evaluation of Machine Learning Approaches for Hierarchical Malware Classification.” 2019. Web. 19 Jul 2019.

Vancouver:

Roth R. An Evaluation of Machine Learning Approaches for Hierarchical Malware Classification. [Internet] [Thesis]. , Department of Computer Science; 2019. [cited 2019 Jul 19]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18260.

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

Council of Science Editors:

Roth R. An Evaluation of Machine Learning Approaches for Hierarchical Malware Classification. [Thesis]. , Department of Computer Science; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18260

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

25. Erika Akemi Kimura Reis. Impacto dos investimentos em energia sobre o PIB dos municípios brasileiros.

Degree: 2013, Universidade Católica de Brasilia

O objetivo deste trabalho foi analisar se os investimentos em parte dos municípios brasileiros em usinas de geração de energia elétrica impactaram o PIB dos… (more)

Subjects/Keywords: investimentos; infra-estrutura (economia); energia elétrica; produto interno bruto; economia; ECONOMIA; investments; infrastructure; energy; gdp; static panel data; dynamic panel data; spatial variable; ECONOMIA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reis, E. A. K. (2013). Impacto dos investimentos em energia sobre o PIB dos municípios brasileiros. (Doctoral Dissertation). Universidade Católica de Brasilia. Retrieved from http://www.bdtd.ucb.br/tede/tde_busca/arquivo.php?codArquivo=1982

Chicago Manual of Style (16th Edition):

Reis, Erika Akemi Kimura. “Impacto dos investimentos em energia sobre o PIB dos municípios brasileiros.” 2013. Doctoral Dissertation, Universidade Católica de Brasilia. Accessed July 19, 2019. http://www.bdtd.ucb.br/tede/tde_busca/arquivo.php?codArquivo=1982.

MLA Handbook (7th Edition):

Reis, Erika Akemi Kimura. “Impacto dos investimentos em energia sobre o PIB dos municípios brasileiros.” 2013. Web. 19 Jul 2019.

Vancouver:

Reis EAK. Impacto dos investimentos em energia sobre o PIB dos municípios brasileiros. [Internet] [Doctoral dissertation]. Universidade Católica de Brasilia; 2013. [cited 2019 Jul 19]. Available from: http://www.bdtd.ucb.br/tede/tde_busca/arquivo.php?codArquivo=1982.

Council of Science Editors:

Reis EAK. Impacto dos investimentos em energia sobre o PIB dos municípios brasileiros. [Doctoral Dissertation]. Universidade Católica de Brasilia; 2013. Available from: http://www.bdtd.ucb.br/tede/tde_busca/arquivo.php?codArquivo=1982


University College Cork

26. Townley, Jacinta Maria. Practical programming for static average-case analysis: the MOQA investigation.

Degree: 2013, University College Cork

 This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due… (more)

Subjects/Keywords: Programming; Static average-case analysis; MOdular Quantitative Analysis (MOQA); Programming languages (Electronic computers); Real-time data processing.; Real-time data processing; Real-time programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Townley, J. M. (2013). Practical programming for static average-case analysis: the MOQA investigation. (Thesis). University College Cork. Retrieved from http://hdl.handle.net/10468/1345

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

Townley, Jacinta Maria. “Practical programming for static average-case analysis: the MOQA investigation.” 2013. Thesis, University College Cork. Accessed July 19, 2019. http://hdl.handle.net/10468/1345.

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

MLA Handbook (7th Edition):

Townley, Jacinta Maria. “Practical programming for static average-case analysis: the MOQA investigation.” 2013. Web. 19 Jul 2019.

Vancouver:

Townley JM. Practical programming for static average-case analysis: the MOQA investigation. [Internet] [Thesis]. University College Cork; 2013. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/10468/1345.

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

Council of Science Editors:

Townley JM. Practical programming for static average-case analysis: the MOQA investigation. [Thesis]. University College Cork; 2013. Available from: http://hdl.handle.net/10468/1345

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

27. Thapa, Sobit Bahadur. Secure Execution Partitioning of Weak Devices.

Degree: 2013

Subjects/Keywords: Security; Algorithm; Data Flow Graph; TinyOS; Static Analysis; Dynamic Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Thapa, S. B. (2013). Secure Execution Partitioning of Weak Devices. (Thesis). [No school.] Retrieved from http://hdl.handle.net/2249.1/62769

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

Chicago Manual of Style (16th Edition):

Thapa, Sobit Bahadur. “Secure Execution Partitioning of Weak Devices.” 2013. Thesis, [No school]. Accessed July 19, 2019. http://hdl.handle.net/2249.1/62769.

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

MLA Handbook (7th Edition):

Thapa, Sobit Bahadur. “Secure Execution Partitioning of Weak Devices.” 2013. Web. 19 Jul 2019.

Vancouver:

Thapa SB. Secure Execution Partitioning of Weak Devices. [Internet] [Thesis]. [No school]; 2013. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/2249.1/62769.

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

Council of Science Editors:

Thapa SB. Secure Execution Partitioning of Weak Devices. [Thesis]. [No school]; 2013. Available from: http://hdl.handle.net/2249.1/62769

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


Texas A&M University

28. Culotta, Vittorio G. Theory versus experiment of the rotordynamic and leakage characteristics of smooth annular bushing oil seals.

Degree: 2005, Texas A&M University

 This thesis provides a comparison of experimental rotordynamic coefficients for laminar, smooth bushing oil seals to theoretical predictions from XLLubeGT and XLAnSeal. The experimental results… (more)

Subjects/Keywords: Oil Seals; Experimental Data; Annular; Rotordynamic coefficients; Leakage; Static; Dynamic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Culotta, V. G. (2005). Theory versus experiment of the rotordynamic and leakage characteristics of smooth annular bushing oil seals. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/1512

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

Culotta, Vittorio G. “Theory versus experiment of the rotordynamic and leakage characteristics of smooth annular bushing oil seals.” 2005. Thesis, Texas A&M University. Accessed July 19, 2019. http://hdl.handle.net/1969.1/1512.

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

MLA Handbook (7th Edition):

Culotta, Vittorio G. “Theory versus experiment of the rotordynamic and leakage characteristics of smooth annular bushing oil seals.” 2005. Web. 19 Jul 2019.

Vancouver:

Culotta VG. Theory versus experiment of the rotordynamic and leakage characteristics of smooth annular bushing oil seals. [Internet] [Thesis]. Texas A&M University; 2005. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/1969.1/1512.

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

Council of Science Editors:

Culotta VG. Theory versus experiment of the rotordynamic and leakage characteristics of smooth annular bushing oil seals. [Thesis]. Texas A&M University; 2005. Available from: http://hdl.handle.net/1969.1/1512

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


Virginia Tech

29. Heim, Eugene Henry DeWendt. Development of Methods for Improved Data Integrity and Efficient Testing of Wind Tunnel Models for Dynamic Test Conditions in Unsteady and Nonlinear Flight Regimes.

Degree: MS, Aerospace and Ocean Engineering, 2003, Virginia Tech

 Todayâ s high performance aircraft are operating in expanded flight envelopes, often maneuvering at high angular rates at high angles-of-attack, even above maximum lift. Current… (more)

Subjects/Keywords: Static; Forced Oscillation; Data Integrity; Efficient Testing; Wind Tunnel Testing; Uncertainty

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heim, E. H. D. (2003). Development of Methods for Improved Data Integrity and Efficient Testing of Wind Tunnel Models for Dynamic Test Conditions in Unsteady and Nonlinear Flight Regimes. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/31050

Chicago Manual of Style (16th Edition):

Heim, Eugene Henry DeWendt. “Development of Methods for Improved Data Integrity and Efficient Testing of Wind Tunnel Models for Dynamic Test Conditions in Unsteady and Nonlinear Flight Regimes.” 2003. Masters Thesis, Virginia Tech. Accessed July 19, 2019. http://hdl.handle.net/10919/31050.

MLA Handbook (7th Edition):

Heim, Eugene Henry DeWendt. “Development of Methods for Improved Data Integrity and Efficient Testing of Wind Tunnel Models for Dynamic Test Conditions in Unsteady and Nonlinear Flight Regimes.” 2003. Web. 19 Jul 2019.

Vancouver:

Heim EHD. Development of Methods for Improved Data Integrity and Efficient Testing of Wind Tunnel Models for Dynamic Test Conditions in Unsteady and Nonlinear Flight Regimes. [Internet] [Masters thesis]. Virginia Tech; 2003. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/10919/31050.

Council of Science Editors:

Heim EHD. Development of Methods for Improved Data Integrity and Efficient Testing of Wind Tunnel Models for Dynamic Test Conditions in Unsteady and Nonlinear Flight Regimes. [Masters Thesis]. Virginia Tech; 2003. Available from: http://hdl.handle.net/10919/31050


University of Illinois – Urbana-Champaign

30. Sheridan, David. Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions.

Degree: MS, 1200, 2011, University of Illinois – Urbana-Champaign

 We present GoldMine, a methodology for generating assertions automatically. Our method involves a combination of data mining and static analysis of the Register Transfer Level… (more)

Subjects/Keywords: GoldMine; assertion; generation; automatic; integration; static analysis; data mining; dynamic analysis; decision tree; association mining; coverage guided mining; OpenSparc; invariant; simulation; Register Transfer Level (RTL); Hardware; design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sheridan, D. (2011). Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24159

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

Sheridan, David. “Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed July 19, 2019. http://hdl.handle.net/2142/24159.

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

MLA Handbook (7th Edition):

Sheridan, David. “Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions.” 2011. Web. 19 Jul 2019.

Vancouver:

Sheridan D. Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Jul 19]. Available from: http://hdl.handle.net/2142/24159.

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

Council of Science Editors:

Sheridan D. Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24159

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

[1] [2] [3]

.