Relevant bibliographies by topics / Static tool

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Static tool'

Author: Grafiati
Published: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Static tool.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Static tool"

1

Thomson, Patrick. "Static Analysis: An Introduction." Queue 19, no. 4 (August 31, 2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

Milind Shinde, Mrunmayee, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Tiganov, Daniil, Lisa Nguyen Quang Do, and Karim Ali. "Designing UIs for Static Analysis Tools." Queue 19, no. 4 (August 31, 2021): 97–118. http://dx.doi.org/10.1145/3487019.3487026.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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).
APA, Harvard, Vancouver, ISO, and other styles
6

Gustafson, Christopher, and 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Static tool"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Static tool"

1

Chiang, Jim, Allison Stephens, and Jim Potvin. "Retooling Jack’s Static Strength Prediction Tool." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Static tool"

1

Okun, vadim, Romain Gaucher, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Okun, vadim, Aurelien Delaitre, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Okun, vadim, Aurelien Delaitre, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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), August 2009. http://dx.doi.org/10.55274/r0010973.

Full text
Abstract:
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).
APA, Harvard, Vancouver, ISO, and other styles
8

Tidd, Alexander N., Richard A. Ayers, Grant P. Course, and 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. Edited by Mark James and Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23452.

Full text
Abstract:
[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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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. Видавничий центр ДВНЗ «Криворізький національний університет», December 2014. http://dx.doi.org/10.31812/0564/1094.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Static tool' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography