Bibliographies thématiques / Static tool

Littérature scientifique sur le sujet « Static tool »

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

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 « Static tool ».

À 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 "Static tool"

1

Thomson, Patrick. « Static Analysis : An Introduction ». Queue 19, no 4 (31 août 2021) : 29–41. http://dx.doi.org/10.1145/3487019.3487021.

Texte intégral
Résumé :
Modern static-analysis tools provide powerful and specific insights into codebases. The Linux kernel team, for example, developed Coccinelle, a powerful tool for searching, analyzing, and rewriting C source code; because the Linux kernel contains more than 27 million lines of code, a static-analysis tool is essential both for finding bugs and for making automated changes across its many libraries and modules. Another tool targeted at the C family of languages is Clang scan-build, which comes with many useful analyses and provides an API for programmers to write their own analyses. Like so many things in computer science, the utility of static analysis is self-referential: To write reliable programs, we must also write programs for our programs. But this is no paradox. Static-analysis tools, complex though their theory and practice may be, are what will enable us, and engineers of the future, to overcome this challenge and yield the knowledge and insights that we practitioners deserve.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Imbert, C. A. C., et H. J. McQueen. « Static Recrystallization of Tool Steels ». Materials Science Forum 539-543 (mars 2007) : 4458–63. http://dx.doi.org/10.4028/www.scientific.net/msf.539-543.4458.

Texte intégral
Résumé :
Double-twist torsion tests were used to determine static softening in the hot working range of three tool steels – W1, a carbon steel (1.03% C - 0.8% other elements), A2 and D2, a medium and a high alloy steel, containing 8.45% and 14.82% alloying elements. The carbon steel, that was single-phase austenite in the hot-working range, experienced rapid static recrystallization due to increased diffusion rate caused by C in hot austenite, very little alloying solute and no carbides. Carbides in alloy tool steels, which exist throughout the hot-working range, have a retarding effect on the progress of recrystallization but are responsible for enhancing initiation due to formation of nuclei at the strain concentration near the particle/matrix interface. Static recrystallization (SRX) of the alloy tool steels was compared with austenitic stainless steels, with similar strengths but much greater alloying content, and with microalloyed steels, as well as with the dynamic recrystallization kinetics.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Milind Shinde, Mrunmayee, et A. S. Rao. « Static collision detection using visualization tool ». Materials Today : Proceedings 5, no 13 (2018) : 27220–24. http://dx.doi.org/10.1016/j.matpr.2018.09.035.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Tiganov, Daniil, Lisa Nguyen Quang Do et Karim Ali. « Designing UIs for Static Analysis Tools ». Queue 19, no 4 (31 août 2021) : 97–118. http://dx.doi.org/10.1145/3487019.3487026.

Texte intégral
Résumé :
Static-analysis tools suffer from usability issues such as a high rate of false positives, lack of responsiveness, and unclear warning descriptions and classifications. Here, we explore the effect of applying user-centered approach and design guidelines to SWAN, a security-focused static-analysis tool for the Swift programming language. SWAN is an interesting case study for exploring static-analysis tool usability because of its large target audience, its potential to integrate easily into developers' workflows, and its independence from existing analysis platforms.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Dewar, Robert B. K. « The compiler as a static analysis tool ». ACM SIGAda Ada Letters XXVII, no 3 (17 novembre 2007) : 83–88. http://dx.doi.org/10.1145/1315607.1315601.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Koshelev, V. K., V. N. Ignatiev, A. I. Borzilov et A. A. Belevantsev. « SharpChecker : Static analysis tool for C# programs ». Programming and Computer Software 43, no 4 (juillet 2017) : 268–76. http://dx.doi.org/10.1134/s0361768817040041.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Gawade, Makarand, K. Ravikanth et Sanjeev Aggarwal. « Constantine : configurable static analysis tool in Eclipse ». Software : Practice and Experience 44, no 5 (7 décembre 2012) : 537–63. http://dx.doi.org/10.1002/spe.2173.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Wang, Han, Tianjian Li, Xizhi Sun, Diane Mynors et Tao Wu. « Optimal Design Method for Static Precision of Heavy-Duty Vertical Machining Center Based on Gravity Deformation Error Modelling ». Processes 10, no 10 (24 septembre 2022) : 1930. http://dx.doi.org/10.3390/pr10101930.

Texte intégral
Résumé :
Due to the large size and large span of heavy-duty machine tools, the structural deformation errors caused by gravity account for a large proportion of the static errors, and the influence of gravity deformation must thus be considered in the machine tool precision design. This paper proposes a precision design method for heavy-duty vertical machining centers based on gravity deformation error modelling. By abstracting the machine tool into a multibody system topology, the static error model of the machine tool is established based on the multibody system theory and a homogeneous coordinate transformation. Assuming that the static error of each motion axis is composed of two parts, i.e., the manufacturing-induced geometric error and the gravity deformation error, the machine tool stiffness model of the relationship between gravity and deformation error is developed using the spatial beam elements. In the modelling process, the stiffness coefficients and volume coefficients of the components are introduced to fully consider the influences of structural parameters on machine tool precision. Taking the machine tool static precision, the component stiffness coefficients and the volume coefficients as the design variables, based on the use of the worst condition method, error sensitivity analysis and global optimization algorithm, the optimal allocation of the static error budget of the machine tool and the structural design requirements of each component are determined, providing a valuable guide for the detailed structure design and manufacture processing of the machine tool components.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Guo, Ting Ting, Teng Jiao Sun et Fang Shao. « Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool ». Applied Mechanics and Materials 543-547 (mars 2014) : 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.

Texte intégral
Résumé :
Taking a grinding machine tool as an example, this paper obtained the static stiffness of the machine tool by finite element analysis method. The structure and technical parameters of the machine tool were introduced at first.Then, the finite element model of the machine tool was established. The static stiffness of the machine tool in x-, y-, and z-directions were simulated at last. The results show that, the static stiffness in x-direction is 2.0062×107 N/m, the static stiffness in y-direction is 0.821×107 N/m, and the static stiffness in z-direction is 0.2992×107 N/m. This paper provides advices for structure optimization of the machine tool which is convenient for improving the machining accuracy.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Zaus, Mahesi Agni, Rizky Ema Wulansari, Syaiful Islami et Doni Pernanda. « Perancangan Media Pembelajaran Listrik Statis dan Dinamis Berbasis Android ». INTECOMS : Journal of Information Technology and Computer Science 1, no 1 (13 mars 2018) : 1–7. http://dx.doi.org/10.31539/intecoms.v1i1.140.

Texte intégral
Résumé :
This study discusses about design of static electricity and dynamic electricity learning media based on Android. designed learning media containing static and dynamic electrical materials that are abstract and not visible to see. The material is described in real and easily understood by learners. The method used in the design of learning media is System Development Life Cycle Waterfall model. And the design model of learning media using Unified Modeling Language with Use case diagram, flowchart and then developed using Adobe Flash CS6 tool. The results of this study indicate that the learning tool of static and dynamic electricity based on android easy to use for learners and teachers in the learning process.Keyword : Learning Tools, Android, Static Electricity, Dynamic Electricity
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "Static tool"

1

Tao, Hongjing. « Static analyzer, a design tool for TROM ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0002/MQ44886.pdf.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Morgenthaler, John David. « Static analysis for a software transformation tool / ». Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1997. http://wwwlib.umi.com/cr/ucsd/fullcit?p9804509.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Dutko, Adam M. « THE RELATIONAL DATABASE : A NEW STATIC ANALYSIS TOOL ? » Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Baca, Dejan. « Automated static code analysis : A tool for early vulnerability detection ». Licentiate thesis, Karlskrona : Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00429.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Eads, Joshua Michael. « EtherAnnotate : a transparent malware analysis tool for integrating dynamic and static examination ». Diss., Rolla, Mo. : Missouri University of Science and Technology, 2010. http://scholarsmine.mst.edu/thesis/pdf/Eads_09007dcc807a2d75.pdf.

Texte intégral
Résumé :
Thesis (M.S.)--Missouri University of Science and Technology, 2010.
Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed May 4, 2010) Includes bibliographical references (p. 65-68).
Styles APA, Harvard, Vancouver, ISO, etc.
6

Gustafson, Christopher, et Sam Florin. « Qualification of Tool for Static Code Analysis : Processes and Requirements for Approval of Static Code Analysis in the Aviation Industry ». Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277941.

Texte intégral
Résumé :
In the aviation industry, the use of software development tools is not as easily adopted as in other industries. Due to the catastrophic consequences of software errors in airborne systems, software development processes has rigorous requirements. One of these requirements is that a code standard must be followed. Code standards are used to exclude code constructions which could result in unwanted behaviours. The process of manually ensuring a specific code standard can be costly. This process could be automated by a tool for static code analysis, however, this requires a formal qualification. This thesis evaluates the process of qualifying a tool for static code analysis in accordance with the requirements of the major aviation authorities EASA and FAA. To describe the qualification process, a literature study was conducted. To further explain how an existing tool could be put through the qualification process, a case study of the existing tool Parasoft C/C++ test was conducted. The results of the literature study show what processes must be completed in order to qualify a static code analysis tool. Importantly, the study shows that no requirements are put on the development process of the tool. This was an important takeaway as it meant that an existing tool could be qualified without any additional data from the developer of the tool. The case study of Parasoft C/C++ test showed how the tool could be configured and verified to analyze code in accordance with a small set of code rules. Furthermore, three documents including qualification data were produced showing how the qualification process should be documented in order to communicate the process to an authority. The results of the thesis do not provide the full picture of how a tool could be qualified as the software, in which the tool is used, is considerations the are specific to the software the tool is used to develop still need to be taken into consideration. The thesis does, however, provide guidance on the majority of the applicable requirements. Future research could be done to provide the complete picture of the qualification process, as well as how the process would look like for other types of tools.
Inom flygindustrin är användandet av olika programmeringsverktyg inte lika självklart som inom andra industrier. På grund av de katastrofala konsekvenser som fel i mjukvaran i ett flygplan kan resultera i finns det rigorösa krav på mjukvaruutvecklingsprocessen. Ett av dessa krav är att en viss kodstandard måste upprätthållas. Kodstandarder används för att exkludera vissa strukturer i kod som kan leda till oönskat beteende. Upprätthållandet av en viss kodstandard är en långdragen process att genomföra manuellt, och kan därför automatiseras med hjälp av ett statiskt kodanalysverktyg. För att kunna använda ett sådant verktyg behövs däremot en formell verktygskvalificering. I denna uppsats kommer kvalificeringsprocessen av ett verktyg för statisk kodanalys att evalueras enligt de krav som de två stora flygmyndigheterna EASA och FAA ställer. För att förklara processen av att kvalificera ett sådant verktyg gjordes en litteraturstudie följt av en fallstudie av det existerande verktyget Parasoft C/C++ test. Resultaten av litteraturstudien beskriver de olika processerna som måste genomföras för att kvalificera ett statiskt kodanalysverktyg. Noterbart är att resultaten visar att inga krav ställs på utvecklingsprocessen av verktyget själv. Detta betyder att ett existerande kommersiellt verktyg kan kvalificeras utan att verktygsutvecklarna själva behöver bidra med extra information. Fallstudien visade hur verktyget Parasoft C/C++ test kan konfigureras och verifieras att följa en viss kodstandard. Vidare resulterade fallstudien i utkast av de nödvändiga dokumenten som behöver produceras för att kommunicera kvalificeringsprocessen till en myndighet. De resultat som presenteras i denna uppsats är i sig inte tillräckliga för beskriva hela kvalificeringsprocessen. Ytterligare överväganden som är specifika till den mjukvaran som verktyget ska användas till att utveckla måste göras för att en komplett kvalificering ska kunna genomföras. Uppsatsen bidrar däremot med riktlinjer och vägledning av majoriteten av de processerna som behöver genomföras. Ytterligare forskning kan göras för att bidra med den kompletta bilden av verktygskvalificering av ett statiskt kodanalysverktyg, samt hur kvalificering kan göras av andra typer av verktyg.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Al, Awadi Wali. « An Assessment of Static and Dynamic malware analysis techniques for the android platform ». Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2015. https://ro.ecu.edu.au/theses/1635.

Texte intégral
Résumé :
With Smartphones becoming an increasingly important part of human life, the security of these devices is very much at stake. The versatility of these phones and their associated applications has fostered an increasing number of mobile malware attacks. The purpose of the research was to answer the following research questions: 1. What are the existing methods for analysing mobile malware? 2. How can methods for analysing mobile malware be evaluated? 3. What would comprise a suitable test bed(s) for analysing mobile malware? The research analyses and compares the various tools and methods available for compromising the Android OS and observing the malware activity before and after its installation onto an Android emulator. Among several available tools and methods, the approach made use of online scanning engines to perform pre installation of mobile malware analysis and the AppUse (Android Pentest Platform Unified Standalone Environment) tool to perform post installation. Both the above approaches facilitate better analysis of mobile malware before and after being installed onto the mobile device. This is because, with malware being the root cause of many security breaches, the developed mobile malware analysis allows future security practitioners in this field to determine if newly developed applications are malicious and, if so, what would their effect be on the target. In addition, the AppUse tool can allow security practitioners to first establish the behaviour of post installed malware infections onto the Android emulator then be able to effectively eliminate malware from individual systems as well as the Google Play Store. Moreover, mobile malware analysis can help with a successful incident response, assisting with mitigating the loss of intellectual property, personal information as well as other critical private data. It can strive to limit the damage of a security breach or to reduce the scope of damage of an attack. The basic structure of the research work began with a dynamic analysis, followed by a static analysis: a) Mobile malware were collected and downloaded from the Contagio website to compromise an Android emulator, b) Mobile malware were uploaded onto five online scanning engines for dynamic analysis to perform pre installation analysis, and c) AppUse tool was implemented and used for static analysis to perform post installation analysis by making use of its: a. Android emulator and, b. JD-GUI and Dex2Jar tools. The findings were that the AppUse methodology used in the research was successful but the outcome was not as anticipated. This was because the installed malicious applications on the Android emulator did not generate the derived behavioural reports; instead, only manifest files in xml format. To overcome this issue, JD-GUI and Dex2Jar tools were used to manually generate the analysis results from the Android emulator to analyse malware behaviour. The key contribution of this research work is the proposal of a dynamic pre-installation and a static post-installation analysis of ten distinct Android malware samples. To our knowledge, no research has been conducted on post installation of mobile malware analysis and this is the first research that uses the AppUse tool for mobile malware analysis.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Woods, Brian Keith. « Development of an active pulsed radar receiver for a mono-static borehole-radar tool ». Thesis, Stellenbosch : University of Stellenbosch, 2003. http://hdl.handle.net/10019.1/2512.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Silva, Antonio Carlos Fernandes da. « ChipCflow : tool for convert C code in a static dataflow architecture in reconfigurable hardware ». Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-141638/.

Texte intégral
Résumé :
A growing search for alternative architectures and softwares have been noted in the last years. This search happens due to the advance of hardware technology and such advances must be complemented by innovations on design methodologies, test and verification techniques in order to use technology effectively. Alternative architectures and softwares, in general, explores the parallelism of applications, differently to Von Neumann model. Among high performance alternative architectures, there is the Dataflow Architecture. In this kind of architecture, the process of program execution is determined by data availability, thus the parallelism is intrinsic in these systems. The dataflow architectures become again a highlighted search area due to hardware advances, in particular, the advances of Reconfigurable Computing and Field Programmable Gate Arrays (FPGAs). ChipCflow projet is a tool for execution of algorithms using dynamic dataflow graph in FPGA. In this thesis, the development of a code conversion tool to generate aplications in a static dataflow architecture, is described. Also the ChipCflow project where the code conversion tool is part, is presented. The specification of algorithm to be converted is made in C language and converted to a hadware description language, respecting the proposed by ChipCflow project. The results are the proof of concept of converting a high-level language code for dataflow architecture to be used into a FPGA.
Existe uma crescente busca por softwares e arquiteturas alternativas. Essa busca acontece pois houveram avanços na tecnologia do hardware, e estes avanços devem ser complementados por inovações nas metodologias de projetos, testes e verificação para que haja um uso eficaz da tecnologia. Os software e arquiteturas alternativas, geralmente são modelos que exploram o paralelismo das aplicações, ao contrário do modelo de Von Neumann. Dentre as arquiteturas alternativas de alto desempenho, tem-se a arquitetura a fluxo de dados. Nesse tipo de arquitetura, o processo de execução de programas é determinado pela disponibilidade dos dados, logo o paralelismo está embutido na própria natureza do sistema. O modelo a fluxo de dados possui a vantagem de expressar o paralelismo de maneira intrínseca, eliminando a necessidade do programador explicitar em seu código os trechos onde deve haver paralelismo. As arquiteturas a fluxo de dados voltaram a ser uma área de pesquisa devido aos avanços do hardware, em particular, os avanços da Computação Reconfigurável e dos Field Programmable Gate Arrays (FPGAs).Nesta tese é descrita uma ferramenta de conversão de código que visa a geração de aplicações utilizando uma arquitetura a fluxo de dados estática. Também é descrito o projeto ChipCflow, cuja ferramenta de conversão de código, descrita nesta tese, é parte integrante. A especificação do algoritmo a ser convertido é feita em linguagem C e convertida para uma linguagem de descrição de hardware, respeitando o modelo proposto pelo ChipCflow. Os resultados alcançados visam a prova de conceito da conversão de código de uma linguagem de alto nível para uma arquitetura a fluxo de dados a ser configurada em FPGA.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Hubert, Laurent. « Foundations and implementation of a tool bench for static analysis of Java bytecode programs ». Rennes 1, 2010. http://www.theses.fr/2010REN1S122.

Texte intégral
Résumé :
In this thesis we study the static analysis of Java bytecode and its semantics foundations. The initialization of an information system is a delicate operation where security properties are enforced and invariants installed. Initialization of fields, objects and classes in Java are difficult operations. These difficulties may lead to security breaches and to bugs, and make the static verification of software more difficult. This thesis proposes static analyses to better master initialization in Java. Hence, we propose a null pointer analysis that finely tracks initialization of fields. It allows proving the absence of dereferencing of null pointers (NullPointerException) and refining the intra-procedural control flow graph. We present another analysis to refine the inter-procedural control flow due to class initialization. This analysis directly allows inferring more precise information about static fields. Finally, we propose a type system that allows enforcer secure object initialization, hence offering a sound and automatic solution to a known security issue. We formalize these analyses, their semantic foundations, and prove their soundness. Furthermore, we also provide implementations. We developed several tools from our analyses, with a strong focus at having sound but also efficient tools. To ease the adaptation of such analyses, which have been formalized on idealized languages, to the full-featured Java bytecode, we have developed a library that have been made available to the community and is now used in other research labs across Europe
Dans cette thèse, nous nous intéressons à l’analyse statique du bytecode Java. L’initialisation d’un système d’information est une phase délicate où des propriétés de sécurité sont vérifiées et des invariants installés. L’initialisation en Java pose des difficultés, que ce soit pour les champs, les objets ou les classes. De ces difficultés peuvent résulter des failles de sécurité, des erreurs d’exécution (bugs), ou une plus grande difficulté à valider statiquement ces logiciels. Cette thèse propose des analyses statiques répondant aux problèmes d’initialisation de champs, d’objets et de classes. Ainsi, nous décrivons une analyse de pointeurs nuls qui suit finement l’initialisation des champs et permet de prouver l’absence d’exception de pointeur nuls (NullPointerException) et de raffiner le graphe de flot de contrôle intra-procédural. Nous proposons aussi une analyse pour raffiner le graphe de flot de contrôle inter-procédural liée à l’initialisation de classe et permettant de modéliser plus finement le contenu des champs statiques. Enfin, nous proposons un système de type permettant de garantir que les objets manipulés sont complètement initialisés, et offrant ainsi une solution formelle et automatique à un problème de sécurité connu. Les fondations sémantiques de ces analyses sont données. Les analyses sont décrites formellement et prouvées correctes. Pour pouvoir adapter ces analyses, formalisées sur de petits langages, au bytecode, nous avons développé une bibliothèque logicielle. Elle nous a permis de produire des prototypes efficaces gérant l’intégralité du bytecode Java
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Static tool"

1

United States. Internal Revenue Service. Ogden Service Center. Career Counseling Cadre. Managers' tool for career path counseling. Washington, D.C.?] : Department of the Treasury, Internal Revenue Service, 1991.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

United States. Dept. of Commerce. Office of Acquisition Management., dir. Annual performance management assessment tool (PMAT) report. [Washington, D.C.] : U.S. Dept. of Commerce, Office of Acquisition Management, 1998.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Adaskin, Anatoliy. Instrumental materials in mechanical engineering. ru : INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1870562.

Texte intégral
Résumé :
The textbook presents materials for the manufacture of cutting, stamping, plumbing, auxiliary, control and measuring tools: tool, high-speed and die steels, hard alloys, cutting ceramics, superhard materials. In the second edition, carbide steels, cermets, and heat-resistant alloys for the manufacture of hot deformation dies are additionally considered. The chapter devoted to methods for determining the properties of tool materials has been supplemented with a methodology that establishes the relationship between micro- and macrohardness. The operational and technological properties of materials and areas of their rational use, wear-resistant tool coatings and structural materials for prefabricated, welded and soldered tools are considered. The appendices contain recommendations of state standards on the use of various instrumental materials. Meets the requirements of the latest generation Federal State Educational Standard. It is intended for students of higher educational institutions studying in the areas of training "Technology, equipment and automation of machine-building industries", "Design and technological support of machine-building industries", "Automated technologies and production", "Materials Science and technology of metals". It will be useful for engineers and graduate students of mechanical engineering specialties.
Styles APA, Harvard, Vancouver, ISO, etc.
4

United States. General Accounting Office. RCED., dir. A superfund tool for more efficient cleanups. Washington, D.C : The Office, 1996.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

United States. General Accounting Office. RCED, dir. A superfund tool for more efficient cleanups. Washington, D.C : The Office, 1996.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

United States. General Accounting Office. RCED., dir. A superfund tool for more efficient cleanups. Washington, D.C : The Office, 1996.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Sheila, Martin. The effectiveness of state technology incentives : Evidence from the machine tool industry. Ames, Iowa : Center for Agricultural and Rural Development, Iowa State University, 1994.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Petrova, Inga. Digital technologies as a financial control tool. ru : INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1234413.

Texte intégral
Résumé :
The textbook reveals the concept and meaning of digital technologies, the legal nature of information interaction in the implementation of control measures based on general theoretical concepts and regulatory legal acts. Special attention is paid to the types of information systems used in the control process in the financial and budgetary sphere. The necessity of creating information systems based on international experience, global indices and rules of the Organization for Economic Cooperation and Development (OECD) is justified. The article defines the specific characteristics of the state information systems used in the control (monitoring) in the financial and budgetary sphere, and also considers the subsystems that make up the state integrated information system "Electronic Budget" and other information systems in the information space of the Russian Federation. The article analyzes interdepartmental information interaction and digital methods that ensure the protection of information in the course of financial control. For graduate students, postgraduates and teachers of law and non-legal universities, as well as for practitioners.
Styles APA, Harvard, Vancouver, ISO, etc.
9

United States. Environmental Protection Agency. Office of Research and Development. ORD information tools. [Washington, D.C.?] : U.S. Environmental Protection Agency, Research and Development, 1987.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Newby, Claude. It Took Heroes. New York : Random House Publishing Group, 2009.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Static tool"

1

Imbert, C. A. C., et H. J. McQueen. « Static Recrystallization of Tool Steels ». Dans THERMEC 2006, 4458–63. Stafa : Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-428-6.4458.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Nordin, Magnus, Thomas Lindgren et Håkan Millroth. « IGOR : A tool for developing Prolog dataflow analyzers ». Dans Static Analysis, 420–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_54.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Nielson, Flemming. « Semantics-directed program analysis : A tool-maker's perspective ». Dans Static Analysis, 2–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_30.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Fecht, Christian. « GENA — A tool for generating Prolog analyzers from specifications ». Dans Static Analysis, 418–19. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_53.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Besson, Frédéric, Thomas Jensen et Pierre Vittet. « SawjaCard : A Static Analysis Tool for Certifying Java Card Applications ». Dans Static Analysis, 51–67. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Spoto, Fausto. « Watchpoint Semantics : A Tool for Compositional and Focussed Static Analyses ». Dans Static Analysis, 127–45. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Hall, Robert J. « Open Modeling in Multi-stakeholder Distributed Systems : Research and Tool Challenges ». Dans Static Analysis, 2. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5_2.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Ponce-de-León, Hernán, Florian Furbach, Keijo Heljanko et Roland Meyer. « Portability Analysis for Weak Memory Models porthos : One Tool for all Models ». Dans Static Analysis, 299–320. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66706-5_15.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Kalnina, Elina, et Audris Kalnins. « DSL Tool Development with Transformations and Static Mappings ». Dans Models in Software Engineering, 356–70. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01648-6_37.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Bardsley, Ethel, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew et Shaz Qadeer. « Engineering a Static Verification Tool for GPU Kernels ». Dans Computer Aided Verification, 226–42. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08867-9_15.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Static tool"

1

Chiang, Jim, Allison Stephens et Jim Potvin. « Retooling Jack’s Static Strength Prediction Tool ». Dans 2006 Digital Human Modeling for Design and Engineering Conference. 400 Commonwealth Drive, Warrendale, PA, United States : SAE International, 2006. http://dx.doi.org/10.4271/2006-01-2350.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Imashev, Alfarabi. « Sign Language Static Gestures Recognition Tool Prototype ». Dans 2017 IEEE 11th International Conference on Application of Information and Communication Technologies (AICT). IEEE, 2017. http://dx.doi.org/10.1109/icaict.2017.8687032.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Dewar, Robert B. K. « The compiler as a static analysis tool ». Dans the 2007 ACM international conference. New York, New York, USA : ACM Press, 2007. http://dx.doi.org/10.1145/1315580.1315601.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Noman, Haitham Ameen, Qusay Al-Maatouk et Sinan Ameen Noman. « A Static Analysis Tool for Malware Detection ». Dans 2021 International Conference on Data Analytics for Business and Industry (ICDABI). IEEE, 2021. http://dx.doi.org/10.1109/icdabi53623.2021.9655866.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Khulape, Vishal D., Vijay N. Patil et Vinay Sharma. « Improved Static Timing Path Analyzer for DSCH Tool ». Dans 2017 International Conference on Computing, Communication, Control and Automation (ICCUBEA). IEEE, 2017. http://dx.doi.org/10.1109/iccubea.2017.8463706.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Newman, Christian D., Jonathan I. Maletic et Michael L. Collard. « srcType : A Tool for Efficient Static Type Resolution ». Dans 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2016. http://dx.doi.org/10.1109/icsme.2016.38.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Shah, Bhasha M., et Usha Mehta. « Development of Static Timing Analysis Tool in Perl ». Dans 2020 International Conference on Recent Trends on Electronics, Information, Communication & Technology (RTEICT). IEEE, 2020. http://dx.doi.org/10.1109/rteict49044.2020.9315618.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Harrison, Warren. « An extensible static analysis tool for COBOL programs ». Dans the 15th annual conference. New York, New York, USA : ACM Press, 1987. http://dx.doi.org/10.1145/322917.322962.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Imtiaz, Nasif, Akond Rahman, Effat Farhana et Laurie Williams. « Challenges with Responding to Static Analysis Tool Alerts ». Dans 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE, 2019. http://dx.doi.org/10.1109/msr.2019.00049.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Li, Junjie, et Jinqiu Yang. « StaticTracker : A Diff Tool for Static Code Warnings ». Dans 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2023. http://dx.doi.org/10.1109/icsme58846.2023.00074.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Static tool"

1

Okun, vadim, Romain Gaucher et Paul E. Black. Static analysis tool exposition (SATE) 2008. Gaithersburg, MD : National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.sp.500-279.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Ogata, Michael. Static Analysis Tool Exposition (SATE) VI :. Gaithersburg, MD : National Institute of Standards and Technology, 2023. http://dx.doi.org/10.6028/nist.ir.8462.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Okun, vadim, Aurelien Delaitre et Paul E. Black. The second static analysis tool exposition (SATE) 2009. Gaithersburg, MD : National Institute of Standards and Technology, 2010. http://dx.doi.org/10.6028/nist.sp.500-287.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Okun, Vadim, Aurelien Delaitre et Paul E. Black. Report on the Static Analysis Tool Exposition (SATE) IV. National Institute of Standards and Technology, janvier 2013. http://dx.doi.org/10.6028/nist.sp.500-297.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Okun, vadim, Aurelien Delaitre et Paul E. Black. Report on the third static analysis tool exposition (SATE 2010). Gaithersburg, MD : National Institute of Standards and Technology, 2011. http://dx.doi.org/10.6028/nist.sp.500-283.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Delaitre, Aurelien, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro et Terry S. Cohen. SATE V report : ten years of static analysis tool expositions. Gaithersburg, MD : National Institute of Standards and Technology, octobre 2018. http://dx.doi.org/10.6028/nist.sp.500-326.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Chen. PR-224-03158-R01 Static and Cyclic Surface Loading on the Performance of Welds in Pre-1970 Pipelines. Chantilly, Virginia : Pipeline Research Council International, Inc. (PRCI), août 2009. http://dx.doi.org/10.55274/r0010973.

Texte intégral
Résumé :
These are the notes and comments summarizing the incomplete work to assess stresses on vintage pipelines due to soil loadings. The work was performed by C-FER Technologies, Battelle Memorial Institute, and Marina Smith. The overall objective was to develop an assessment tool that would allow pipeline engineers to evaluate the safety of shallowly buried pre-1970 pipelines under static and cyclic surface loads. The work completed includes the development of a dynamic model. However, the weld capacity models were never completed. Related documents (attachments can be found in the links below).
Styles APA, Harvard, Vancouver, ISO, etc.
8

Tidd, Alexander N., Richard A. Ayers, Grant P. Course et Guy R. Pasco. Scottish Inshore Fisheries Integrated Data System (SIFIDS) : work package 6 final report development of a pilot relational data resource for the collation and interpretation of inshore fisheries data. Sous la direction de Mark James et Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23452.

Texte intégral
Résumé :
[Extract from Executive Summary] The competition for space from competing sectors in the coastal waters of Scotland has never been greater and thus there is a growing a need for interactive seascape planning tools that encompass all marine activities. Similarly, the need to gather data to inform decision makers, especially in the fishing industry, has become essential to provide advice on the economic impact on fishing fleets both in terms of alternative conservation measures (e.g. effort limitations, temporal and spatial closures) as well as the overlap with other activities, thereby allowing stakeholders to derive a preferred option. The SIFIDS project was conceived to allow the different relevant data sources to be identified and to allow these data to be collated in one place, rather than as isolated data sets with multiple data owners. The online interactive tool developed as part of the project (Work Package 6) brought together relevant data sets and developed data storage facilities and a user interface to allow various types of user to view and interrogate the data. Some of these data sets were obtained as static layers which could sit as background data e.g. substrate type, UK fishing limits; whilst other data came directly from electronic monitoring systems developed as part of the SIFIDS project. The main non-static data source was Work Package 2, which was collecting data from a sample of volunteer inshore fishing vessels (<12m). This included data on location; time; vessel speed; count, time and position of deployment of strings of creels (or as fleets and pots as they are also known respectively); and a count of how many creels were hauled on these strings. The interactive online tool allowed all the above data to be collated in a specially designed database and displayed in near real time on the web-based application.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Bryndum. L51854 Integrity Assessment Models-Software for Exposed and Unburied Pipelines in River Channels. Chantilly, Virginia : Pipeline Research Council International, Inc. (PRCI), février 2000. http://dx.doi.org/10.55274/r0011225.

Texte intégral
Résumé :
This guideline and its associated software River-X present a methodology for the assessment of pipeline integrity under hydrodynamic loads and impact loads from floating or moving debris in the river. The software provides a numerical tool with a user-friendly interface for assessing the risk of pipeline failure following the principles outlined in this guideline. The River-X simulates sections of exposed pipeline including the anchoring in the embankment and plastic material behavior for 2 basically different scenarios; an exposed pipeline on/in riverbed and a free spanning pipeline. A quasi-static analysis of the pipeline exposed to the river-flow is carried out in both situations where the main outcome is maximum values of plastic strain, stress, displacement, bending moment and tension. These values are held up against an acceptance criterion. The maximum allowable impact mass of debris moving with the speed of the river current in combination with the hydrodynamic load is determined. Further, if the exposed pipeline is free spanning a fatigue analysis is performed for a given distribution of river discharge over the year. An example of the use of River-X may be found in the user guide.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Kiianovska, N. M. The development of theory and methods of using cloud-based information and communication technologies in teaching mathematics of engineering students in the United States. Видавничий центр ДВНЗ «Криворізький національний університет», décembre 2014. http://dx.doi.org/10.31812/0564/1094.

Texte intégral
Résumé :
The purpose of the study is the analysis of the development of the theory and methods of ICT usage while teaching higher mathematics engineering students in the United States. It was determined following tasks: to analyze the problem source, to identify the state of its elaboration, to identify key trends in the development of theory and methods of ICT usage while teaching higher mathematics engineering students in the United States, the object of study – the use of ICT in teaching engineering students, the research methods are: analysis of scientific, educational, technical, historical sources; systematization and classification of scientific statements on the study; specification, comparison, analysis and synthesis, historical and pedagogical analysis of the sources to establish the chronological limits and implementation of ICT usage in educational practice of U.S. technical colleges. In article was reviewed a modern ICT tools used in learning of fundamental subjects for future engineers in the United States, shown the evolution and convergence of ICT learning tools. Discussed experience of the «best practices» using online ICT in higher engineering education at United States. Some of these are static, while others are interactive or dynamic, giving mathematics learners opportunities to develop visualization skills, explore mathematical concepts, and obtain solutions to self-selected problems. Among ICT tools are the following: tools to transmit audio and video data, tools to collaborate on projects, tools to support object-oriented practice. The analysis leads to the following conclusion: using cloud-based tools of learning mathematic has become the leading trend today. Therefore, university professors are widely considered to implement tools to assist the process of learning mathematics such properties as mobility, continuity and adaptability.
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Static tool » pour d’autres types de sources :
Articles de revues Thèses Livres
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!

Vers la bibliographie