• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2409
  • 415
  • 391
  • 354
  • 58
  • 44
  • 35
  • 17
  • 10
  • 10
  • 9
  • 7
  • 6
  • 3
  • 2
  • Tagged with
  • 4294
  • 4294
  • 1888
  • 1802
  • 1009
  • 569
  • 521
  • 454
  • 417
  • 416
  • 390
  • 389
  • 375
  • 289
  • 286
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Developing Scientific Computing Software: Current Processes and Future Directions

Tang, Jin January 2008 (has links)
<p>Considerable emphasis in scientific computing (SC) software development has been placed on the software qualities of performance and correctness. How ever, other software qualities have received less attention, such as the qualities of usability, maintainability, testability and reusability.</p> <p>Presented in this work is a survey titled "Survey on Developing Scientific Computing Software", which is apparently the first conducted to explore the current approaches to SC software development and to determine which qualities of SC software are in most need of improvement. From the survey we found that systematic development process is frequently not adopted in the SC software community, since 58% of respondents mentioned that their entire development process potentially consists only of coding and debugging. Moreover, semi-formal and formal specification is rarely used when developing SC software, which is suggested by the fact that 70% of respondents indicate that they only use informal specification.</p> <p>In terms of the problems in SC software development, which are discovered by analyzing the survey results, a solution is proposed to improve the quality of SC software by using SE methodologies, concretely, using a modified Parnas' Rational Design Process (PRDP) and the Unified Software Development Process (USDP). A comparison of the two candidate processes is provided to help SC software practitioners determine which of the two pro cesses fits their particular situation. To clarify the discussion of PRDP and USDP for SC software and to help SC software practitioners better understand how to use PRDP and USDP in SC software, a completely documented one-dimensional numerical integration solver (ONIS) example is presented for both PRDP and USDP.</p> / Master of Applied Science (MASc)
2

POWER-AWARE SCHEDULING FOR SERVER CLUSTERS

AL-DAOUD, HADIL January 2010 (has links)
<p>For the past few years, research in the area of computer clusters has been a hot topic. The main focus has been towards on how to achieve the best performance in such systems. While this problem has been well studied, many of the solutions maximize performance at the expense of increasing the amount of power consumed by the cluster and consequently raising the cost of power usage. Therefore, power management (PM) in such systems has become necessary. Many PM policies are proposed in the literature to achieve this goal for both homogeneous and heterogeneous clusters.</p> <p>In this work, in the case of homogeneous clusters, we review two applicable policies that have been proposed in the literature for reducing power consumption. We also propose a power saving policy, that uses queueing theory formulas, which attempts to minimize power consumption while satisfying given performance constraints. We evaluate this policy by using simulation and compare it to other applicable policies.</p> <p>Our main contribution is for heterogeneous clusters. We suggest a task distribution policy in order to reduce power consumption. Our suggested policy requires solving two linear programming problems (LPs). Our simulation experiments show that our proposed policy is successful in terms of achieving a significant power savings in comparison to other distribution policies, especially in the case of highly heterogeneous clusters.</p> / Master of Applied Science (MASc)
3

Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels

Jaskolka, Jason 09 1900 (has links)
<p>With the emergence of computers in every day activities and with the ever-growing complexity of networks and network protocols, covert channels are becoming an eminent threat to confidentiality of information. With increasing sensitivity of data in many computer application domains, the leakage of confidential information can have severe repercussions on the institution from which the information was leaked. <br /><br />In light of this eminent threat, we propose a technique to detect confidential information leakage via covert channels. We limit our focus to instances where the users of covert channels modulate the information that is being sent; either by encryption, or some other form of encoding.<br /><br />In the literature, the difference between classes of covert channels under the current classification is unclear. This lack of clarity results in the development of incomplete techniques for modeling, detecting and preventing covert channels. In this thesis, we propose a new classification for covert channels which organizes covert channels into two types: protocol-based covert channels and environment-based covert channels. We also develop a novel, comprehensive model for protocol-based covert channel communication. Using the developed model, we explore the relationship between covert channel communication, steganography and watermarking. The intent is to provide a better understanding of covert channel communication in an attempt to develop investigative support for confidentiality. Finally, we propose a technique for detecting confidential information leakages via covert channels. The technique is based on relation algebra and offers tests for verifying the existence of an abstraction relation which relates the confidential information to the information that is observed to be sent on the communication channel. It focuses on protocol-based covert channels. <br /><br />With a better understanding of covert channel communication, we are able to develop more effective and efficient mechanisms for detecting and preventing the use of covert channels to leak confidential information in computer systems.</p> / Master of Applied Science (MASc)
4

Verification of programs with Z3

Romanowicz, Ewa 06 1900 (has links)
<p>Fixing the errors in programs is usually very labor-intensive and thus an expensive task. It is also known to be prone to human error thus not fully reliable. There have been many methods of program verification developed, however they still require a lot of human input and interaction throughout the process. There is an increasing need for an automated software verification tool that would reduce human interaction to the minimum. Satisfiability Modulo Theories (SMT) solvers, a series of SAT-solvers such as Z3 looked initially to be a proper and easy to use tool. Its syntax is fairly uncomplicated and it seems to be quite efficient. In this thesis, Z3 is used to find loop invariants, prove some properties of concurrent programs written in Owicki-Gries style and prove some properties of recursive programs. It appears that - in general- Z3 does not work as well as expected in all areas to which it was applied.</p> / Master of Science (MS)
5

A Generative Approach to Meshing Geometry

Elsheikh, Mustafa 09 1900 (has links)
<p>This thesis presents the design and implementation of a generative geometric kernel suitable for supporting a family of mesh generation programs. The kernel is designed as a program generator which is generic, parametric, type-safe. and maintainable. The generator can generate specialized code that has minimal traces of the design abstractions. We achieve genericity, understandability, and maintainability in the generator by a layered design that adopts its concepts from the affine geometry domain. We achieve parametricity and type-safety by using MetaOCaml's module system and its support for higher order modules. The cost of adopting natural domain abstractions is reduced by combining MetaOCaml's support for multi-stage programming with the technique of abstract interpretation.</p> / Master of Applied Science (MASc)
6

An approach for SE personal from academics towards real time market

Mughal, Sarwar Faisal January 2006 (has links)
This research paper discusses the software engineering field. In which many problems exist because the software engineering field consists of different nodes and each node in turn contains a unique field. The paper also explores problems within the software engineering field as well as the market situation and the reasons behind the software engineering field in Academia are lagging behind. Here some guidelines are presented for Academia as well as industry for the improvement/help of the software engineers. The implication of an increasingly geographically mobile workforce mean that students educated in Asian regions, in particular, are facing problems due to differences in their education and culture from those in the West. In addition we present several issues concerning online studies vs. traditional studies and analyze the findings
7

Use of software verification & validation (V&V) techniques for software process improvement

Alphonce, Magori January 2006 (has links)
No description available.
8

An approach for SE personal from academics towards real time market

Mughal, Sarwar Faisal January 2006 (has links)
<p>This research paper discusses the software engineering field. In which many problems exist because the software engineering field consists of different nodes and each node in turn contains a unique field. The paper also explores problems within the software engineering field as well as the market situation and the reasons behind the software engineering field in Academia are lagging behind. Here some guidelines are presented for Academia as well as industry for the improvement/help of the software engineers. The implication of an increasingly geographically mobile workforce mean that students educated in Asian regions, in particular, are facing problems due to differences in their education and culture from those in the West. In addition we present several issues concerning online studies vs. traditional studies and analyze the findings</p>
9

Use of software verification & validation (V&V) techniques for software process improvement

Alphonce, Magori January 2006 (has links)
No description available.
10

Maximizing student software engineer productivity in hybrid commercial-educational environments

Zielieke, Jane. January 2004 (has links) (PDF)
Thesis--PlanB (M.S.)--University of Wisconsin--Stout, 2004. / Includes bibliographical references.

Page generated in 0.1344 seconds