Bibliographies thématiques / Statit analysis

Littérature scientifique sur le sujet « Statit analysis »

Auteur : Grafiati

Publié le 25 mai 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Statit analysis ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Statit analysis"

Shi, Weiming. « Ongoing professional practice evaluation implementation within STATIT. » Journal of Clinical Oncology 30, n^o 34_suppl (1 décembre 2012) : 283. http://dx.doi.org/10.1200/jco.2012.30.34_suppl.283.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Yuniati, Trihastuti, Aris Rafael Tambunan et 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^o 2 (18 octobre 2022) : 24–28. http://dx.doi.org/10.20895/ledger.v1i2.848.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Dave Marmik M, Dave Marmik M., et Kothari Kartik D. « Static Structure Analysis of Diesel Engine Camshaft ». International Journal of Scientific Research 2, n^o 5 (1 juin 2012) : 208–9. http://dx.doi.org/10.15373/22778179/may2013/69.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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^o 2 (17 mai 2017) : 1781. http://dx.doi.org/10.14687/jhs.v14i2.4440.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Sarkono, Sarkono, Sukarti Moeljopawiro, Bambang Setiaji et 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^o 04 (25 novembre 2015) : 434. http://dx.doi.org/10.22146/agritech.9327.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

J, Manikandan, et Yusuf Mubin A. « Design, Static Analysis and Fabrication of Composite Joints ». International Journal of Psychosocial Rehabilitation 23, n^o 4 (20 juillet 2019) : 180–89. http://dx.doi.org/10.37200/ijpr/v23i4/pr190175.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

McAllester, David. « On the complexity analysis of static analyses ». Journal of the ACM 49, n^o 4 (juillet 2002) : 512–37. http://dx.doi.org/10.1145/581771.581774.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, 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/.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, 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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "Statit analysis"

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Statit analysis"

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Statit analysis"

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Karpel, Mordechay, Sara Yaniv et David Livshits. « Integrated solution for computational static aeroelastic problems ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Nguyen Quang Do, Lisa, et Eric Bodden. « Gamifying static analysis ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Statit analysis"

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!