Segui questo link per vedere altri tipi di pubblicazioni sul tema: Extensibility.
Tesi sul tema "Extensibility"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Extensibility".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.
1
Braun, Richard. "Extensibility of Enterprise Modelling Languages." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-219873.
Testo completoAbstract (sommario):
Die Arbeit adressiert insgesamt drei Forschungsschwerpunkte. Der erste Schwerpunkt setzt sich mit zu entwickelnden BPMN-Erweiterungen auseinander und stellt deren methodische Implikationen im Rahmen der bestehenden Sprachstandards dar. Dies umfasst zum einen ganz konkrete Spracherweiterungen wie z. B. BPMN4CP, eine BPMN-Erweiterung zur multi-perspektivischen Modellierung von klinischen Behandlungspfaden. Zum anderen betrifft dieser Teil auch modellierungsmethodische Konsequenzen, um parallel sowohl die zugrunde liegende Sprache (d. h. das BPMN-Metamodell) als auch die Methode zur Erweiterungsentwicklung zu verbessern und somit den festgestellten Unzulänglichkeiten zu begegnen.
Der zweite Schwerpunkt adressiert die Untersuchung von sprachunabhängigen Fragen der Erweiterbarkeit, welche sich entweder während der Bearbeitung des ersten Teils ergeben haben oder aus dessen Ergebnissen induktiv geschlossen wurden. Der Forschungsschwerpunkt fokussiert dabei insbesondere eine Konsolidierung bestehender Terminologien, die Beschreibung generisch anwendbarer Erweiterungsmechanismen sowie die nutzerorientierte Analyse eines potentiellen Erweiterungsbedarfs. Dieser Teil bereitet somit die Entwicklung einer generischen Erweiterungsmethode grundlegend vor. Hierzu zählt auch die fundamentale Auseinandersetzung mit Unternehmensmodellierungssprachen generell, da nur eine ganzheitliche, widerspruchsfreie und integrierte Sprachdefinition Erweiterungen überhaupt ermöglichen und gelingen lassen kann. Dies betrifft beispielsweise die Spezifikation der intendierten Semantik einer Sprache.
2
Pinckney, Thomas. "Operating system extensibility through event capture." Thesis, Massachusetts Institute of Technology, 1997. http://hdl.handle.net/1721.1/42782.
Testo completoAbstract (sommario):
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.<br>Includes bibliographical references (p. 31).<br>by Thomas Pinckney III.<br>M.Eng.
3
Rotsos, Charalampos. "Improving network extensibility and scalability through SDN." Thesis, University of Cambridge, 2015. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.709033.
Testo completo
4
Watson, Robert Nicholas Maxwell. "New approaches to operating system security extensibility." Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609485.
Testo completo
5
Hunter, Jason T. (Jason Todd) 1974. "Zephyr extensibility in small workstation oriented computer networks." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/49619.
Testo completo
6
OLIVEIRA, José Dihego da Silva. "Constructive extensibility of trust worthy component-based systems." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/19522.
Testo completoAbstract (sommario):
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-07-12T14:15:46Z
No. of bitstreams: 2
license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5)
TESE_JOSE_DIHEGO_DA_SILVA_OLIVEIRA_CIN_UFPE_2016.pdf: 1113539 bytes, checksum: 124effe0f62c8dd44008517c1e0045ee (MD5)<br>Made available in DSpace on 2017-07-12T14:15:46Z (GMT). No. of bitstreams: 2
license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5)
TESE_JOSE_DIHEGO_DA_SILVA_OLIVEIRA_CIN_UFPE_2016.pdf: 1113539 bytes, checksum: 124effe0f62c8dd44008517c1e0045ee (MD5)
Previous issue date: 2016-03-04<br>As computer systems become ubiquitous, the demand for rigorous and compositional development methods increase dramatically. In the component-based model driven development (CB-MDD) approach, complex systems (sometimes intractable by humans) are build from simple elements, called components. To achieve the CB-MDD goals towards becoming a rigorously development discipline, components and composition rules must be formalised. Moreover, as requirements continuously evolve, there must be mechanisms to refine and safely extend component-based systems. The BRIC component model formalises the CB-MDD core concepts and supports a constructive design based on composition rules that preserves behavioural properties, but do not provide support for component model evolution. In this work we propose inheritance and refinement relations for BRIC. We define a congruent semantics for this model that considers component structure and behaviour. We define refinement as a preorder relation, which is monotonic with respect to the BRIC composition rules. We enhance this component model with support for extensibility via inheritance. The proposed relations allow extension of functionality, whilst preserving service conformance, which we define by means of a convergence notion. We also establish an algebraic connection between component extensibility and refinement. As far as we are aware this is the first time componente inheritance relations are developed for a formal and sound CB-MDD approach. We also integrate the aspect-oriented paradigm into BRIC. We contribute with an approach to capture, specify and use aspects to safely evolve component-based systems. We establish that components extended by aspects preserve the proposed convergence relation that guarantees service conformance. Furthermore, we establish a connection between componente inheritance and aspects, presenting inheritance as a mechanism to define families of componentes and aspects to capture orthogonal concerns over them. The practical relevance of the proposed relations is illustrated by three case studies. One is an autonomous healthcare system, which evolve by the addition of new functionalities via inheritance and by the modularisation of its crosscutting concerns in a reusable and maintainable manner with aspects. Another case study is a bank system, whose functionalities are progressively realised and extended by refinement and inheritance, respectively. Finally, we model a P2P system extended by inheritance to reduce the network traffic.<br>Na medida em que os sistemas computacionais se tornam mais pervasivos, a demanda por métodos de desenvolvimento rigorosos e composicionais cresce dramaticamente. No desenvolvimento baseado em componentes (CB-MDD), sistemas complexos (muitas vezes humanamente intangíveis) são construídos a partir de elementos mais simples, chamados componentes. Para atingir os objetivos desta abordagem na direção de torná-la uma disciplina formal de desenvolvimento, componentes e regras de composição devem ser formalizados. Além disso, considerando que os requisitos de um sistema estão em constante evolução, necessitamos de mecanismos para refinar e estender de forma confiável tais sistemas. O modelo de componentes BRIC formaliza os conceitos chave da abordagem CB-MDD, além de garantir corretude por construção se baseando em regras de composição que preservam propriedades comportamentais. BRIC, porém, por não possuir relações de extensão, não suporta evolução de modelos baseados em componentes. Neste trabalho propomos relações de herança e refinamento para BRIC. Definimos uma semântica congruente que considera tanto a estrutura quanto o comportamento de componentes. Definimos refinamento como uma relação de pré-ordem, a qual é monotônica em relação as regras de composição de BRIC. Estendemos este modelo de componentes com suporte a extensibilidade via herança. As relações propostas permitem extensão de funcionalidade, ao mesmo tempo em que preservam conformidade de serviços, a qual é definida em termos de uma noção de convergência. Estabelecemos também uma conexão algébrica entre extensibilidade de componentes e refinamento. Até onde estamos cientes, este trabalho é pioneiro no desenvolvimento de noções de herança de componentes para uma abordagem CB-MDD formal e consistente. Também integramos o paradigma orientado a aspectos em BRIC. Contribuímos com uma abordagem para capturar, especificar e adotar aspectos no desenvolvimento confiável de sistemas baseados em componentes. Estabelecemos que componentes estendidos por aspectos preservam convergência, o que garante conformidade de serviços. Além disso, desenvolvemos uma conexão entre herança e aspectos, apresentando herança como um mecanismo para definir famílias de componentes e aspectos para capturar conceitos ortogonais sobre as mesmas. Ilustramos a relevância prática das relações propostas através de três estudos de caso. No primeiro, modelamos um sistema autônomo de cuidados médicos, estendido pela adição de novas funcionalidades via herança e pela modularização de conceitos transversais de forma reusável e manutenível via aspectos. Na sequência, modelamos um sistema bancário, cujas funcionalidades são progressivamente implementadas e estendidas pelo uso de herança e refinamento. Finalmente, modelamos um sistema P2P cujo tráfico é reduzido por extensão via herança.
7
Oulmahdi, Mohamed. "Architecture Autonome et Extensible pour une Couche de Transport Évolutive. Application aux Communications Aéronautique par Satellites." Thesis, Toulouse, INSA, 2017. http://www.theses.fr/2017ISAT0015/document.
Testo completoAbstract (sommario):
Ces dernières décennies ont été caractérisées par une évolution massive de l'Internet sur tous les plans, couvrant les applications et les technologies réseau. En conséquence, de nouveaux besoins pour les applications et de nouvelles contraintes réseaux apparaissent ; rendant ainsi les protocole (TCP et UDP notamment) de moins en moins efficaces, et plusieurs nouveaux protocoles ont été proposés. Cependant, à cause de plusieurs limites architecturales de la couche Transport, ces nouveaux protocoles n'ont pas été déployés.Partant de ce constat, le travail effectué dans cette thèse porte sur la proposition et la réalisation d'une architecture pour la couche Transport, orientée services et basée composants, dotée de capacités d'extensibilité et d'autoadaptation vis-à-vis des évolutions du contexte applicatif et réseau. La solution proposée repose, d'une part, sur un faible couplage entre les éléments extérieurs (applications et systèmes) et la couche Transport, ainsi qu'entre les composants internes de l'architecture. D'autre part, elle se base sur des modèles et des algorithmes lui permettant de détecter et de prendre en compte les évolutions du réseau ou des applications, et d'adapter son comportement en conséquence. Une implémentation complète de la solution est proposée et testée dans un cadre de communications aéronautiques par satellite. L'objectif étant la gestion de la transition des protocoles spécifique au monde aéronautique vers les protocoles de l'Internet, ainsi que la gestion, au niveau Transport, des liens physiques hétérogènes. Les tests démontrent la faisabilité d'une telle architecture extensible et autonome, les gains en performance qu'il est possible d'obtenir, et les coûts qui en résultent<br>The recent decades are characterized by an important evolution of the Internet at all planes, covering applications and network technologies. This evolution results on new applications requirements and new networks constraints making classical protocols (TCP and UDP typically) less and less suitable. Consequently, many new more efficient protocols have been proposed. However, due to several limitations of the actual Transport layer, these new protocols have not been deployed.From this statement, the work presented in this thesis is about the proposition and the realization of an architecture for the Transport layer, including extensibility and auto-adaptability capabilities regarding the evolution of application and network context. The proposed solution is based on low-coupling between, in a part, the Transport layer and the external actors (applications and systems), and in the other part between the internal component of the architecture. In parallel, the architecture is based on models and algorithms for detecting and taking into account the evolution of networks and applications, and adapt it behavior consequently. A complete implementation of the solution is proposed and evaluated in the context of aeronautical communications by satellite. The aim is the management of the transition phase of the aeronautical network to the Internet protocols suite, and the management of the heterogeneity of the different physical links. The tests demonstrated the feasibility of such extensible and autonomic architecture, the performances gains which can be obtained, and the resulting cost
8
Oliveira, Bruno César dos Santos. "Genericity, extensibility and type : safety in the VISITOR pattern." Thesis, University of Oxford, 2007. http://ora.ox.ac.uk/objects/uuid:7c61e172-3c06-4546-bafb-daeb0e530f24.
Testo completoAbstract (sommario):
A software component is, in a general sense, a piece of software that can be safely reused and flexibly adapted by some other piece of software. The safety can be ensured by a type system that guarantees the right usage of the component; the flexibility stems from the fact that components are parametrizable over different aspects affecting their behaviours. Component-oriented programming (COP), a programming style where software would be built out of several independent components, has for a long time eluded the software industry. Several reasons have been raised over time, but one that is consistently pointed out is the inadequacy of existing programming languages . for the development of software components. Generic Programming (GP) usually manifests itself as a kind of parametrization. By abstracting from the differences of what would otherwise be separate but otherwise similar specific programs, one can develop a single unified generic program. Instantiating the parameter in various ways retrieves the various specific programs (and ideally some new ones too). Instances of GP include the generics (parametrization by types) mechanism as found in recent versions Java and C# and Datatype-Generic Programming (DOP) (parametrization by shape). Both mechanisms allow novel ways to parametrize programs that can largely increase the flexibility of programs. Software components and OP, and in particular DGP, are clearly related: OP and DGP provide novel ways to parametrize software, while software components benefit from parametrization in order to be flexible. However, DOP and COP have mostly been studied in isolation, with the former being a research topic among some functional programming communities and the latter being mostly studied within the object-oriented communities. In this thesis we wiII argue for the importance of the parametrization mechanisms provided by GP, and in particular DGP, in COP. We will defend that many design patterns can be captured as software components when using such kinds of parametrization. As evidence for this we will, using DOP techniques, develop a component library for the VISITOR pattern that is generic (i.e. can be used on several concrete visitors); extensible (i.e. concrete visitors may be extended); and type-safe (i.e. its usage is statically type checked). A second aspect of this thesis concerns the adaptation of functional DGP techniques to object-oriented languages. We argue that parametrization by datatypes should be replaced by parametrization by visitors, since visitors can be viewed as encodings of datatypes and, through those encodings, the functional techniques naturally translate into an 00 setting.
9
Légaré, Jean-Sébastien. "Extensibility, modularity, and quality-adaptive streaming towards collaborative video authoring." Thesis, University of British Columbia, 2010. http://hdl.handle.net/2429/21741.
Testo completoAbstract (sommario):
Video capture devices and online video viewing sites are proliferating. Content can be produced more easily than ever but the tasks required to compose and produce interesting videos are still very involving. Unfortunately, very little support is given for groups of amateurs to meet and collaborate to creation of new media. Existing video sharing sites do have some support for collaboration, but their best-effort mode of content delivery makes it impossible to support many of the desirable features usually available in local editors, such as advanced navigation support and fast-startup.
Quality-adaptive streaming is interesting as it allows content to be distributed, and allows clients of varying capabilities to view the same encoded video source, the so-called “Encode once, stream anywhere”. This becomes even more important as the gap between low-end and high-end devices widens. In previous work we presented a Quality Adaptive Streaming system called QStream which has none of these limitations, but lacks the editing features. There are several media frameworks on the desktop that can provide the modules and pipelines necessary to build
an editor, but they too are non-adaptive, and have multiple incompatibilities with QStream. This thesis presents Qinematic, a content creation framework that is quality-adaptive, and that borrows concepts from popular media frameworks for extensibility and modularity.
10
Ganev, Ivan Borissov. "A Pliable Hybrid Architecture for Code Isolation." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/16304.
Testo completoAbstract (sommario):
The unprecedented growth of computing power and communication bandwidth in the last few decades has driven an explosion in the size and complexity of application software. Specifically, it has spurred an almost universal adoption of modular and extensible software designs, from ordinary PC applications, to operating systems kernels, and even to embedded systems. In many cases, however, the ability to extend software systems has come hand in hand with the need to isolate them from untrusted or potentially faulty extensions.
This dissertation will focus on the important problem of code isolation, where existing techniques vary in many and often interrelated dimensions such as granularity, code complexity, invocation latency, dynamism, isolation strategy, permissible extension functionality, and degree of integration with the operating system kernel. Specifically, the implementation of a particular technique imposes restrictions on the properties of extensions. Examples include proof-based techniques that are only applicable to simple extensions of small granularity, hardware-based isolation techniques that typically incur a measurable invocation latency due to hardware re-configuration overhead, and programming language techniques that impose implementation and compiler restrictions.
The goal of this dissertation is to explore the design space of code isolation techniques, identify characteristics of individual approaches, and then argue for and design a hybrid approach that combines their advantages while avoiding their drawbacks. The contributions of this thesis will be threefold: (1) a taxonomy of metrics and properties relevant to software code isolation techniques, (2) the design and implementation of a novel hybrid architecture for safe kernel extension with pliable characteristics, and (3) an evaluation of the hybrid approach and comparison with homogeneous alternatives.
11
Al-Mansour, Naemah Mansour Mohamad. "The regulation of barley leaf growth under drought." Thesis, University of Birmingham, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268963.
Testo completo
12
Jum'ah, Nabeeh [Verfasser]. "Language Extensibility and Configurability to Support Stencil Code Development / Nabeeh Jum'ah." Hamburg : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2020. http://d-nb.info/1229625623/34.
Testo completo
13
Zimba, Brian Ackim. "Extensibility in end-user network applications : a feature or a flaw?" Master's thesis, University of Cape Town, 2011. http://hdl.handle.net/11427/12676.
Testo completoAbstract (sommario):
Includes bibliographical references (leaves 52-54).<br>The rise in global connectivity driven by user-demand is bringing about a wave of end-user interconnectivity applications. This, coupled with the improvements in software security that have forced a shift from syntactic to semantic attacks points at an every-growing likelihood of attacks targeting the human element. Literature predicts the extensibility of applications as presenting a growing threat, but the context of this threat beyond the web-browser model, remains unclear and uncharted. This work examines the possible threat extensibility poses in this developing context of greater enduser connectivity.
14
Mualunga, Hélder Paulo Baptista. "Extensibilidade e Implementação do ERP Primavera na Indústria de Construção Civil." Master's thesis, Instituto Politécnico de Setúbal. Escola Superior de Ciências Empresariais, 2015. http://hdl.handle.net/10400.26/10537.
Testo completoAbstract (sommario):
Relatório apresentado para cumprimento dos requisitos necessários à obtenção do grau de
Mestre em Sistemas de Informação Organizacionais<br>Os sistemas ERP estão cada vez mais presentes nas organizações, sejam elas industriais ou de serviços. A adequação destes sistemas à realidade de cada organização é um fator determinante para a sua utilização e ajuste. A evolução cronológica destes sistemas é importante porque permite entender a forma como são utilizados e o seu impacto nas organizações.
Neste contexto, a possibilidade de extensibilidade destes sistemas constitui uma ferramenta importante por permitir o ajustamento de um sistema standard a um caso específico, como é o caso dos produtos Primavera que demonstram ser uma ferramenta poderosa na medida em que possibilita aos seus utilizadores e parceiros fazerem desenvolvimentos adicionais no ERP para satisfazerem necessidades específicas de cada organização.
A implementação de sistemas ERP para o setor da construção civil, onde existe o Primavera Construction que se trata de um produto vertical ajustado ao produto standard, requer a elaboração de um estudo minucioso da organização, visto que este sistema tem como objetivo suportar a gestão de obras desde a orçamentação ao controlo da execução, tornando-o assim numa ferramenta poderosa para a gestão das atividades neste setor.
Assim, o presente relatório centra-se no desenvolvimento de extensibilidades para o ERP Primavera, quer numa situação standard quer numa empresa da construção civil. Em relação à situação standard, foram desenvolvidas duas extensibilidades para incorporação dos movimentos de venda e de movimentos. A utilização do programa Primavera Construction numa empresa de construção civil foi ainda descrita e estudada em detalhe, utilizando para o efeito um caso real de implementação.<br>Abstract: ERP systems have experienced an increasingly presence in organizations, either industrial or services. The adequacy of these systems to the reality of each organization is a determining factor for their adoption. Understanding the chronological evolution of these systems is also important because it allows us to understand how they are used and their impact on organizations.
In this context, the possibility of extending these systems is an important tool for allowing adjustment of a standard system to a specific organization, such as the Primavera products prove to be a powerful tool because in enables its users and partners do further developments in the ERP to meet specific needs of each organization.
The implementation of ERP systems for the construction industry, where there is the Primavera Construction that is a vertical product adjusted to the standard product, requires the development of a detailed study of the organization, since this system aims to support management works from estimating the control of implementation, thus making it a powerful tool for the management of activities in this sector.
Thus, this report focuses on the development extensibilities for ERP Primavera, either in a standard situation and on a civil engineering context. In relation to the standard situation, we developed two extensibilities for incorporation of sales and movements. The use of the Primavera Construction program in a civil engineering company was also described and studied in detail, using for this purpose a real case implementation.
15
More, John A. "Extensibility of an object-oriented compiler intermediate with a focus on cloning." Cincinnati, Ohio : University of Cincinnati, 2005. http://www.ohiolink.edu/etd/view.cgi?acc%5Fnum=ucin1113329790.
Testo completo
16
Arora, Manuel [Verfasser]. "Extensibility of Association Schemes and GRH-Based Deterministic Polynomial Factoring / Manuel Arora." Bonn : Universitäts- und Landesbibliothek Bonn, 2013. http://d-nb.info/1044869127/34.
Testo completo
17
Mollevik, Johan. "Natural language interfaces over spatial data : investigations in scalability, extensibility and reliability." Licentiate thesis, Umeå universitet, Institutionen för datavetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-87705.
Testo completo
18
Chandrasekar, Maheshwar. "Search State Extensibility based Learning Framework for Model Checking and Test Generation." Diss., Virginia Tech, 2010. http://hdl.handle.net/10919/28978.
Testo completoAbstract (sommario):
The increasing design complexity and shrinking feature size of hardware designs have created resource intensive design verification and manufacturing test phases in the product life-cycle of a digital system. On the contrary, time-to-market constraints require faster verification and test phases; otherwise it may result in a buggy design or a defective product. This trend in the semiconductor industry has considerably increased the complexity and importance of Design Verification, Manufacturing Test and Silicon Diagnosis phases of a digital system production life-cycle. In this dissertation, we present a generalized learning framework, which can be customized to the common solving technique for problems in these three phases.
During Design Verification, the conformance of the final design to its specifications is verified. Simulation-based and Formal verification are the two widely known techniques for design verification. Although the former technique can increase confidence in the design, only the latter can ensure the correctness of a design with respect to a given specification. Originally, Design Verification techniques were based on Binary Decision Diagram (BDD) but now such techniques are based on branch-and-bound procedures to avoid space explosion. However, branch-and-bound procedures may explode in time; thus efficient heuristics and intelligent learning techniques are essential. In this dissertation, we propose a novel extensibility relation between search states and a learning framework that aids in identifying non-trivial redundant search states during the branch-and-bound search procedure. Further, we also propose a probability based heuristic to guide our learning technique. First, we utilize this framework in a branch-and-bound based preimage computation engine. Next, we show that it can be used to perform an upper-approximation based state space traversal, which is essential to handle industrial-scale hardware designs. Finally, we propose a simple but elegant image extraction technique that utilizes our learning framework to compute over-approximate image space. This image computation is later leveraged to create an abstraction-refinement based model checking framework.
During Manufacturing Test, test patterns are applied to the fabricated system, in a test environment, to check for the existence of fabrication defects. Such patterns are usually generated by Automatic Test Pattern Generation (ATPG) techniques, which assume certain fault types to model arbitrary defects. The size of fault list and test set has a major impact on the economics of manufacturing test. Towards this end, we propose a fault col lapsing approach to compact the size of target fault list for ATPG techniques. Further, from the very beginning, ATPG techniques were based on branch-and-bound procedures that model the problem in a Boolean domain. However, ATPG is a problem in the multi-valued domain; thus we propose a multi-valued ATPG framework to utilize this underlying nature. We also employ our learning technique for branch-and-bound procedures in this multi-valued framework.
To improve the yield for high-volume manufacturing, silicon diagnosis identifies a set of candidate defect locations in a faulty chip. Subsequently physical failure analysis - an extremely time consuming step - utilizes these candidates as an aid to locate the defects. To reduce the number of candidates returned to the physical failure analysis step, efficient diagnostic patterns are essential. Towards this objective, we propose an incremental framework that utilizes our learning technique for a branch-and-bound procedure. Further, it learns from the ATPG phase where detection-patterns are generated and utilizes this information during diagnostic-pattern generation. Finally, we present a probability based heuristic for X-filling of detection-patterns with the objective of enhancing the diagnostic resolution of such patterns. We unify these techniques into a framework for test pattern generation with good detection and diagnostic ability. Overall, we propose a learning framework that can speed up design verification, test and diagnosis steps in the life cycle of a hardware system.<br>Ph. D.
19
MORE, JOHN Andrew. "EXTENSIBILITY OF AN OBJECT-ORIENTED COMPILIER INTERMEDIATE WITH A FOCUS ON CLONING." University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1113329790.
Testo completo
20
Ndakunda, Tulimevava Kaunapawa. "Extensibility in ORDBMS databases : an exploration of the data cartridge mechanism in Oracle9i." Thesis, Rhodes University, 2013. http://hdl.handle.net/10962/d1008098.
Testo completoAbstract (sommario):
To support current and emerging database applications, Object-Relational Database Management Systems (ORDBMS) provide mechanisms to extend the data storage capabilities and the functionality of the database with application-specific types and methods. Using these mechanisms, the database may contain user-defined data types, large objects (LOBs), external procedures, extensible indexing, query optimisation techniques and other features that are treated in the same way as built-in database features . The many extensibility options provided by the ORDBMS, however, raise several implementation challenges that are not always obvious. This thesis examines a few of the key challenges that arise when extending Oracle database with new functionality. To realise the potential of extensibility in Oracle, the thesis used the problem area of image retrieval as the main test domain. Current research efforts in image retrieval are lagging behind the required retrieval, but are continuously improving. As better retrieval techniques become available, it is important that they are integrated into the available database systems to facilitate improved retrieval. The thesis also reports on the practical experiences gained from integrating an extensible indexing scenario. Sample scenarios are integrated in Oracle9i database using the data cartridge mechanism, which allows Oracle database functionality to be extended with new functional components. The integration demonstrates how additional functionality may be effectively applied to both general and specialised domains in the database. It also reveals alternative design options that allow data cartridge developers, most of who are not database server experts, to extend the database. The thesis is concluded with some of the key observations and options that designers must consider when extending the database with new functionality. The main challenges for developers are the learning curve required to understand the data cartridge framework and the ability to adapt already developed code within the constraints of the data cartridge using the provided extensibility APls. Maximum reusability relies on making good choices for the basic functions, out of which specialised functions can be built.<br>KMBT_363<br>Adobe Acrobat 9.54 Paper Capture Plug-in
21
Law, Roberta Yu Wai. "Effects of a three-week hamstrings stretch program on muscle extensibility and stretch tolerance in patients with chronic musculoskeletal pain." Thesis, The University of Sydney, 2009. http://hdl.handle.net/2123/5420.
Testo completoAbstract (sommario):
Background: Physical deconditioning is often associated with chronic pain and is believed to be a result of gradual movement inhibition and reduction of physical activities. It is common for chronic pain sufferers to present with limited muscle extensibility and poor tolerance to physical movement. Exercises are therefore prescribed to assist in regaining muscle extensibility, strength, fitness and endurance. Of particular interest is stretch, a type of exercise aimed at increasing muscle extensibility. Stretch is commonly prescribed as part of physical rehabilitation in pain management programs, yet little is known of its effectiveness in the chronic pain population. Aim: The aim of this randomised controlled trial was to investigate the effects of a three-week stretch program on muscle extensibility and stretch tolerance in patients with chronic musculoskeletal pain. Methods: Thirty adults with pain persisting for at least three months and limited hamstring muscle extensibility were recruited from patients enrolled in a multidisciplinary pain management program at a Sydney Hospital. A within-subject design was used, with one leg of each participant randomly allocated to an experimental (stretch) condition and the other to a control (no stretch) condition. The hamstring muscles of the experimental leg were stretched for one minute a day over a three-week period, whilst the hamstring muscles of the control leg were not stretched during this time. This intervention was embedded within a pain management program and supervised by physiotherapists. Primary outcome measures were muscle extensibility and stretch tolerance, reflected by passive hip flexion angles produced with standardised and non-standardised torques, respectively. Initial measures were taken prior to the first stretch on day one and final measures were taken one to two days after the last stretch. A blinded assessor was used for all testing. Results: After three weeks of intervention, stretch did not increase muscle extensibility (mean between-group difference in hip flexion was 1 degree; 95% CI -2 to 4 degrees) but did improve stretch tolerance (mean between-group difference in hip flexion was 8 degrees; 95% CI 5 to 10 degrees). Conclusion: Three weeks of stretch increases tolerance to the discomfort associated with stretch but does not change muscle extensibility in patients with chronic musculoskeletal pain. This study provides support for the ongoing incorporation of stretch in pain management programs, where stretch may be conceptualised as a graded exposure to movement and assisting in the restoration of normal activity and function.
22
Law, Roberta Yu Wai. "Effects of a three-week hamstrings stretch program on muscle extensibility and stretch tolerance in patients with chronic musculoskeletal pain." University of Sydney, 2009. http://hdl.handle.net/2123/5420.
Testo completoAbstract (sommario):
Master of Philosophy (MPhil)<br>Background: Physical deconditioning is often associated with chronic pain and is believed to be a result of gradual movement inhibition and reduction of physical activities. It is common for chronic pain sufferers to present with limited muscle extensibility and poor tolerance to physical movement. Exercises are therefore prescribed to assist in regaining muscle extensibility, strength, fitness and endurance. Of particular interest is stretch, a type of exercise aimed at increasing muscle extensibility. Stretch is commonly prescribed as part of physical rehabilitation in pain management programs, yet little is known of its effectiveness in the chronic pain population. Aim: The aim of this randomised controlled trial was to investigate the effects of a three-week stretch program on muscle extensibility and stretch tolerance in patients with chronic musculoskeletal pain. Methods: Thirty adults with pain persisting for at least three months and limited hamstring muscle extensibility were recruited from patients enrolled in a multidisciplinary pain management program at a Sydney Hospital. A within-subject design was used, with one leg of each participant randomly allocated to an experimental (stretch) condition and the other to a control (no stretch) condition. The hamstring muscles of the experimental leg were stretched for one minute a day over a three-week period, whilst the hamstring muscles of the control leg were not stretched during this time. This intervention was embedded within a pain management program and supervised by physiotherapists. Primary outcome measures were muscle extensibility and stretch tolerance, reflected by passive hip flexion angles produced with standardised and non-standardised torques, respectively. Initial measures were taken prior to the first stretch on day one and final measures were taken one to two days after the last stretch. A blinded assessor was used for all testing. Results: After three weeks of intervention, stretch did not increase muscle extensibility (mean between-group difference in hip flexion was 1 degree; 95% CI -2 to 4 degrees) but did improve stretch tolerance (mean between-group difference in hip flexion was 8 degrees; 95% CI 5 to 10 degrees). Conclusion: Three weeks of stretch increases tolerance to the discomfort associated with stretch but does not change muscle extensibility in patients with chronic musculoskeletal pain. This study provides support for the ongoing incorporation of stretch in pain management programs, where stretch may be conceptualised as a graded exposure to movement and assisting in the restoration of normal activity and function.
23
Braun, Richard [Verfasser], Werner [Akademischer Betreuer] [Gutachter] Esswein, and Susanne [Gutachter] Strahringer. "Extensibility of Enterprise Modelling Languages / Richard Braun ; Gutachter: Werner Esswein, Susanne Strahringer ; Betreuer: Werner Esswein." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017. http://d-nb.info/1128036665/34.
Testo completo
24
Pate, Megan Padua Darin A. "Assessment of muscle stiffness, electromechanical delay, and muscle extensibility over the course of the menstrual cycle." Chapel Hill, N.C. : University of North Carolina at Chapel Hill, 2007. http://dc.lib.unc.edu/u?/etd,1069.
Testo completoAbstract (sommario):
Thesis (M.A.)--University of North Carolina at Chapel Hill, 2007.<br>Title from electronic title page (viewed Mar. 27, 2008). "... in partial fulfillment of the requirements for the degree of Master of Arts in the Department of Exercise and Sport Science Athletic Training." Discipline: Exercise and Sports Science; Department/School: Exercise and Sport Science.
25
Gnesa, Eric Henry. "The conserved C-terminal domain of spider tubuliform spidroin 1 contributes to extensibility in synthetic fibers." Scholarly Commons, 2011. https://scholarlycommons.pacific.edu/uop_etds/771.
Testo completoAbstract (sommario):
Spider silk is renowned for its extraordinary mechanical properties, having a balance of high tensile strength and extensibility. To date, the majority of studies have focused on the production of dragline silks from synthetic spider silk gene products. Here we report the first mechanical analysis of synthetic egg case silk fibers spun from the Latrodectus hesperus tubuliform silk proteins, TuSp1 and ECP-2. We provide evidence that recombinant ECP-2 proteins can be spun into fibers that display mechanical properties similar to other synthetic spider silks. We also demonstrate that silks spun from recombinant thioredoxin-TuSp 1 fusion proteins that contain the conserved C-terminal domain exhibit increased extensibility and toughness when compared to the identical fibers spun from fusion proteins lacking the C-terminus. Mechanical analyses reveal that the properties of synthetic tubuliform silks can be modulated by altering the post-spin draw ratios of the fibers . Fibers subject to increased draw ratios showed elevated tensile strength and decreased extensibility, but maintained constant toughness.
Wide-angle X-ray diffraction studies indicate that post-drawn fibers containing the Cterminal domain of TuSp 1 have more amorphous content when compared to fibers lacking the C-terminus. Taken together, these studies demonstrate that recombinant tubuliform spidroins that contain the conserved C-terminal domain with embedded protein tags can be effectively spun into fibers, resulting in similar tensile strength but increased extensibility relative to non-tagged recombinant dragline silk proteins spun from equivalently sized proteins.
26
Gold, Richard. "An Indirection Architecture for the Internet." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6199.
Testo completo
27
Andersson, Filip. "Fault Diagnosis in Distributed Simulation Systems over Wide Area Networks using Active Probing." Thesis, Linköpings universitet, Programvara och system, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124701.
Testo completoAbstract (sommario):
The domain of distributed simulation is growing rapidly. This growth leads to larger and more complex supporting network architectures with high requirements on availability and reliability. For this purpose, efficient fault-monitoring is required. This work is an attempt to evaluate the viability of an Active probing approach in a distributed simulation system in a wide area network setting. In addition, some effort was directed towards building the probing-software with future extensions in mind. The Active probing approach was implemented and tested against certain performance requirements in a simulated environment. It was concluded that the approach is viable for detecting the health of the network components. However, additional research is required to draw a conclusion about the viability in more complicated scenarios that depend on more than the responsiveness of the nodes. The extensibility of the implemented software was evaluated with the QMOOD-metric and not deemed particularly extensible.
28
Ковтун, Ксенія Генадіївна. "Підготовка і публікація електронних видань в Інтернеті. Інтерактивні елементи керування контентом мультимедійного видання". Thesis, Національний авіаційний університет, 2021. https://er.nau.edu.ua/handle/NAU/50184.
Testo completoAbstract (sommario):
У статті розглянуто основні ключові принципи системи розробки веб-документа та стандартна схема з етапи розробки та публікації веб-документа в Інтернет. На основі вивчення та узагальнення літературних джерел, визначені основні види меню та їх інтерактивність з користувачем<br>The article considers the main key principles of the web document development system and the standard scheme for the stages of development and publication of a web document on the Internet. Based on the study and generalization of literature sources, the main types of menus and their interactivity with the user are identified.
29
Pradines, Maud. "Influence de la maladie du muscle sur la commande descendante dans la parésie spastique et effets cliniques et biomécaniques de l'étirement chronique." Thesis, Paris Est, 2018. http://www.theses.fr/2018PESC0089/document.
Testo completoAbstract (sommario):
La parésie spastique est souvent envisagée comme une atteinte de la commande motrice, comportant une parésie de l’agoniste et une hyperactivité de l’antagoniste. Cependant, une seconde affection d’ordre musculaire - la myopathie spastique, apparait rapidement, pendant la phase aigüe après la lésion. L’hypomobilisation en position courte de certains muscles dans le contexte d’une parésie des muscles opposés s’accompagne d’une perte de leur tension longitudinale, première étape d’une cascade de transformations génétiques, structurelles, biomécaniques puis physiologiques des muscles hypomobilisés, incluant entre autres une perte de leur extensibilité et de leur longueur. Aux stades subaigu puis chronique du syndrome, les affections neurologique et musculaire coexistent, et semblent s’entretenir mutuellement.Sur le plan physiopathologique, ce travail de recherche s’est d’abord intéressé à ces intrications entre les affections neurologique et musculaire, et à la part de responsabilité potentielle de la myopathie spastique dans la fonction active. Ce premier travail a montré que le degré d’hypoextensibilité musculaire d’un antagoniste, au-delà d’un certain seuil, est corrélé au degré de perturbation de la commande motrice dirigée sur l’agoniste. La chronologie des différents événements établie dans la littérature, avec des anomalies histologiques musculaires qui apparaissent toujours avant les premières manifestions d’hyperactivité motoneuronale, amène à suggérer une responsabilité causale de la maladie du muscle dans une partie des perturbations ultérieures de la commande neuronale descendante. Ce rôle probablement essentiel de la maladie musculaire au sein de la parésie spastique doit inciter le clinicien à orienter une part significative de son traitement vers une stimulation optimale de la plasticité musculaire pour tenter de prévenir ou d’inverser le processus de myopathie spastique.Si l’étirement est depuis très longtemps une technique courante, sa capacité à augmenter durablement l’extensibilité musculaire est aujourd’hui controversée, même si ses effets à long terme, i.e. au-delà de six mois d’application quotidienne, n’ont pas été explorés.La deuxième partie, thérapeutique, de ce travail a donc été l’étude des effets à long terme d’un programme quotidien d’auto-étirements de haute intensité au sein de la méthode des Contrats d’Autorééducation Guidée, pendant un an ou plus. Il a d’abord été rétrospectivement montré que ce programme avait permis, sur trois années de suivi de sujets parétiques, une amélioration progressive importante de l’extensibilité musculaire mesurée cliniquement. Un essai randomisé contrôlé contre la kinésithérapie conventionnelle avec mesures échographiques de paramètres structuraux des muscles étirés a ensuite établi que l’application de ce programme durant un an chez des sujets atteints d’hémiparésie chronique sur AVC générait une augmentation de la longueur fasciculaire des muscles fléchisseurs plantaires, parallèlement à une amélioration de la fonction active, de façon nettement plus importante que la thérapie conventionnelle.L’ensemble de ces résultats doit participer à une meilleure prise en compte des altérations passives structurelles évolutives du muscle comme une entité nosologique, la myopathie spastique, méritant un traitement spécifique au sein de la parésie spastique, afin de limiter ses interactions avec la maladie neurologique et de réduire les déficits fonctionnels. La pratique quotidienne de postures d’auto-étirement à haute intensité, guidée par un thérapeute et auto-documentée par le patient sur un registre, peut être prescrite et réalisée sur le long terme, afin de traiter la myopathie spastique<br>Spastic paresis is often understood as a neurologic disorder of the motor command that includes agonist paresis and antagonist overactivity. However, a second disorder, involving the muscle and named spastic myopathy, appears rapidly during the acute phase after the lesion. Hypo-mobilization in shortened position of some muscles of the paretic limbs, in the context of paresis of their antagonists, will reduce their longitudinal tension, which acts as the first event of a cascade of transformations involving genetic, structural, biomechanical, and then physiological mechanisms, leading to loss of muscle extensibility and length. At the subacute and chronic stages of this syndrome, the neurological and the muscular disorders coexist, seemingly feeding on each other.From a pathophysiological point of view, this research work started by exploring the entanglements between the neurological and muscular disorders, and the potential responsibility of spastic myopathy in the impairment of active function. The first study demonstrated that the loss of muscle extensibility in antagonists, when above a certain threshold, correlates with the degree of disturbance of the motor command directed to the agonist. The chronology of events established in the literature, with histological muscle abnormalities emerging always before the first expressions of motoneuronal overactivity, suggests a causal role of the muscle disorder in a part of the descending command disorder. The crucial role of the muscle disorder in the syndrome of spastic paresis should encourage clinicians to direct treatment towards techniques to stimulate muscle plasticity.Despite the classic use of muscle stretching in daily practice, its potential to increase muscle extensibility remains a subject of controversy, even though its long-term effects, i.e. over six months of daily implementation, have not been investigated. The second part of this work was thus therapeutic. We retrospectively explored the long-term effects of a daily, high load self-stretching programme within the Guided Self-rehabilitation Contract method, for at least a year. This work showed that this programme, applied over three years in paretic subjects, was increasingly associated with major gains in clinical muscle extensibility. A randomized controlled trial against conventional therapy, which used ultrasound exploration of structural parameters in the stretched muscles, demonstrated that this programme, applied over one year in subjects with stroke-induced chronic hemiparesis, enabled greater increase in plantar flexor fascicle length and active function improvement than conventional therapy.Taken together, these results will contribute to enhancing the knowledge about the evolving structural and mechanical muscle changes in spastic paresis, as a pathologic entity, spastic myopathy. Spastic myopathy needs to be specifically addressed, as it interacts with the neurological disorder and worsens functional impairment. Daily postures of high load self-stretch, guided by the therapist and self-monitored on a diary, should be prescribed and practiced over the long term, in order to treat spastic myopathy in subjects with spastic paresis
30
Seefried, Sean Computer Science & Engineering Faculty of Engineering UNSW. "Language extension via dynamically extensible compilers." Awarded by:University of New South Wales. Computer Science and Engineering, 2006. http://handle.unsw.edu.au/1959.4/29524.
Testo completoAbstract (sommario):
This dissertation provides the motivation for and evidence in favour of an approach to language extension via dynamic loading of plug-ins. There is a growing realisation that language features are often a superior choice to software libraries for implementing applications. Among the benefits are increased usability, safety and efficiency. Unfortunately, designing and implementing new languages is difficult and time consuming. Thus, reuse of language infrastructure is an attractive implementation avenue. The central question then becomes, what is the best method to extend languages? Much research has focussed on methods of extension based on using features of the language itself such as macros or reflection. This dissertation focuses on a complementary solution: plug-in compilers. In this approach languages are extended at run-time via dynamic extensions to compilers, called plug-ins. Plug-ins can be used to extend the expressiveness, safety and efficiency of languages. However, a plug-in compiler provides other benefits. Plug-in compilers encourage modularity, lower the barrier of entry to development, and facilitate the distribution and use of experimental language extensions. This dissertation describes how plug-in support is added, to both the front and back-end of a compiler, and demonstrates their application through a pair of case studies.
31
Law, Roberta. "Effects of a three-week hamstrings stretch program on muscle extensibility and stretch tolerance in patients with chronic musculoskeletal pain." Connect to full text, 2009. http://hdl.handle.net/2123/5420.
Testo completoAbstract (sommario):
Thesis (M. Phil.)--University of Sydney, 2009.<br>Title from title screen (viewed September 25, 2009) Submitted in fulfilment of the requirements for the degree of Master of Philosophy to the Faculty of Medicine. Includes bibliographical references. Also available in print form.
32
Cherkasov, Stanislav. "Framework integration in practice." Thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-39782.
Testo completoAbstract (sommario):
Development of modern software is a challenging task that requires software developers to leverageexisting functionality by means of reusable code structures, libraries, frameworks and middleware. This allows shortening development time and lowering costs, while keeping resulting software competitive, reliable and maintainable.However, developing software based on reuse of existing libraries and frameworks has its own challenges and requires programmers to be aware of the issuesthey might face.This paper discusses common difficultiesfaced by software developers while developing complex software systems based on reusable libraries and frameworks.The issuesare described along with possible solutions and exemplified by a custom UI framework named AxeZ. AxeZ is designed for customized UI development for Android phones and is built on top of OpenGL and Bullet Physics engine.As a result, AxeZ can be consideredan instanceof successfully designed framework, which implements solutions forthe challenges discussed in this paper. It provides an example of reusable framework targeted for wide area of application in UI programming
33
Marquezan, Clarissa Cassales. "Integrated Cluster Environment (ICE) : plataforma de gerenciamento e de acesso a múltiplos clusters." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2006. http://hdl.handle.net/10183/10270.
Testo completoAbstract (sommario):
Facilitar o gerenciamento e o acesso a sistemas de alto desempenho vem sendo uma área de pesquisa explorada nos últimos anos. Isto acontece uma vez que se verifica o aumento do número de usuários, muitos pertencentes a outras áreas, como por exemplo, biologia, geologia, hidrologia, etc e, desta forma, é preciso facilitar os meios de interação destes usuários com tais sistemas, assim como melhorar as técnicas de gerenciamento dos mesmos. Além do aumento do número e da multidisciplinaridade desses usuários, existe também o fato de que grande parte deles tem acesso a diferentes tipos de sistemas de alto desempenho. Em geral, estes sistemas possuem ferramentas não padronizadas, sendo que cada uma apresenta uma interface e um conjunto de ações e comandos a serem realizados para que possam dispor de suas funcionalidades. Este trabalho propõe a definição de uma arquitetura de gerenciamento e acesso a múltiplos clusters, que seja capaz de ser facilmente extensível, transparente, interoperável e de fácil utilização configuração e manutenção. Como resultado da arquitetura proposta, foi desenvolvido um protótipo, denominado ICE - Integrated Cluster Environment. Os principais objetivos da arquitetura e do ambiente ICE são: (i) capacidade de uniformização do modo como as ferramentas de clusters são utilizadas e, também, uniformização na maneira como os clusters são acessados; (ii) transparência na forma de acesso e uso dos clusters; e (iii) capacidade de extensibilidade em dois níveis: o primeiro refere-se á extensibilidade do número de funcionalidades (serviços) providos pelo sistema e o segundo está relacionado á capacidade do sistema lidar com o uso de diferentes ferramentas que possuem a mesma funcionalidade. Além da descrição da arquitetura e do protótipo, neste trabalho, também é realizada uma avaliação do ambiente ICE. Essa avaliação foi dividida em dois momentos. O primeiro traz a comparação das características do ambiente proposto com algumas ferramentas relacionadas. No segundo momento são apresentados alguns experimentos que visam identificar o overhead inserido pelo ambiente ICE na execução das operaçõess do módulo de gerenciamento de aplicações, desenvolvido e descrito neste trabalho.<br>Some researches have been done over the last years in order to improve the management and access of high performance systems. One of the motivations of these researches is the continuously increase in the number of users who, not rarely, belong to other areas, such as biology, geology, hydrology, etc; so it is necessary to provide some access and also management facilities in these kinds of systems. Furthermore, the users also have access to different kinds of high performance systems, and they have to deal with distinct tools of their underlying, which are not standardize. Therefore, the users need to learn the specificities of each tool in each high performace system that they have permission to access. Aiming to solve this problem, this work proposes an architecture to provide access and management of multiple clusters with extensibility, transparance, interoperability, user-friendly, manageability and maintainability. As a result of the proposed architecture, a prototype called ICE - Integrated Cluster Environment - was developed. The main goals of the architecture and the ICE environment are: (i) the capability of uniforming the manner the cluster tools are used and accessed; (ii) cluster access and transparence use; and (iii) two extensibility levels: the first one refers to capability of extending the number of functionalities/services provided by the environment and the second one concerns to the capability of extending the number of tools, with the same functionality, the system is able to manage. Beyond the architecture and prototype description, this research presents the evaluation of ICE environment, which is divided in two parts. The first one brings the comparison of the features between ICE and some related work. The second part shows some experiments that intend to verify the overhead inserted by ICE environment when performing the tasks of the job management module, also developed and explained in this work.
34
Marchand, De Kerchove Florent. "Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript." Thesis, Nantes, Ecole des Mines, 2016. http://www.theses.fr/2016EMNA0223/document.
Testo completoAbstract (sommario):
Afin de sécuriser les applications web, nous nous sommes intéressés à appliquer des analyses dynamiques de sécurité à des programmes JavaScript. Dansce contexte, pouvoir rapidement modifier l’interpréteur et composer des analyses à l’exécution est primordial. Une façon d’effectuer ces changements aurait été parrefactorisation. Mais la refactorisation peut être délicate et chronophage, car elle implique de réécrire des parties du code source, voire de réorganiser toute l’architecture du programme. La refactorisation est trop coûteuse lorsque prime la vitesse d’itération.Nous explorons une alternative économe à la refactorisation : le détournement. Détourner un programme c’est changer ses résultats sans directement modifierson code source. Pour détourner un programme, on exploite des techniques d’indirection, tels que la portée dynamique et la métaprogrammation.On commence par passer en revue les techniques utilisées pour des problèmes connexes d’extensibilité, et on applique ces techniques pour détourner des interpréteurs simples. Puis, on montre comment le détournement peut aider à construire un interpréteur par incréments, pour permettre d’activer dynamiquement des comportements alternatifs. Enfin, on applique ces techniques pour détourner un véritable interpréteur JavaScript par de multiples analyses dynamiques de sécurité.Au prix d’un potentiel impact en efficacité et en sûreté, détourner l’interpréteur est à la fois plus rapide et plus flexible que de le réécrire, ce qui fait du détournement une alternative légitime à la refactorisation<br>For securing web applications, we were interested in applying dynamic security analyses to JavaScript programs. In this context, the ability to quickly modify the interpreter and to compose analyses at runtime is paramount. One way to effect these changes would have been through refactoring. But refactoring can be tricky and time-consuming, as it entails to rewrite parts of the source code, and even to reorganize the program’s whole architecture. Refactoring is too costly when rapid iteration is preferred.We explore a lightweight alternative to refactoring: diverting. To divert a program is to change its results without directly modifying its source code. To divert a program, we leverage indirection techniques such as dynamic scoping and metaprogramming.We first review the techniques used in related extensibility problems, like the Expression Problem, and apply these techniques to divert simple interpreters. We then show how diverting can help build interpreters incrementally in layers, allowing dynamic activation of alternative behavior. Finally, we apply those techniques to divert a full-blown JavaScript interpreter with multiple dynamic security analyses. We find that, with potential costs in efficiency and program safety, diverting is both faster and more flexible than rewriting the interpreter,thus making diverting a legitimate alternative to refactoring
35
Vanagas, Kęstutis. "IT žinių portalo reitingavimo modelis." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2007. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2007~D_20070816_144237-51951.
Testo completoAbstract (sommario):
Straipsnyje analizuojami egzistuojantys internetinių svetainių reitingavimo metodai. Sudarytas naujas internetinės svetainės reitingavimo modelis lanksčiai skaičiuoja reitinguojamų vienetų, tokių kaip vartotojai, talpinami straipsniai, reitingus, leidžia sistemai dirbti su minimaliu administruojančio asmens įsikišimu bei turi galimybę prapl��sti reitinguojamų vienetų aibę. Reitingavimo sistemos modelis taikomas publikuojamų žinių svetainės struktūrai ir savo pagrindinę funkcinę darbo dalį atlieka autonomiškai.<br>In this article we analyze existence web portal ranking methods. New web portal ranking model suggested which calculates ratings for ranking units, such as users or placed articles. Also this method works without administrative user intervention but has possibility to extend ranking units set without changing data collection structure in data base. This ranking model applicable for news web portal and mainly all functional work performs by itself.
36
Uddin, Md Nesar [Verfasser]. "Effect of salinity in the first phase of salt stress on leaf cell-wall components of maize with special reference to cell-wall extensibility / Md. Nesar Uddin." Gießen : Universitätsbibliothek, 2012. http://d-nb.info/1064838774/34.
Testo completo
37
Studd, James Peter. "Absolute and relative generality." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:9bb22c54-e921-420f-acdc-aee0828bdea8.
Testo completoAbstract (sommario):
This thesis is concerned with the debate between absolutists and relativists about generality. Absolutists about quantification contend that we can quantify over absolutely everything; relativists deny this. The introduction motivates and elucidates the dispute. More familiar, restrictionist versions of relativism, according to which the range of quantifiers is always subject to restriction, are distinguished from the view defended in this thesis, an expansionist version of relativism, according to which the range of quantifiers is always open to expansion. The remainder of the thesis is split into three parts. Part I focuses on generality. Chapter 2 is concerned with the semantics of quantifiers. Unlike the restrictionist, the expansionist need not disagree with the absolutist about the semantics of quantifier domain restriction. It is argued that the threat of a certain form of semantic pessimism, used as an objection against restrictionism, also arises, in some cases, for absolutism, but is avoided by expansionism. Chapter 3 is primarily engaged in a defensive project, responding to a number of objections in the literature: the objection that the relativist is unable to coherently state her view, the objection that absolute generality is needed in logic and philosophy, and the objection that relativism is unable to accommodate ‘kind generalisations’. To meet these objections, suitable schematic and modal resources are introduced and relativism is given a precise formulation. Part II concerns issues in the philosophy of mathematics pertinent to the absolutism/relativism debate. Chapter 4 draws on the modal and schematic resources introduced in the previous chapter to regiment and generalise the key argument for relativism based on the set-theoretic paradoxes. Chapter 5 argues that relativism permits a natural motivation for Zermelo-Fraenkel set theory. A new, bi-modal axiomatisation of the iterative conception of set is presented. It is argued that such a theory improves on both its non-modal and modal rivals. Part III aims to meet a thus far unfulfilled explanatory burden facing expansionist relativism. The final chapter draws on principles from metasemantics to offer a positive account of how universes of discourse may be expanded, and assesses the prospects for a novel argument for relativism on this basis.
38
VIJAYAKUMAR, NEELKUMAR, and GAURAV MEHENDIRATTA. "Role of ICT in Sustainable Transportation-Focus on Reducing Traffic Congestion." Thesis, Högskolan i Borås, Institutionen Handels- och IT-högskolan, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-20443.
Testo completoAbstract (sommario):
Our cities have been continually growing at an uncontrolled rate leading to the problem of trafficcongestion, which has discernable effects on all the aspects of sustainability, be it social,environmental or economical. This continual shift of increasing size of centre and decreasingsize of periphery poses huge sustainability challenge of meeting the consumption demands. Wepresently face the most unprecedented times in terms of the pace at which our natural resourcesare getting consumed. It is clear that replenishing some of these resources is totally out ofquestion. On the other side of the coin, the advances of human technology have provided itsgreatest gift of information & communication technology (ICT). Today we have access to datafrom any point of the world to anywhere. There is a growing need to use this data andinformation with a holistic view to build more Intelligent Transport Systems. In our paper wediscuss how the advent of ICT can have an impact on bringing a sustainable transportationsystem. The work is divided in two folds, by first understanding the direct role of ICT intransport sustainability and then observing the direct correlation between usage of ICT andtravel demand. The problems of traffic congestion and its solutions like congestion pricing haveexisted in practice since ages; the perspective which we add to it is the role of ICT in making itbetter. The greater perspective that is being researched here is at an absolute fundamental leveland takes us to the question if and how ICT can work on root level challenges, like findingmethods to have a better traceability without compromising on privacy, changing driverbehaviour patterns and stopping the expansion of centre & contraction of periphery.
39
Wickramasinghe, Wasanthi Ramyalatha. "Damage detection in suspension bridges using vibration characteristics." Thesis, Queensland University of Technology, 2015. https://eprints.qut.edu.au/87435/1/Wasanthi%20Ramyalatha_Wickramasinghe_Thesis.pdf.
Testo completoAbstract (sommario):
This research developed a method to detect damage in suspension bridges using vibration characteristics. These bridges exhibit complex vibration and hence it is difficult to use traditional vibration based methods to detect damage in them. This research therefore proposed component specific damage indices and verified their capability to detect and locate damage in the main cables and hangers of suspension bridges.
40
Sands, William A., Jeni R. McNeal, Steven R. Murray, Michael W. Ramsey, Kimitake Sato, Satoshi Mizuguchi, and Michael H. Stone. "Stretching and Its Effects on Recovery: A Review." Digital Commons @ East Tennessee State University, 2013. https://dc.etsu.edu/etsu-works/4121.
Testo completoAbstract (sommario):
Stretching is a commonly prescribed exercise activity that has been applied to warm-up, increasing range of motion, and recovery from training. The practitioner should understand the effects of stretching exercise and the inherent differences between types of stretching exercises and activities designed to enhance "looseness" and freedom of motion. Stretching to enhance range of motion may be contraindicated when applied to recovery should be pain-free motion within the constraints of maximum range of motion of a joint.;
41
Špaček, Pavel. "Aplikační platforma v PHP." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235974.
Testo completoAbstract (sommario):
The goal of this work is to create a model of a platform for an application development provided that this platform is implemented in PHP. Applications are built by connecting of functional modules according to desired properties. The run of these applications is provided by the platform.
42
Lebedeva, Inna. "Théorie de l'auto assemblage de copolymères hybrides." Thesis, Pau, 2018. http://www.theses.fr/2018PAUU3023/document.
Testo completoAbstract (sommario):
L’auto-assemblage de macromolécules amphiphiles dans des solutions aqueuses est un mécanisme important sous-jacent à de nombreux processus présents dans les organismes vivants. La formation spontanée de structures auto-organisées de phospholipides et de biomacromolécules se produit en raison d'un équilibre délicat entre les forces d'attraction et de répulsion. Ces forces comprennent l'attraction hydrophobe, la liaison hydrogène, les forces de coordination des métaux et la répulsion stérique ou électrostatique. En outre, l'auto-assemblage de molécules amphiphiles synthétiques est largement utilisé dans divers domaines technologiques. Un exemple frappant est celui des surfactants de faible poids moléculaire qui peuvent modifier de manière significative les propriétés des systèmes. Les autres domaines importants dans lesquels les tensioactifs et les macromolécules amphiphiles sont activement utilisés sont la cosmétologie et l'hygiène. Cependant, l'utilisation de structures auto-organisatrices de macromolécules amphiphiles nécessite une étude approfondie et soulève quelques questions pour les chercheurs concernant leur structure, leur comportement sous l'influence de facteurs externes et leur stabilité. L'objectif principal de la thèse était de développer une théorie de champ analytique auto-cohérente de l'auto-organisation dans des solutions de copolymères de déblocage non ioniques linéaires dendritiques et dendritiques doubles dans des solvants sélectifs. Cette théorie nous permet de prédire comment la dendronisation d'un ou des deux blocs affecte les propriétés structurelles et thermodynamiques d'assemblages auto-organisés formés par des copolymères. Il a été démontré que la dendronisation des corona bloc permet d’obtenir les micelles stables de taille relativement petite, mais avec de nombreux groupes terminaux. Cette dernière caractéristique est particulièrement intéressante dans le contexte de la liberation contrôlée, puisque les groupes terminaux exposés à l'environnement peuvent être facilement fonctionnalisés par des groupes de ligands pouvant être ciblés. Ces deux caractéristiques peuvent être obtenues simultanément car la dendronisation des corona bloc réduit le nombre d'agrégation à l'équilibre et les dimensions globales des micelles par rapport aux micelles formées par des molécules de copolymères diblocs linéaires homologues tout en conservant un grand nombre de groupes terminaux par micelle. La dendronisation du bloc insoluble peut être utilisée pour augmenter le nombre d'unités monomères terminales dans le core. Nous avons également démontré que la dendronisation des blocs solubles favorise la formation de micelles sphériques, alors que les gammes de stabilité thermodynamique des micelles cylindriques et des dendrimersomes sont déplacées vers un degré plus élevé de polymérisation des séquences insolubles. Au contraire, la dendronisation du bloc insoluble a l'effet inverse et conduit à un élargissement des gammes de stabilité des polymeres et des micelles cylindriques.Nous avons étudié les effets de l'extensibilité finie dans les brosses polyélectrolytes à chaîne linéaire et à dendron contenant des groupes ioniques. Nous avons développé la théorie analytique des brosses polyélectrolytiques dans l'approximation de Poisson-Boltzmann qui explique explicitement l'extensibilité finie des chaînes de polyélectrolytes formant des brosses. Il a été montré que pour la même série de paramètres de la brosse, la théorie basée sur l’élasticité non linéaire des polyions prédit une épaisseur de la brosse plus faible et une plus grande amplitude du saut de la densité du polymère au bord du pinceau. Les connaissances obtenues fourniront une base rationnelle pour la conception moléculaire de nouveaux copolymères à blocs complexes sur le plan architectural, y compris ceux destinés à des applications médicales<br>An important mechanism underlying many processes occurring in living organisms is self-assembly of amphiphilic (macro)molecules in aqueous solutions. Spontaneous formation of self-organized structures of phospholipids and biomacromolecules occurs because of a delicate balance between attraction and repulsion forces. Such forces include hydrophobic attraction, hydrogen bonding, metal coordination forces and steric or electrostatic repulsion.In addition, self-assembly of synthetic amphiphilic molecules is widely used in various technical fields. A striking example are low molecular weight surfactants (small amphiphilic molecules) that can significantly change the properties of systems. Other important areas in which surfactants and amphiphilic macromolecules are actively used are cosmetology and hygiene. However, the use of self-organizing structures of amphiphilic macromolecules requires detailed study and raises a few questions for researchers regarding their structure, behavior under the influence of external factors and their stability.The main goal of the present work was development of the theory of self-assembly of diblock copolymers where one or both of blocks (soluble or/and insoluble) exhibit dendritic branching and established relations between degree of branching of the block(s) and structural properties (size, shape, aggregation number) of the self-assembled aggregates.The major focus of the thesis was on developing an analytical self-consistent field theory of self-organization in solutions of non-ionic linear-dendritic and double-dendritic deblock copolymers in selective solvents. This theory enables us to predict how dendronization of one or both blocks affects structural and thermodynamic properties of self-organized assemblies formed by copolymers. It was demonstrated that dendronisation of the corona blocks allows obtaining the stable micelles of relatively small size, but with many terminal groups.The latter feature is most attractive in the context of controlled delivery, since the exposed to the environment terminal groups can be readily functionalized by targetable ligand groups. Both these features can simultaneously be achieved because dendronization of the corona blocks reduces the equilibrium aggregation number and overall dimensions of micelles compared to micelles formed by homologous linear-linear diblock copolymer molecules while keeping large number of terminal groups per micelle. Dendronization of the insoluble block may be used for increasing of the number of terminal monomer units in the core. Such terminal groups can be further functionalized to be able to interact with active drugs, thereby increasing the loading capacity of the micelle.We have also demonstrated that dendronization of the soluble blocks favors formation of spherical micelles, whereas the ranges of thermodynamic stability of cylindrical wormlike micelles and dendrimersomes are shifted to larger degree of polymerisation of the insoluble blocks. On the contrary, dendronization of the insoluble block has the opposite effect and leads to widening of the stability ranges of polymersomes and cylindrical micelles.We investigated effects of finite extensibility (non-linear elasticity) in linear chain and dendron polyelectrolyte brushes containing ionic groups. We developed the analytical theory of polyelectrolyte brushes within the Poisson-Boltzmann approximation which explicitly accounts for finite extensibility of the brush-forming polyelectrolyte chains. It was shown that for the same set of the brush parameters the theory based on non-linear elasticity of the polyions predicts smaller thickness of the brush and larger magnitude of the jump in polymer density at the edge of the brush.The obtained knowledge will provide a rational background for molecular design of novel architecturally complex block copolymers, including those for medical applications
43
Dombroski, Erik. "The influence of cyclic loading on the extensibility of human hamstring muscle-tendon units in vivo a thesis submitted in partial fulfilment for the degree of Master of Health Science, Auckland University of Technology, 2005." Full thesis. Abstract, 2005. http://puka2.aut.ac.nz/ait/theses/DombroskiE.pdf.
Testo completo
44
Breuel, Cristiano Malanga. "Seletores de pontos de junção: um mecanismo de extensão para linguagens e arcabouços orientados a aspectos." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10062008-160304/.
Testo completoAbstract (sommario):
Uma das questões mais importantes nas linguagens e arcabouços orientados a aspectos atuais é a expressividade da linguagem ou mecanismo de definição de pointcuts. A expressividade de uma linguagem de pointcuts impacta diretamente a qualidade dos pointcuts, uma propriedade que pode ser decisiva para a eficácia das implementações de aspectos. Neste trabalho, propomos os seletores de pontos de junção como um mecanismo de extensão simples para enriquecer linguagens de pointcut atuais com elementos que fazem o papel de \"novos pointcuts primitivos\". Os seletores de pontos de junção permitem a criação de pointcuts com maior valor semântico. Apesar de existirem mecanismos similares em algumas abordagens existentes, o conceito subjacente não foi claramente definido ou completamente explorado. Apresentamos também uma arquitetura simples para a adição de seletores de pontos de junção a um arcabouço orientado a aspectos existente, e mostramos exemplos do uso de seletores para melhorar a qualidade de pointcuts e facilitar o desenvolvimento de aspectos.<br>One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut languages directly impacts pointcut quality, a property that can be decisive for the effectiveness of aspect implementations. In this work we propose join point selectors as a simple extension mechanism for enriching current pointcut languages with constructs that play the role of \"new primitive pointcuts\". Join point selectors allow the creation of pointcuts with greater semantic value. Although similar mechanisms can be found in some existing approaches, the underlying concept has not yet been clearly defined nor fully explored. We also present a simple architecture for adding join point selectors to an existing aspect-oriented framework, and show examples of usage of join point selectors to enhance the quality of pointcuts and make aspect development easier.
45
Surajbali, Bholanathsingh, Paul Grace, and Geoff Coulson. "Preserving dynamic reconfiguration consistency in aspect oriented middleware." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4137/.
Testo completoAbstract (sommario):
Aspect-oriented middleware is a promising technology for the realisation of dynamic reconfiguration in heterogeneous distributed systems. However, like other dynamic reconfiguration approaches, AO-middleware-based reconfiguration requires that the consistency of the system is maintained across reconfigurations. AO-middleware-based reconfiguration is an ongoing research topic and several consistency approaches have been proposed. However, most of these approaches tend to be targeted at specific contexts, whereas for distributed systems it is crucial to cover a wide range of operating conditions. In this paper we propose an approach that offers distributed, dynamic reconfiguration in a consistent manner, and features a flexible framework-based consistency management approach to cover a wide range of operating conditions. We evaluate our approach by investigating the configurability and transparency of our approach and also quantify the performance overheads of the associated consistency mechanisms.
46
Msadaa, Nesrine. "L' extensibilité de la marque : définition, déterminants et mesures." Aix-Marseille 3, 2009. http://www.theses.fr/2009AIX32050.
Testo completo
47
Reid, Duncan A. "The effects of acute and periodic stretching interventions on knee extension range of motion and hamstring muscle extensibility in individuals with osteoarthritis of the knee a thesis submitted in partial fulfilment for the degree of Doctor of Health Science, Auckland University of Technology, November 2008." Click here to access this resource online, 2008. http://hdl.handle.net/10292/647.
Testo completo
48
Crouch, Viv, and Anna Goldstein. "A HIGH-DEMAND TELEMETRY SYSTEM THAT MAXIMISES FUTURE EXPANSION AT MINIMUM LIFE-CYCLE COST." International Foundation for Telemetering, 1994. http://hdl.handle.net/10150/608556.
Testo completoAbstract (sommario):
International Telemetering Conference Proceedings / October 17-20, 1994 / Town & Country Hotel and Conference Center, San Diego, California<br>The Aircraft Research and Development Unit (ARDU) of the Royal Australian Air
Force (RAAF) is the only agency in Australia that performs the full spectrum of
military flight testing and is the new custodian of the instrumented weapons range at
Woomera. Receiving early attention will be the upgrade and integration of ARDU's
telemetry systems with the meteorological and tracking data acquisition capabilities at
Woomera to minimize overhead and data turnaround time.
To achieve these goals, maximum modularity, extensibility, and product
interoperability is being sought in the proposed architecture of all the systems that will
need to cooperate on the forecast test programmes. These goals are also driven by the
need to be responsive to a wide variety of tasks which presently include structural
flight testing of fighter and training aircraft, weapons systems performance evaluation
on a variety of combatant aircraft, and a host of other tasks associated with all fixed
and rotary wing aircraft in the Army and Air Force inventory.
Of all these tasks however, ARDU sees that responsiveness to future testing of
F-111Cs fitted with unique Digital Flight Control Systems along with USAF standard
F-111Gs may place the most significant demands on data handling —particularly in
regard to providing an avionics bus diagnostic capability when performing
Operational Flight Programme (OFP) changes to the mission computers.
With the timely assistance and advice of Loral Test & Information Systems, who has
long-term experience in supporting USAF F-111 test programmes, ARDU is confident
of making wise design decisions that will provide the desired flexibility and, at the
same time, minimize life-cycle costs by ensuring compliance with the appropriate
telemetry and open systems standards. As well, via cooperative agreements with the
USAF, the potential exists to acquire proven software products without needing to
fund the development costs already absorbed by the USAF.
This paper presents ARDU's perception of future needs, a view by LTIS of how best
to meet those needs, and, based on ARDU data, a view of how LTIS' proposal will
satisfy the requirement to provide maximum extensibility with minimum life-cycle
costs.
49
Hošták, Martin. "Systém pro podporu managementu rizik." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2009. http://www.nusl.cz/ntk/nusl-236676.
Testo completoAbstract (sommario):
The thesis deals with project management body of knowledge with focus on a risk management. It explained the importance of risk management in software developing projects. Risk management cycle and used methodology is described. The core unit of second part is requirements analysis for risk management support system, description of the application via UML and implementation of application which was created in development environment NetBeans IDE 6.5 in Java language. Conclusion of my thesis contains a short summary and possible way of extension.
50
Pucheral, Philippe. "Extensibilite et performance d'un gerant d'objets pour applications bases de donnees." Paris 6, 1989. http://www.theses.fr/1989PA066646.
Testo completoAbstract (sommario):
Les sgbd extensibles offrent un support evolutif et efficace pour les besoins introduits par les nouvelles applications bases de donnees telles que: genie logiciel, cao/fao, systemes experts. Cette these propose une architecture extensible de sgbd basee sur une boite a outils bases de donnees. Cette boite a outils, appelee geode, offre au concepteur de sgbd des blocs de construction facilitant le developpement d'un sgbd specifique. Geode supporte le stockage et la manipulation de toute structure de donnees complexe et/ou volumineuse. Des mecanismes flexibles de controle de concurrence et de resistance aux pannes sont proposes. Les objectifs, choix d'implantation et mise en uvre de ces outils sont detailles. Enfin, les principes d'extension de la boite a outils sont illustres. Par ailleurs, des memoires centrales de grande capacite font leur apparition. Ce facteur a ete integre dans la conception de geode. Un nouveau modele d'acces et de stockage est propose pour assurer une connexion efficace d'un sgbd relationnel etendu a geode. Ce modele, nomme dbgraph, tire profit du contexte grande memoire offert par geode. Il permet d'executer toutes les operations relationnelles, etendues a la fermeture transitive, par un parcours de graphe en memoire sans aucune comparaison de n-uplet. Cette propriete est conservee sur relations temporaires. Le modele supporte l'execution d'une requete aussi efficacement en mode ensembliste que pipeline. Des evaluations detaillees de cout de stockage et de performance demontrent la compacite et l'efficacite du modele dbgraph en comparaison aux structures d'indexations connues