Thesis (Ph.D.). / Written for the School of Computer Science. Title from title page of PDF (viewed 2008/02/12). Includes bibliographical references.

Thesis (Ph. D.)--Washington State University, August 2007. / Includes bibliographical references (p. 121-125).

This thesis presents Lighthouse, an experimental branch of the Haskell-based House operating system which integrates Li et al.'s Lightweight Concurrency framework. First and foremost, it improves House's viability as a "real operating system" by providing a new extensible scheduler framework which makes it easy to experiment with different scheduling policies. In particular, Lighthouse extends Concurrent Haskell with thread priority and implements a priority-based scheduler which significantly improves system responsiveness when compared with GHC's normal round-robin scheduler. Even while doing this, it improves on House's claim of being "written in Haskell" by moving a whole subsystem out of the complex C-based runtime system and into Haskell itself. In addition, Lighthouse also includes an alternate, simpler implementation of Lightweight Concurrency which takes advantage of House's unique setting (running directly on uniprocessor x86 hardware). This experience sheds light on areas that need further attention before the system can truly be viable---primarily interactions between blackholing and interrupt handling. In particular, this thesis uncovers a potential case of self-deadlock and suggests potential solutions. Finally, this work offers further insight into the viability of using high-level languages such as Haskell for systems programming. Although laziness and blackholing present unique problems, many parts of the system are still much easier to express in Haskell than traditional languages such as C.

The scalability of QUIC-TCP was examined by expanding previous developmental 11-node, 4-flow topology to over 30 nodes with 11 flows to validate QUIC-TCP for larger networks. The topology was simulated using ns-2 network simulator with the same ns-2 module of FAST-TCP modified to produce QUIC-TCP agent that the original development used. A symmetrical topology and a random topology were examined. Fairness, aggregate throughput and the object of the utility function were used as validation criteria. It was shown through simulation that QUICTCP optimized the utility function and demonstrated a good balance between aggregate throughput and fairness; therefore QUIC-TCP is indeed scalable to larger networks. / Includes bibliography. / Thesis (M.S.)--Florida Atlantic University, 2013.

We present a body of work aimed at understanding and improving the security posture of embedded devices. We present results from several large-scale studies that measured the quantity and distribution of exploitable vulnerabilities within embedded devices in the world. We propose two host-based software defense techniques, Symbiote and Autotomic Binary Structure Randomization, that can be practically deployed to a wide spectrum of embedded devices in use today. These defenses are designed to overcome major challenges of securing legacy embedded devices. To be specific, our proposed algorithms are software- based solutions that operate at the firmware binary level. They do not require source-code, are agnostic to the operating-system environment of the devices they protect, and can work on all major ISAs like MIPS, ARM, PowerPC and X86. More importantly, our proposed defenses are capable of augmenting the functionality of embedded devices with a plethora of host-based defenses like dynamic firmware integrity attestation, binary structure randomization of code and data, and anomaly-based malcode detection. Furthermore, we demonstrate the safety and efficacy of the proposed defenses by applying them to a wide range of real- time embedded devices like enterprise networking equipment, telecommunication appliances and other commercial devices like network-based printers and IP phones. Lastly, we present a survey of promising directions for future research in the area of embedded security.

Thesis (MTech. degree in Software Development.)--Tshwane University of Technology, 2011 / With regards to extending component-based and service-oriented system development approaches and solving current problems related to enterprise systems, this study will explore the requirements and challenges of current enterprise systems, and define an SCSD (Service-oriented Component-based System Development) framework which would provide all-round service-oriented component-based support for a complex application environment. The purpose of this study is to create a novel SCSD framework which combines the features of both component-based and service-oriented paradigms, as well as avoid the weaknesses of the existing service and component combination approaches. The SCSD framework combines the re-usability of the component-based paradigm and the flexibility of the service-oriented paradigm. Reusable SCSD-based components and services can reduce costs, shorten development time, and improve service quality when implemented effectively. The SCSD framework offers an alternative to older system development approaches, while it also provides a new solution in order to establish relationships between services and components for current enterprise systems.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho trata de uma alternativa na execução do projeto de um exaustor utilizado em aviário, totalmente automatizada. Para isto, utiliza-se a integração de um software de CAD 3D (SolidWorks®), através de sua API, com outro software responsável por permitir a codificação de macros (Visual Basic for Applications®), as quais sendo executadas geram todo o projeto do equipamento. São utilizadas interfaces de interação com o usuário para que este determine as principais medidas geométricas do equipamento e estes dados sejam enviados à macro, que converte-os de modo que fiquem compatíveis com o necessário para a execução e inicie a modelagem do exaustor. Ao final da execução do código, o usuário terá o projeto completo de um exaustor de acordo com as medidas definidas. O projeto do equipamento ficará salvo no diretório informado pelo usuário, em formato de arquivo padrão do software de CAD 3D, assim como os detalhamentos em formato PDF. Desta forma os arquivos podem ser abertos até mesmo em máquinas que não possuem o software de CAD 3D. Considerando a importância do trabalho para projetistas e estudantes leigos na programação, publicou-se um livro onde pode-se verificar todos os aspectos apresentados neste trabalho e, além de conseguir desenvolver este mesmo projeto, fazer qualquer outro tipo de automação dentro do software. O endereço eletrônico para acesso deste material é: “https://goo.gl/9lKCuN”. / This paper deals with an alternative in the execution of an exhaust-fan project used in aviary, fully automatized. In order to achieve that intention, the integration of a 3D CAD software (SolidWorks®) through its API and another software responsible for allowing the coding of macros is used (Visual Basic for Applications®), and when in performance, it creates the entire purpose of the equipment. User interaction interfaces are used to determine the equipment’s main geometric measurements and this data is sent to the macro, converting them so that they are compatible with what is required for the execution and the start of the exhaust-fan modeling. At the end of the coding execution, the user will have the complete design of an exhaust-fan according to the defined measures. The design of the equipment will be saved in the directory entered by the user, in 3D CAD software format, as well as in PDF file format for detailing. This way, files can be opened even on computers/machines that do not have a 3D CAD software. Considering the importance of the work for designers and lay students in programming, a book was published so that one can verify all the aspects presented in this paper and, besides being able to develop this same project, also making any other kind of automation within the software. The electronic address for accessing this material is: "https://goo.gl/9lKCuN".

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho trata de uma alternativa na execução do projeto de um exaustor utilizado em aviário, totalmente automatizada. Para isto, utiliza-se a integração de um software de CAD 3D (SolidWorks®), através de sua API, com outro software responsável por permitir a codificação de macros (Visual Basic for Applications®), as quais sendo executadas geram todo o projeto do equipamento. São utilizadas interfaces de interação com o usuário para que este determine as principais medidas geométricas do equipamento e estes dados sejam enviados à macro, que converte-os de modo que fiquem compatíveis com o necessário para a execução e inicie a modelagem do exaustor. Ao final da execução do código, o usuário terá o projeto completo de um exaustor de acordo com as medidas definidas. O projeto do equipamento ficará salvo no diretório informado pelo usuário, em formato de arquivo padrão do software de CAD 3D, assim como os detalhamentos em formato PDF. Desta forma os arquivos podem ser abertos até mesmo em máquinas que não possuem o software de CAD 3D. Considerando a importância do trabalho para projetistas e estudantes leigos na programação, publicou-se um livro onde pode-se verificar todos os aspectos apresentados neste trabalho e, além de conseguir desenvolver este mesmo projeto, fazer qualquer outro tipo de automação dentro do software. O endereço eletrônico para acesso deste material é: “https://goo.gl/9lKCuN”. / This paper deals with an alternative in the execution of an exhaust-fan project used in aviary, fully automatized. In order to achieve that intention, the integration of a 3D CAD software (SolidWorks®) through its API and another software responsible for allowing the coding of macros is used (Visual Basic for Applications®), and when in performance, it creates the entire purpose of the equipment. User interaction interfaces are used to determine the equipment’s main geometric measurements and this data is sent to the macro, converting them so that they are compatible with what is required for the execution and the start of the exhaust-fan modeling. At the end of the coding execution, the user will have the complete design of an exhaust-fan according to the defined measures. The design of the equipment will be saved in the directory entered by the user, in 3D CAD software format, as well as in PDF file format for detailing. This way, files can be opened even on computers/machines that do not have a 3D CAD software. Considering the importance of the work for designers and lay students in programming, a book was published so that one can verify all the aspects presented in this paper and, besides being able to develop this same project, also making any other kind of automation within the software. The electronic address for accessing this material is: "https://goo.gl/9lKCuN".

For software to take advantage of modern multicore processors, it must be safely concurrent and it must scale. Many techniques that allow safe concurrency do so at the expense of scalability. Coarse grain locking allows multiple threads to access common data safely, but not at the same time. Non-Blocking Synchronization and Transactional Memory techniques optimistically allow concurrency, but only for disjoint accesses and only at a high performance cost. Relativistic programming is a technique that allows low overhead readers and joint access parallelism between readers and writers. Most of the work on relativistic programming has assumed a single writer at a time (or, in partitionable data structures, a single writer per partition), and single writer solutions cannot scale on the write side. This dissertation extends prior work on relativistic programming in the following ways: 1) It analyses the ordering requirements of lock-based and relativistic programs in order to clarify the differences in their correctness and performance characteristics, and to define precisely the behavior required of the relativistic programming primitives. 2) It shows how relativistic programming can be used to construct efficient, scalable algorithms for complex data structures whose update operations involve multiple writes to multiple nodes. 3) It shows how disjoint access parallelism can be supported for relativistic writers, using Software Transactional Memory, while still allowing low-overhead, linearly-scalable, relativistic reads.

The Transmission Control Protocol (TCP) is one of the core protocols of the Internet protocol suite. In the wired network, TCP performs remarkably well due to its scalability and distributed end-to-end congestion control algorithms. However, many studies have shown that the unmodified standard TCP performs poorly in networks with large bandwidth-delay products and/or lossy wireless links. In this thesis, we analyze the problems TCP exhibits in the wireless communication and develop TCP congestion control algorithm for mobile applications. We show that the optimal TCP congestion control and link scheduling scheme amounts to window-control oriented implicit primaldual solvers for underlying network utility maximization. Based on this idea, we used a scalable congestion control algorithm called QUeueIng-Control (QUIC) TCP where it utilizes queueing-delay based MaxWeight-type scheduler for wireless links developed in [34]. Simulation and test results are provided to evaluate the proposed schemes in practical networks. / by Gee Won Han. / Thesis (M.S.C.S.)--Florida Atlantic University, 2013. / Includes bibliography. / Mode of access: World Wide Web. / System requirements: Adobe Reader.