Bibliografias temáticas / Statit analysis

Literatura científica selecionada sobre o tema "Statit analysis"

Autor: Grafiati

Publicado: 25 de maio de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Índice

Artigos de revistas
Teses / dissertações
Livros
Capítulos de livros
Trabalhos de conferências
Relatórios de organizações

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Statit analysis".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Statit analysis"

Shi, Weiming. "Ongoing professional practice evaluation implementation within STATIT." Journal of Clinical Oncology 30, n.º 34_suppl (1 de dezembro de 2012): 283. http://dx.doi.org/10.1200/jco.2012.30.34_suppl.283.

Texto completo da fonte

Resumo:

283 Background: The OPPE allows the organization to identify professional practice trends that impact quality of care and patient safety. The intent of the standard is that organizations are looking at data on performance for all practitioners with privileges on an ongoing basis, to allow them to take steps to improve performance on a more timely basis. Methods: Infrastructure development. We assigned people for data integration, technical support and metric development. The manager of Clinical Decision Support serve as the administrative coordinator to the program managed the progress of implementation. Leadership Support. To implement the STATIT for OPPE in any hospital, executive leadership support is required to secure funding and resources for the program as well as to support the quality improvement initiatives undertaken that will affect current policies and a wide range of personnel. The early support for the OPPE STATIT came from hospital’s administrative leadership and Performance Improvement leadership. Committed OPPE STATIT implementation team. The basic OPPE STATIT team, consisting of a Manager of Clinical Decision Support, two IT people, and ten Informatics Analysts, requires additional personnel such as departmental Quality Officer with differing expertise for indicator development. Results: All of medical knowledge, patient care activity, and system based indicators plus departmental specific cancer care indicators can be reviewed and any outliers can be drilled down for analysis by division head, department chair and quality officer and signed off on a six-month basis. All individual providers also are able to review his/her performance quality and peers’ comparison. Conclusions: The MIDAS + Statit Physican Profile & Review (PPR) solution is a Web-based system that allows medical providers easy access performance dashboards, which contain up-to-the-moment performance data, annual and interim reviews and drill down to patient level data. The information is necessary to align medical staff with key strategic objectives across the organization. It provides the statistical analysis of patient care quality and safety and opportunities of improvement.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Yuniati, Trihastuti, Aris Rafael Tambunan e Yoso Adi Setyoko. "Implementasi Static Analysis Dan Background Process Untuk Mendeteksi Malware Pada Aplikasi Android Dengan Mobile Security Framework". LEDGER : Journal Informatic and Information Technology 1, n.º 2 (18 de outubro de 2022): 24–28. http://dx.doi.org/10.20895/ledger.v1i2.848.

Texto completo da fonte

Resumo:

Android menjadi sistem operasi yang paling banyak digunakan di antara sekian banyak pilihan sistem operasi untuk perangkat mobile dengan dukungan oleh aplikasi yang beragam guna memudahkan kehidupan manusia dalam beraktifitas Mobile Security Framework (MobSF) adalah framework pengujian otomatis bersifat open-source, yang mampu melakukan uji penetrasi, analisis malware, penilaian keamanan aplikasi seluler dengan analisis statis dan dinamis dalam melakukan proses analisis akan menampilkan hasil berupa laporan mengenai aplikasi android tersebut. Tujuan Penelitian ini adalaha bagaimana menggunakan Mobile Security Framwork (MobSF) sebagai analisis static malware pada aplikasi android. Sample malware akan diambil melalui internet dan menganalisis malware tersebut menggunakan metode analisis statik yang membaca informasi malware lalu dikombinasikan dengan background process android dengan menginstal live pada device android. Peneliti menggunakan Mobile security framework (MobSF) untuk menganalisis statik keamanan dengan parameter dangerous permissions, weak crypto, root detection, SSL bypass dan domain malware check pada aplikasi X8Speeder. Hasil dari analisis, terdeteksi Malware dan memiliki perizinan yang tidak sewajarnya. Seperti yang terlihat, aplikasi game tidak memerlukan izin untuk memodifikasi penyimpanan eksternal smartphone. Maka dari itu, diperlukannya ketelitian pengguna agar tidak sembarangan mengunduh atau mengklik sesuatu ketika berinternet. Kata Kunci: Mobile Security Framework, Static Analysis, Backgrund Proces Android. Android

Estilos ABNT, Harvard, Vancouver, APA, etc.

Dave Marmik M, Dave Marmik M., e Kothari Kartik D. "Static Structure Analysis of Diesel Engine Camshaft". International Journal of Scientific Research 2, n.º 5 (1 de junho de 2012): 208–9. http://dx.doi.org/10.15373/22778179/may2013/69.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sever, Ozan. "Comparison of static and dynamic core exercises’ effects on Stork balance test in soccer players Futbolcularda statik ve dinamik core egzersizlerin Stork denge testine etkisi". Journal of Human Sciences 14, n.º 2 (17 de maio de 2017): 1781. http://dx.doi.org/10.14687/jhs.v14i2.4440.

Texto completo da fonte

Resumo:

This study compared the effects of dynamic and static core training programs on core stability tests and Stork balance performance in soccer players. A Static (n = 14, 18,21±1,81) and Dynamic (n = 13, 17,31±0,63) training groups performed three 30 min sessions per week for eight weeks meanwhile attended routine soccer training sessions with a control group (n = 11, 17,73±1,27). Effects of different core training regimes were compared after eight weeks with two-factor variance analysis (condition X time) for related measures. Two experiment groups improved dynamic and static core stabilization test scores, while control group did not change. Core stabilization tests showed that the improvements of experiment groups affected by the movement specifity and Static group increased static test scores (plank 23,8% - back isometric 28,9% - leg raise 15,6%) while Dynamic group increased mostly the dynamic test scores (sit-up 21,2%, push up 16,2%). For Stork balance, both experiment groups improved the test scores between %18 and %67. While the Static group increased the duration of Stork test on both feet more than the Dynamic group, this difference was statistically significant only for non-dominant foot in intergroup analysis. The static structure of the Stork test may explain the significant improvement in static core group. Results indicate that the positive effect of core training on core stability may improve balance and static core training may be more effective for static balance tests.Extended English abstract is in the end of PDF (TURKISH) file. ÖzetBu çalışmanın amacı, 8 haftalık statik ve dinamik core egzersizlerin futbolcularda core stabilizasyon ve Stork denge performansı üzerine etkisini karşılaştırmaktır. Toplam 38 sporcu (17,75±1,36) Dinamik (n=13, 17,31±0,63), Statik (n=14, 18,21±1,81) ve Kontrol (n=11, 17,73±1,27) grupları olarak üç gruba ayrıldı. Statik ve Dinamik egzersiz grupları 8 hafta, haftada 3 gün, günde yaklaşık 30 dakika statik ya da dinamik egzersizler uygularken, buna karşın kontrol grubu yalnızca futbol antrenmanları gerçekleştirdi. Verilerin analizinde ilişkili ölçümler için iki faktörlü varyans analizi kullanıldı. Tüm core stabilizasyon testlerinde deney grupları anlamlı gelişme görüldü. Kontrol grubunda değişme görülmedi. Gelişmenin hareketin spesifikliğinden etkilendiği, Statik grubun statik test skorlarını daha fazla arttırdığı (plank 23,8% - sırt izometrik 28,9%- bacak kaldırma 15,6%), Dinamik grubun ise dinamik testlerde skorları daha fazla arttırdığı (şınav 16,2% - mekik 21,2%) görüldü. Benzer şekilde, iki deney grubu Stork denge testinde her iki ayak için denge süresini % 18 ile% 67 arasında artırdı. Ama kontrol grubu değişmedi. Statik grup her iki ayak içinde dengede kalma süresini Dinamik gruba göre daha fazla arttırırken, gruplar arası analizde non-dominant ayak ölçümünde bu farklılık istatistiksel olarak anlamlılık g. Denge ölçümünün statik yapıda olması, Statik gruptaki yüksek gelişimi açıklayabilir. Sonuç olarak; dinamik ve statik core egzersizler ile artan core stabilizasyonun statik denge üzerinde olumlu etkisi olduğu tespit edildi. Ancak statik core çalışmalarının statik denge performansı için daha etkili olduğu söylenebilir.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sarkono, Sarkono, Sukarti Moeljopawiro, Bambang Setiaji e Langkah Sembiring. "SIFAT FISIKOKIMIAWI SELULOSA PRODUKSI ISOLAT BAKTERI Gluconacetobacter xylinus KRE-65 PADA METODE FERMENTASI BERBEDA (Physicochemical Properties of Cellulose Produced by Bacterial Isolate Gluconacetobacter xylinus KRE-65 in Different Fermentation Methods)". Jurnal Agritech 35, n.º 04 (25 de novembro de 2015): 434. http://dx.doi.org/10.22146/agritech.9327.

Texto completo da fonte

Resumo:

Physicochemical properties of cellulose produced by local bacterial strain Gluconacetobacter xylinus KRE-65 by static and agitated fermentation methods was studied. Cellulose production by G. xylinus KRE-65 was carried out in coconut base medium with static and agitated fermentation methods. The dry weight, morphological and physicochemicalproperties of bacterial cellulose were compared based on SEM, XRD and FTIR analyses. The results showed that the G. xylinus KRE 65 in the static fermentation produced cellulose higher than agitated fermentation. Static fermentation method produced bacterial cellulose in the sheets form, while agitated fermentation produced fragmented cellulose with predominantly spherical shape. The observation of the surface structure of bacterial cellulose by SEM showed that the static fermentation method generated woven densely cellulose microfibrils, while agitated fermentation significantly changed the surface structure, namely woven microfibrils become more loose with formed larger and higher number of pores. The degree of crystallinity of bacterial cellulose by XRD analysis in static fermentation was 91%, agitated fermentation at 100 rpm was 73% and agitated fermentation at 150 rpm was 72%. FTIR spectra indicated that the pellicles produced by G. xylinus KRE 65 with static and agitated fermentation were found as cellulose. Cellulose produced from both fermentation methods showed different physicochemical properties, therefore they can be applied for different purposes in accordingly.Keywords: Gluconacetobacter xylinus, bacterial cellulose, static fermentation, agitated fermentation ABSTRAKSifat fisikokimiawi selulosa yang dihasilkan oleh strain lokal bakteri Gluconacetobacter xylinus KRE-65 dengan metode fermentasi statis dan agitatif telah diteliti. Produksi selulosa oleh G. xylinus KRE-65 dilakukan dalam media dasar air kelapa dengan metode fermentasi statis dan agitatif. Selulosa yang dihasilkan selanjutnya dibandingkan beratkering, bentuk morfologi dan sifat fisikokimiawinya menggunakan metode SEM, XRD dan FTIR. Hasil penelitian menunjukkan bahwa G. xylinus KRE 65 menghasilkan selulosa lebih tinggi pada metode fermentasi statis dibandingkan fermentasi agitatif. Metode fermentasi statis menghasilkan selulosa bakteri yang berbentuk lembaran sedangkan fermentasi agitatif menghasilkan selulosa yang terpecah-pecah dengan bentuk dominan bulat. Pengamatan struktur permukaan selulosa bakteri dengan SEM memperlihatkan bahwa metode fermentasi statis menghasilkan selulosadengan anyaman mikrofibril yang padat, sedangkan fermentasi agitatif menyebabkan terjadinya perubahan struktur permukaan yaitu melonggarnya anyaman mikrofibril dan terbentuknya pori-pori yang lebih besar dan lebih banyak. Derajat kristalinitas selulosa bakteri dengan analisis XRD pada metode fermentasi statis sebesar 91%, fermentasiagitatif 100 rpm sebesar 73% dan fermentasi 150 rpm sebesar 72%. Spektra FTIR mengindikasikan bahwa pelikel yang dihasilkan oleh G. xylinus KRE 65 pada kedua metode fermentasi tersebut merupakan selulosa. Selulosa yang dihasilkan dari fermentasi statis dan agitatif mempunyai sifat fisikokimiawi yang berbeda sehingga dapat diterapkandalam aplikasi yang berbeda sesuai dengan sifat fisikokimiawi yang dibutuhkan.Kata kunci: Gluconacetobacter xylinus, selulosa bakteri, fermentasi statis, fermentasi agitatif

Estilos ABNT, Harvard, Vancouver, APA, etc.

J, Manikandan, e Yusuf Mubin A. "Design, Static Analysis and Fabrication of Composite Joints". International Journal of Psychosocial Rehabilitation 23, n.º 4 (20 de julho de 2019): 180–89. http://dx.doi.org/10.37200/ijpr/v23i4/pr190175.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Birla, Shilpi, R. K. Singh e Manisha Pattnaik. "Static Noise Margin Analysis of Various SRAM Topologies". International Journal of Engineering and Technology 3, n.º 3 (2011): 304–9. http://dx.doi.org/10.7763/ijet.2011.v3.242.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

McAllester, David. "On the complexity analysis of static analyses". Journal of the ACM 49, n.º 4 (julho de 2002): 512–37. http://dx.doi.org/10.1145/581771.581774.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

François, Stijn, Mattias Schevenels, David Dooms, Miche Jansen, Jef Wambacq, Geert Lombaert, Geert Degrande e Guido De Roeck. "Stabil: An educational Matlab toolbox for static and dynamic structural analysis". Computer Applications in Engineering Education 29, n.º 5 (16 de fevereiro de 2021): 1372–89. http://dx.doi.org/10.1002/cae.22391.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Murakami, Hidenori. "Static and dynamic analyses of tensegrity structures. Part II. Quasi-static analysis". International Journal of Solids and Structures 38, n.º 20 (maio de 2001): 3615–29. http://dx.doi.org/10.1016/s0020-7683(00)00233-x.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Teses / dissertações sobre o assunto "Statit analysis"

Monat, Raphaël. "Static type and value analysis by abstract interpretation of Python programs with native C libraries". Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS263.

Texto completo da fonte

Resumo:

Dans cette thèse, nous avons pour objectif de concevoir, à la fois théoriquement et expérimentalement, des méthodes pour la détection automatique de bogues potentiels dans les logiciels – ou la preuve de leur absence. Ces méthodes sont statiques : elles analysent le code source des programmes sans les exécuter. Nos travaux s’inscrivent dans le cadre de l’interprétation abstraite pour dériver une sémantique sûre et décidable. Le principal objet de ce travail est l’analyse des langages de programmation dynamiques. En particulier, ce travail se concentre sur les programmes écrits en Python, qui peuvent appeler des bibliothèques écrites en C
In this thesis, we aim at designing both theoretically and experimentally methods for the automatic detection of potential bugs in software – or the proof of the absence thereof. This detection is done statically by analyzing programs’ source code without running them. We rely on the abstract interpretation framework to derive sound, computable semantics. In particular, we focus on analyzing dynamic programming languages. The target of this work is the analysis of Python programs combined with native C libraries

Estilos ABNT, Harvard, Vancouver, APA, etc.

SHRESTHA, JAYESH. "Static Program Analysis". Thesis, Uppsala universitet, Informationssystem, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-208293.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Zhang, Hao. "Nondeterministic Linear Static Finite Element Analysis: An Interval Approach". Diss., Available online, Georgia Institute of Technology, 2005, 2005. http://etd.gatech.edu/theses/available/etd-08232005-020145/.

Texto completo da fonte

Resumo:

Thesis (Ph. D.)--Civil and Environmental Engineering, Georgia Institute of Technology, 2006.
White, Donald, Committee Member ; Will, Kenneth, Committee Member ; Zureick, Abdul Hamid, Committee Member ; Hodges, Dewey, Committee Member ; Muhanna, Rafi, Committee Chair ; Haj-Ali, Rami, Committee Member.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Djoudi, Adel. "Binary level static analysis". Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX093.

Texto completo da fonte

Resumo:

Les méthodes de vérification automatique des logiciels connaissent un succès croissant depuis le début des années 2000, suite à plusieurs succès industriels (Microsoft, Airbus, etc.). L'analyse statique vise, à partir d'une description du programme, à inférer automatiquement des propriétés vérifiées par celui-ci. Les techniques standards d'analyse statique travaillent sur le code source du logiciel, écrit par exemple en C ou Java. Cependant, avoir accès au code source n'est pas envisageable pour de nombreuses applications relatives à la sécurité, soit que le code source n'est pas disponible (code mobile, virus informatiques), soit que le développeur ne veut pas le divulguer (composants sur étagère, certification par un tiers).Nous nous intéressons dans cette thèse à la conception et au développement d'une plate-forme d'analyse statique de code binaire à des fins d'analyse de sécurité. Nos principales contributions se font à trois niveaux: sémantique, implémentation et analyse statique.Tout d'abord, la sémantique des programmes binaires analysés est basée sur un formalisme générique appelé DBA qui a été enrichi avec des mécanismes de spécification et d'abstraction. La définition de la sémantique des programmes binaires requiert aussi un modèle mémoire adéquat.Nous proposons un modèle mémoire adapté au binaire, inspiré des travaux récents sur le code C bas-niveau. Ce nouveau modèle permet de profiter de l'abstraction du modèle à régions tout en gardant l'expressivité du modèle plat.Ensuite, notre plate-forme d'analyse de code binaire nommée BinSec offre trois services de base: désassemblage, simulation et analyse statique.Chaque instruction machine est traduite vers un bloc d'instructions DBA avec une sémantique équivalente. Une large partie des instructions x86 est gérée par la plateforme. Une passe de simplification permet d'éliminer les calculs intermédiaires inutiles afin d'optimiser le fonctionnement des analyses ultérieures. Nos simplifications permettent notamment d'éliminer jusqu'à75% des mises à jours de flags.Enfin, nous avons développé un moteur d'analyse statique de programmes binaires basé sur l'interprétation abstraite. Outre des domaines adaptés aux spécificités du code binaire, nous nous sommes concentrés sur le contrôle par l'utilisateur du compromis entre précision/correction et efficacité. De plus, nous proposons une approche originale de reconstruction de conditions dehaut-niveau à partir des conditions bas-niveau afin de gagner plus de précision d'analyse. L'approche est sûre, efficace, indépendante de la plateforme cibleet peut atteindre des taux de reconstruction très élevés
Automatic software verification methods have seen increasing success since the early 2000s, thanks to several industrial successes (Microsoft, Airbus, etc.).Static program analysis aims to automatically infer verified properties of programs, based on their descriptions. The standard static analysis techniques apply on the software source code, written for instance in C or Java. However, access to source code is not possible for many safety-related applications, whether the source code is not available (mobile code, computer virus), or the developer does not disclose it (shelf components, third party certification).We are interested in this dissertation in design and development of a static binary analysis platform for safety analysis. Our contributions are made at three levels: semantics, implementation and static analysis.First, the semantics of analyzed binary programs is based on a generic, simple and concise formalism called DBA. It is extended with some specification and abstraction mechanisms in this dissertation. A well defined semantics of binary programs requires also an adequate memory model. We propose a new memory model adapted to binary level requirements and inspired from recent work on low-level C. This new model allows to enjoy the abstraction of the region-based memory model while keeping the expressiveness of the flat model.Second, our binary code analysis platform BinSec offers three basic services:disassembly, simulation and static analysis. Each machine instruction is translated into a block of semantically equivalent DBA instructions. The platform handles a large part of x86 instructions. A simplification step eliminates useless intermediate calculations in order to ease further analyses. Our simplifications especially allow to eliminate up to 75% of flag updates.Finally, we developed a static analysis engine for binary programs based on abstract interpretation. Besides abstract domains specifically adapted to binary analysis, we focused on the user control of trade offs between accuracy/correctness and efficiency. In addition, we offer an original approach for high-level conditions recovery from low-level conditions in order to enhance analysis precision. The approach is sound, efficient, platform-independent and it achieves very high ratio of recovery

Estilos ABNT, Harvard, Vancouver, APA, etc.

Agrawal, Akash. "Static Analysis to improve RTL Verification". Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/75293.

Texto completo da fonte

Resumo:

Integrated circuits have traveled a long way from being a general purpose microprocessor to an application specific circuit. It has become an integral part of the modern era of technology that we live in. As the applications and their complexities are increasing rapidly every day, so are the sizes of these circuits. With the increase in the design size, the associated testing effort to verify these designs is also increased. The goal of this thesis is to leverage some of the static analysis techniques to reduce the effort of testing and verification at the register transfer level. Studying a design at register transfer level gives exposure to the relational information for the design which is inaccessible at the structural level. In this thesis, we present a way to generate a Data Dependency Graph and a Control Flow Graph out of a register transfer level description of a circuit description. Next, the generated graphs are used to perform relation mining to improve the test generation process in terms of speed, branch coverage and number of test vectors generated. The generated control flow graph gives valuable information about the flow of information through the circuit design. We are using this information to create a framework to improve the branch reachability analysis mainly in terms of the speed. We show the efficiency of our methods by running them through a suite of ITC'99 benchmark circuits.
Master of Science

Estilos ABNT, Harvard, Vancouver, APA, etc.

Borchert, Thomas. "Code Profiling : Static Code Analysis". Thesis, Karlstad University, Faculty of Economic Sciences, Communication and IT, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-1563.

Texto completo da fonte

Resumo:

Capturing the quality of software and detecting sections for further scrutiny within are of high interest for industry as well as for education. Project managers request quality reports in order to evaluate the current status and to initiate appropriate improvement actions and teachers feel the need of detecting students which need extra attention and help in certain programming aspects. By means of software measurement software characteristics can be quantified and the produced measures analyzed to gain an understanding about the underlying software quality.

In this study, the technique of code profiling (being the activity of creating a summary of distinctive characteristics of software code) was inspected, formulized and conducted by means of a sample group of 19 industry and 37 student programs. When software projects are analyzed by means of software measurements, a considerable amount of data is produced. The task is to organize the data and draw meaningful information from the measures produced, quickly and without high expenses.

The results of this study indicated that code profiling can be a useful technique for quick program comparisons and continuous quality observations with several application scenarios in both industry and education.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Lanaspre, Benoit. "Static analysis for distributed prograph". Thesis, University of Southampton, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262726.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Ahmad, S. H. S. "Static analysis of masonry arches". Thesis, University of Salford, 2017. http://usir.salford.ac.uk/43067/.

Texto completo da fonte

Resumo:

The aim of the present research was to provide a practical theoretical model based on elementary statics, for assessment for masonry arch bridges, that benefits from the large scale experimental programme at Salford University, together with insight gained from the Distinct Element numerical modelling work. The need for large scale laboratory controlled load tests of physical models that may be reliably confined to a specific domain of behaviour with known parameters and modelling constraints, was highlighted in chapter 2 with reference to literature. Load tests on various distributions of surcharge were carried and the mechanisms of failure observed. The numerical modelled was shown to agree with expected theoretical behaviour and shown good agreement with experimental results. A theoretical model was developed which benefitted from insight from the experimental and numerical work to provide a means of predicting the failure load of the arch-fill system for the lading arrangements carried out in the physical and numerical tests. The model provided predicted failure loads for a range of material variation within a reasonable expected range and showed promising resemblance to the physical modelling results.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Jakobsson, Filip. "Static Analysis for BSPlib Programs". Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.

Texto completo da fonte

Resumo:

La programmation parallèle consiste à utiliser des architectures à multiples unités de traitement, de manière à ce que le temps de calcul soit inversement proportionnel au nombre d’unités matérielles. Le modèle de BSP (Bulk Synchronous Parallel) permet de rendre le temps de calcul prévisible. BSPlib est une bibliothèque pour la programmation BSP en langage C. En BSPlib on entrelace des instructions de contrôle de la structure parallèle globale, et des instructions locales pour chaque unité de traitement. Cela permet des optimisations ﬁnes de la synchronisation, mais permet aussi l’écriture de programmes dont les calculs locaux divergent et masquent ainsi l’évolution globale du calcul BSP. Toutefois, les programmes BSPlib réalistes sont syntaxiquement alignés, une propriété qui garantit la convergence du ﬂot de contrôle parallèle. Dans ce mémoire nous étudions les trois dimensions principales des programmes BSPlib du point de vue de l’alignement syntaxique : la synchronisation, le temps de calcul et la communication. D’abord nous présentons une analyse statique qui identiﬁe les instructions syntaxiquement alignées et les utilise pour vériﬁer la sûreté de la synchronisation globale. Cette analyse a été implémentée en Frama-C et certiﬁée en Coq. Ensuite nous utilisons l’alignement syntaxique comme base d’une analyse statique du temps de calcul. Elle est fondée sur une analyse classique du coût pour les programmes séquentiels. Enﬁn nous déﬁnissons une condition sufﬁsante pour la sûreté de l’enregistrement des variables. L’enregistrement en BSPlib permet la communication par accès aléatoire à la mémoire distante (DRMA) mais est sujet à des erreurs de programmation. Notre développement technique est la base d’une future analyse statique de ce mécanisme
The goal of scalable parallel programming is to program computer architectures composed of multiple processing units so that increasing the number of processing units leads to an increase in performance. Bulk Synchronous Parallel (BSP) is a widely used model for scalable parallel programming with predictable performance. BSPlib is a library for BSP programming in C. In BSPlib, parallel algorithms are expressed by intermingling instructions that control the global parallel structure, and instructions that express the local computation of each processing unit. This lets the programmer ﬁne-tune synchronization, but also implement programs whose diverging parallel control ﬂow obscures the underlying BSP structure. In practice however, the majority of BSPlib program are textually aligned, a property that ensures parallel control ﬂow convergence. We examine three core aspects of BSPlib programs through the lens of textual alignment: synchronization, performanceandcommunication.First,wepresentastaticanalysisthatidentiﬁestextuallyalignedstatements and use it to verify safe synchronization. This analysis has been implemented in Frama-C and certiﬁed in Coq. Second, we exploit textual alignment to develop a static performance analysis for BSPlib programs, based on classic cost analysis for sequential programs. Third, we develop a textual alignment-based sufﬁcient condition for safe registration. Registration in BSPlib enables communication by Direct Remote Memory Access but is error prone. This development forms the basis for a future static analysis of registration

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mountjoy, Jon-Dean. "Static analysis of functional languages". Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006690.

Texto completo da fonte

Resumo:

Static analysis is the name given to a number of compile time analysis techniques used to automatically generate information which can lead to improvements in the execution performance of function languages. This thesis provides an introduction to these techniques and their implementation. The abstract interpretation framework is an example of a technique used to extract information from a program by providing the program with an alternate semantics and evaluating this program over a non-standard domain. The elements of this domain represent certain properties of interest. This framework is examined in detail, as well as various extensions and variants of it. The use of binary logical relations and program logics as alternative formulations of the framework , and partial equivalence relations as an extension to it, are also looked at. The projection analysis framework determines how much of a sub-expression can be evaluated by examining the context in which the expression is to be evaluated, and provides an elegant method for finding particular types of information from data structures. This is also examined. The most costly operation in implementing an analysis is the computation of fixed points. Methods developed to make this process more efficient are looked at. This leads to the final chapter which highlights the dependencies and relationships between the different frameworks and their mathematical disciplines.
KMBT_223

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Livros sobre o assunto "Statit analysis"

Drăgoi, Cezara, Suvam Mukherjee e Kedar Namjoshi, eds. Static Analysis. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88806-0.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Logozzo, Francesco, e Manuel Fähndrich, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Cousot, Radhia, ed. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44898-5.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Cortesi, Agostino, e Gilberto Filé, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48294-6.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Cousot, Patrick, ed. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Nielson, Hanne Riis, e Gilberto Filé, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74061-2.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Blazy, Sandrine, e Thomas Jensen, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-48288-9.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mycroft, Alan, ed. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Hermenegildo, Manuel V., e Germán Puebla, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Palsberg, Jens, e Zhendong Su, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Capítulos de livros sobre o assunto "Statit analysis"

Merlet, Jean-Pierre. "Static analysis". In Solid Mechanics and Its Applications, 247–67. Dordrecht: Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-010-9587-7_8.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mohanta, Abhijit, e Anoop Saldanha. "Static Analysis". In Malware Analysis and Detection Engineering, 377–402. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-6193-4_12.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Weik, Martin H. "static analysis". In Computer Science and Communications Dictionary, 1657–58. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18153.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Smith, David J. "Static analysis". In Achieving Quality Software, 123–44. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0549-1_11.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Brumley, David. "Static Analysis". In Encyclopedia of Cryptography and Security, 1254–56. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-1-4419-5906-5_839.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Lavit, Christine, e Marie-Odile Pernin. "Solution Using Statis". In Data Analysis, 13–29. Boston, MA: Springer US, 1987. http://dx.doi.org/10.1007/978-1-4615-6790-5_3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

McAllester, David. "On the Complexity Analysis of Static Analyses". In Static Analysis, 312–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48294-6_21.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Hsieh, Harry, Felice Balarin e Alberto Sangiovanni-Vincentelli. "Static Equivalence Analysis". In Synchronous Equivalence, 67–79. Boston, MA: Springer US, 2001. http://dx.doi.org/10.1007/978-1-4615-1659-0_6.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Kukimoto, Yuji, Michel Berkelaar e Karem Sakallah. "Static Timing Analysis". In Logic Synthesis and Verification, 373–401. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-0817-5_14.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Doyle, James F. "Nonlinear Static Analysis". In Mechanical Engineering Series, 169–240. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4757-3546-8_4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "Statit analysis"

Dillon, Laura. "Session details: Static analysis". In ISSTA '08: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2008. http://dx.doi.org/10.1145/3260631.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Gotovchits, Ivan, Rijnard Van Tonder e David Brumley. "Saluki: Finding Taint-style Vulnerabilities with Static Property Checking". In Workshop on Binary Analysis Research. Reston, VA: Internet Society, 2018. http://dx.doi.org/10.14722/bar.2018.23019.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Do, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith e Emerson Murphy-Hill. "Just-in-time static analysis". In ISSTA '17: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3092703.3092705.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Muske, Tukaram, Rohith Talluri e Alexander Serebrenik. "Repositioning of static analysis alarms". In ISSTA '18: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3213846.3213850.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Karpel, Mordechay, Sara Yaniv e David Livshits. "Integrated solution for computational static aeroelastic problems". In 6th Symposium on Multidisciplinary Analysis and Optimization. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1996. http://dx.doi.org/10.2514/6.1996-4012.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mehdi Pourhashem Kallehbasti, Mohammad, e Mohammad Ghafari. "Naturalistic Static Program Analysis". In 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2023. http://dx.doi.org/10.1109/saner56733.2023.00083.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Asher, Sanford A. "Biological Applications of UV Raman Spectroscopy: Static and Dynamical Studies". In Laser Applications to Chemical Analysis. Washington, D.C.: Optica Publishing Group, 1990. http://dx.doi.org/10.1364/laca.1990.ma6.

Texto completo da fonte

Resumo:

The recent development of UV Raman spectroscopy has led to careful studies of the enhancement mechanism of vibrational modes for both small molecules such as amides, small aromatic molecules such as substituted benzene derivatives and also larger molecules such as polycyclic aromatic hydrocarbons, DNA and proteins The objective of the small molecule studies is to characterize the resonance Raman enhancement mechanisms to examine molecular excited state structure. These studies also clarify the resonance Raman enhancement mechanisms which clarify the dependence of Raman enhancement upon molecular environment. We will present an overview of this work as it relates to ongoing UV resonance Raman studies of the heme protein structure and function and the investigation of the details of the hemoglobin cooperativity mechanism.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Nguyen Quang Do, Lisa, e Eric Bodden. "Gamifying static analysis". In ESEC/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3236024.3264830.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Lahiri, Shuvendu K., Kapil Vaswani e C. A. R. Hoare. "Differential static analysis". In the FSE/SDP workshop. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1882362.1882405.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Borodin, Alexey, Andrey Belevantsev, Dmitry Zhurikhin e Alexey Izbyshev. "Deterministic Static Analysis". In 2018 Ivannikov Memorial Workshop (IVMEM). IEEE, 2018. http://dx.doi.org/10.1109/ivmem.2018.00009.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Relatórios de organizações sobre o assunto "Statit analysis"

Wang, Yong-Yi. PR-350-174511-R01 Development of Rational Ovality Limits. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), maio de 2020. http://dx.doi.org/10.55274/r0011669.

Texto completo da fonte

Resumo:

The present work investigated the implication of ovality on pipes under static collapse and fatigue failure limit states. The impact of key contributors to each limit state was quantified through finite element analysis. The feasibility of a uniform ovality limit was explored. Recommendations were provided on the direction and methodology of future research.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oliver, B., T. Dahlgren e M. Miller. NEAMS Static Analysis. Office of Scientific and Technical Information (OSTI), outubro de 2012. http://dx.doi.org/10.2172/1053670.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sevy, R. H. Quasi-static transient analysis. Office of Scientific and Technical Information (OSTI), outubro de 1985. http://dx.doi.org/10.2172/712226.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Barry, Matthew, Eric Bush, Doug Smith, Devesh Bhatt, David Oglesby, Anca Browne e Steve Hickman. Static Analysis Numerical Algorithms. Fort Belvoir, VA: Defense Technical Information Center, abril de 2016. http://dx.doi.org/10.21236/ad1008340.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Maddox III, William H. Incremental Static Semantic Analysis. Fort Belvoir, VA: Defense Technical Information Center, maio de 1997. http://dx.doi.org/10.21236/ada604432.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Newmann, Bobbi, Stephen Prociw, Robert Hull, Gregory Collins e Jonathan Supovitz. State Leadership Development Policies An Analysis of 50 States and Territories. Consortium for Policy Research in Education, fevereiro de 2017. http://dx.doi.org/10.12698/cpre.2017.rr17-1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Walsh, Marie E., Robert L. Perlack, Anthony Turhollow, Daniel de la Torre Ugarte, Denny A. Becker, Robin L. Graham, Stephen E. Slinsky e Daryll E. Ray. Biomass Feedstock Availability in the United States: 1999 State Level Analysis. Office of Scientific and Technical Information (OSTI), janeiro de 2000. http://dx.doi.org/10.2172/1218318.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

O'Boyle, Ernest. Meta-Analysis and Systematic Reviews for the Social Sciences. Instats Inc., 2023. http://dx.doi.org/10.61700/7qu4pskuz9ke8469.

Texto completo da fonte

Resumo:

This meta-analysis seminar will teach you how to confidently conduct a meta-analysis, from start to finish, in whatever substantive area interests you the most. This seminar will show you that the underlying statistics and analytic procedures are straightforward, but meta-analyses are anything but easy and require care, transparency, and accuracy through every step of the process -- from idea formation to interpretation and presentation of results. This seminar will cover all of this in detail so you can confidently plan and conduct your own meta-analyses. An official Instats certificate of completion is provided and 2 ECTS Equivalent points are offered for European PhD students.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Ghormley, Douglas, Geoffrey Reedy e Kirk Landin. Language Independent Static Analysis (LISA). Office of Scientific and Technical Information (OSTI), setembro de 2020. http://dx.doi.org/10.2172/1673452.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Carver-Thomas, Desiree, e Susan Patrick. Understanding Teacher Compensation: A State-by-State Analysis. Learning Policy Institute, abril de 2022. http://dx.doi.org/10.54300/443.847.

Texto completo da fonte

Resumo:

Offering competitive teacher compensation is an important part of the puzzle to recruiting and retaining a strong and diverse teacher workforce. The maps and associated tables that follow show three teacher wage indicators for each state: (1) average annual starting salary for public school teachers, (2) average annual starting salary for public school teachers adjusted for cost-of-living differences across states, and (3) average weekly wage competitiveness—how much teachers earn relative to other college-educated workers in that state. Together, these indicators signal the overall wage conditions underlying efforts to attract and retain well-prepared teachers across a state. The ﬁnal table in the series shows all three indicators for each state. Teacher starting salaries and cost of living vary by district, so within states (with the exception of Hawaii and Washington, DC, which each comprise a single school district), there are districts that will be higher or lower than their state average on these indicators.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!