Literatura científica selecionada sobre o tema "Trace"

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

Selecione um tipo de fonte:

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

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

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

Artigos de revistas sobre o assunto "Trace"

1

Bousquet, Magalie. "Trace/traces." Empan 125, no. 1 (March 10, 2022): 116–17. http://dx.doi.org/10.3917/empa.125.0116.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Hassan, Muhammad, Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Mohammad Ali Sadiq, Muhammad Sohail Halim, Rubbia Afridi, et al. "Correction of perceived visual distortions using a software application and correlation to age-related macular degeneration." Therapeutic Advances in Ophthalmology 12 (January 2020): 251584142091778. http://dx.doi.org/10.1177/2515841420917783.

Texto completo da fonte
Resumo:
Purpose: To investigate the use of software-generated corrections in neutralizing perceived distortions in age-related macular degeneration. Methods: A tablet-based application was utilized to elicit distortions. Five subjects (seven eyes: neovascular age-related macular degeneration and three eyes: non-neovascular age-related macular degeneration) traced the reference lines, and their distortion traces were recorded. To counter distortion, a software-generated trace was re-traced by subjects to produce a corrected trace. Final traces were superimposed on optical coherence tomography images and following distances calculated: (a) dDT: distance between distortion trace and reference line; (b) dGT: distance between software-generated trace and corrected trace; (c) dCT: distance between corrected trace and reference line. Mean percent improvement in distortion was reported. Mean effectiveness of correction was also reported by utilizing t test to compare dDT and dCT. The number of distortion traces with underlying lesions on optical coherence tomography was also analyzed. Results: Mean age of the subjects was 76.6 (±9.5) years. Each patient traced six reference lines and each was considered a separate case. Out of 30 cases, 17 (56.6%) elicited distortion. Mean percent improvement in distortion was 71.3 ± 23% ( p < 0.05). Twelve cases (70.6%) had an underlying lesion (eight cases: disrupted photoreceptor layer and four cases: normal photoreceptor layer). Mean percent improvement in cases with normal photoreceptor layer (90.8 ± 5.45%) was higher than with abnormal photoreceptor layer (58.5 ± 7.17%) ( p < 0.05). Five cases with distortion had no associated underlying lesion. Mean percent improvement in these subjects was significantly higher than those with photoreceptor layer disruption. Conclusion: Software-generated corrections can potentially correct for perceived distortions in patients with age-related macular degeneration, especially in cases with preserved photoreceptor layer.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Wertheimer, Albert I. "Welcome track and trace." Journal of Pharmaceutical Health Services Research 7, no. 4 (November 11, 2016): 207–8. http://dx.doi.org/10.1111/jphs.12158.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Protivinský, Miroslav. "Kriminalistická stopa: Studie o metodologických základech kriminalistické nauky o stopách." AUC IURIDICA MONOGRAPHIA 1975, no. 23 (May 3, 2024): 3–94. https://doi.org/10.14712/30297958.2025.23.

Texto completo da fonte
Resumo:
1. The work is a study in the methodological foundations of the criminalistic doctrine of traces. Before arriving by logical means to the knowledge of general classification criteria and to the classification of the trace itself, the author had to resolve the meaning of the term trace. He reached it not only by comparing the existing knowledge of the criminalistic theory, but above all by making thorough use of the Marxist theory of methodology, in particular of the Leninist reflection theory. In examining the problems under review, the author pursued the knowledge and elaboration of one of the most important criminalistic theories – that of the criminalistic doctrine of traces. The problems investigated concern the gnoseological aspect of the object of criminalistics, i.e. the knowledge of the regularities of the origin, preservation and extinction of the traces of a criminal offence. Knowledge of these regularities is the indispensable requisite of the social function criminalistics is to fulfil, i.e. to work out for the practice scientifically founded methods and corresponding means and processes for the detection, investigation and prevention of criminality. But the work does not deal with philosophical aspects of the investigated problems alone; it also treats of scientific special aspects and in particular of psychological aspects as well as of those of criminal procedure. 2. The author divided the examined problems in four chapters. In the first he examines and compares opinions of Czechoslovak and foreign criminalists on the meaning of the term, the content and the classification of the criminalistic trace, both of the material trace and of that in the consciousness. He argues above all against authors, who restrict the meaning of the criminalistic trace just to some material reflections of the criminal offence, and further against authors, who do not recognise the reflection of a criminal offence on the consciousness of man as a criminalistic trace. He also criticises those authors, who fail to appreciate enough the gnoseological aspect of the classification of the criminalistic trace, classifying it according to various secondary criteria or replacing the classification by a demonstrative or detailed enumeration of the individual kinds of traces. In the second chapter he deals with the reflection of a criminal offence and the origin of the trace. In this connection he examines the criminal offence from the aspect of reflection as a general quality of matter, peculiarity of the subject and object of the reflection of the criminal offence, the activity of the reflection oi the criminal offence, other typical features of interaction and reflection of the criminal offence with the world at large. On the basis of the Marxist theory reflection of the criminal offence, other typical features of interaction and reflection of the criminal offence with the world at large. On the basis of the Marxist theory and methodology the author exposes and justifies in this chapter the regularities of the origin, preservation and extinction of the traces of a criminal offence. On the basis of the known regularities of the origin, preservation and extinction of the traces of a criminal offence the author infers in the third chapter the peculiarities of the origin, preservation and extinction of the material traces and of the traces in the consciousness of man, and demonstrates their importance for the practice, in particular for the practice of the authorities acting in criminal proceedings. In the fourth chapter the author defines the term criminalistic trace, argues the fundamental criteria for its classification and looks for the place of the material trace in the system of material evidence. He points out the relationship between the criminalistic trace and the trace of a criminal offence. 3. The author holds that the criminalistic trace are changes incident to the investigated event, ascertainable, securable and de-codable by contemporary criminalistically relevant methods. He classifies the criminalistic trace according to interaction and the form of reflection as: A. the trace in material environment, B. the trace in the consciousness of man. The trace in material environment (A) is classified by him as: I. the trace produced by action without the individual qualities of the acting object having been reflected, II. the trace produced by action in which the individual or group qualities of the acting object were reflected. The trace produced by action without the individual qualities of the acting object having been reflected (A–I) is classified as: 1. the trace – the change of the qualities of the object in accordance with the kind of action by another object or by its inherent elements, 2. the trace – another change in the material environment. The trace – the change of qualities of the object in accordance with the kind of action by another object (A–I–1) is classified as: a) traces – chemical changes, b) traces – physical changes, c) traces – other changes. The trace – another change in the material environment (A–I–2) is classified as: a) traces – changes in the position of objects, b) traces of the existence or nonexistence of certain objects, c) traces – other changes. The trace – the change produced by action in which the individual or group qualities of the acting object were reflected (A–II) is classified as: 1. the trace of equality (remaining particles or parts of another substance), 2. the trace of the illustration of organic and inorganic objects. The trace of equality (A–II–1) containing information on the pattern of the acting object (entity) is classified as: a) the trace of solid substances, b) the trace of liquid substances, c) the trace of gaseous substances. The trace of the illustration of organic and inorganic objects (A—II—2) is classified as: a) the trace of the outside structure of the object, b) the trace of the functional and dynamic properties and habits. The trace containing the information on the outside structure of the acting object (A–II–2–a) is classified as: aa) the trace of similarity, bb) the trace of transformed equivalence. The trace of similarity (A–II–2–aa) is classified as: aaa) the plastic trace, aab) the planary trace (print). The plastic trace (A–II–2–aaa) is divided in: aaaa) the trace – imprint, aaab) the trace – the part mechanically separated from the whole. The planary trace (A–II–2–aab) is divided in: aaba) the trace of stratification, aabb) the trace of de-stratification, aabc) the peripheral trace. The trace of transformed equivalence (A–II–2–ab) is classified as: aba) the trace – groove, abb) the trace – system of grooves (shifting), abc) the trace – bruising. The trace of functional and dynamic properties and habits (A–II–2–b) is classified as: ba) the trace of walk and run, bb) the trace of voice and speach, be) the trace of handwriting and written expression, bd) the trace of other functional and dynamic properties and habits. According to the author the advantage of this classification is that the criterion of the classification of the criminalistic trace are the forms and kinds of interaction and reflection. The classification is from the methodological aspect most essential and fulfils best the gnoseological function in the detection and use of traces in criminalistics. At the same time it meets the requirements of another practical criminalistic criterion for the division of traces, i.e. the mechanism of the origin of the trace. The mechanism of the origin of the trace is, however, not regarded as a first rate criterion, since from the methodological aspect it is not right to rank traces in the consciousness just among the traces of illustration next to the material traces of illustration.
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

LANGEVINE, LUDOVIC, and MIREILLE DUCASSÉ. "Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs." Theory and Practice of Logic Programming 8, no. 5-6 (November 2008): 581–609. http://dx.doi.org/10.1017/s147106840800344x.

Texto completo da fonte
Resumo:
AbstractTracers provide users with useful information about program executions. In this article, we propose a “tracer driver”. From a single tracer, it provides a powerful front-end enabling multiple dynamic analysis tools to be easily implemented, while limiting the overhead of the trace generation. The relevant execution events are specified by flexible event patterns and a large variety of trace data can be given either systematically or “on demand”. The proposed tracer driver has been designed in the context of constraint logic programming (CLP); experiments have been made within GNU-Prolog. Execution views provided by existing tools have been easily emulated with a negligible overhead. Experimental measures show that the flexibility and power of the described architecture lead to good performance. The tracer driver overhead is inversely proportional to the average time between two traced events. Whereas the principles of the tracer driver are independent of the traced programming language, it is best suited for high-level languages, such as CLP, where each traced execution event encompasses numerous low-level execution steps. Furthermore, CLP is especially hard to debug. The current environments do not provide all the useful dynamic analysis tools. They can significantly benefit from our tracer driver which enables dynamic analyses to be integrated at a very low cost.
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Zhou, Yang, and Cyrille Artho. "TC4JPF." ACM SIGSOFT Software Engineering Notes 46, no. 3 (July 14, 2021): 42–46. http://dx.doi.org/10.1145/3468744.3468757.

Texto completo da fonte
Resumo:
Java Path nder (JPF) is a very versatile program analysis tool, but understanding the error traces it generates is challenging. Visualizing traces can facilitate their understanding. Earlier attempts to visualize traces have resulted in specialized tools that do not interoperate with other frameworks. We present TC4JPF, which builds on Eclipse Trace Compass and enables Trace Compass to visualize JPF traces. With TC4JPF, we leverage the scalability and capabilities of Trace Compass and provide the rst solution that visualizes JPF traces in a general-purpose trace visualization tool.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Vasiliev, Vasily, Tatyana Ermakova, Yuri Druzhinin, Ilya Afanasiev, and Vladimir Akatiev. "On Some Aspects of Detecting Traces of Human Skin on Porous Surfaces." NBI Technologies, no. 4 (December 2021): 41–48. http://dx.doi.org/10.15688/nbit.jvolsu.2021.4.6.

Texto completo da fonte
Resumo:
During the study of fingerprint examination objects, the forensic expert selects methods and means with which he identifies and examines traces. Since most of the known forensics have an influence on the tracer substance, which in turn is multicomponent, the expert should clearly represent the mechanism of the ongoing processes in the tracer zone. In forensic work, methods and methods are widely described that allow you to work with the most common objects. Most of this information is organized in the form of practical recommendations. However, in the field of fingerprinting and research, theoretical questions regarding the detection of hand marks using chemical methods are still not clearly described. The article provides theoretical information regarding the laws of the mechanism of trace formation on porous (paper) objects, the mechanism of the chemical reaction of the interaction of ninhydrin and its structural analogues with the disturbed substance of the trace. It was concluded that when choosing methods for detecting latent traces of hands on porous objects, it is necessary to take into account not only the mechanisms of trace formation on porous (paper) objects, but also the mechanisms of the chemical reaction of the interaction of ninhydrin and its structural analogues with the trail disturbed substance.
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Ivantsov, Andrey, Aleksey Nagovitsyn, and Maria Zakrevskaya. "Traces of Locomotion of Ediacaran Macroorganisms." Geosciences 9, no. 9 (September 11, 2019): 395. http://dx.doi.org/10.3390/geosciences9090395.

Texto completo da fonte
Resumo:
We describe traces of macroorganisms in association with the body imprints of trace-producers from Ediacaran (Vendian) deposits of the southeastern White Sea region. They are interpreted as traces of locomotion and are not directly related to a food gathering. The complex remains belong to three species: Kimberella quadrata, Dickinsonia cf. menneri, and Tribrachidium heraldicum. They were found in three different burials. The traces have the form of narrow ridges or wide bands (grooves and linear depressions on natural imprints). In elongated Kimberella and Dickinsonia, the traces are stretched parallel to the longitudinal axis of the body and extend from its posterior end. In the case of the isometric Tribrachidium, the trace is directed away from the margin of the shield. A short length of the traces indicates that they were left by the organisms that were covered with the sediment just before their death. The traces overlaid the microbial mat with no clear signs of deformation under or around the traces. A trace substance, apparently, differed from the material of the bearing layers (i.e., a fine-grained sandstone or siltstone) and was not preserved on the imprints. This suggests that the traces were made with organic material, probably mucus, which was secreted by animals in a stressful situation. The mucus traced the movements of the organism before death. The discovered traces of locomotion are direct evidence of the ability of some Ediacaran macroorganisms to move independently.
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Guerra, Maria Filomena, and Thomas Calligaro. "Gold traces to trace gold." Journal of Archaeological Science 31, no. 9 (September 2004): 1199–208. http://dx.doi.org/10.1016/j.jas.2002.05.001.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Nesterov, A. V., and K. K. Seitenov. "General Scientific Category of a Trace: Forensic Aspect." Theory and Practice of Forensic Science 15, no. 4 (December 27, 2020): 98–105. http://dx.doi.org/10.30764/1819-2785-2020-4-98-105.

Texto completo da fonte
Resumo:
The purpose of the research is to analyze the general scientific category of a trace as the fundamental one to formulate the modern legal category of a forensically relevant trace. The article provides a brief review of the views of scientists who have studied the properties of the general scientific category of a trace. The general scientific category of a trace is presented as a characteristic describing and explaining a trace’s properties. The author emphasizes the necessity to distinguish real and existing traces-signs from traces-ideas. The so-called ideal traces are analyzed. The article provides the classification of such traces. The classification recognizes the traces of memory as the traces of memorization, traces of storage and traces of recollection, and mental traces. It is suggested to pay attention to electronic data traces, virtual data traces, and digital data traces.
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Teses / dissertações sobre o assunto "Trace"

1

Poon, Chun-hin. "An RFID-based track-and-trace anti-counterfeiting system." Click to view the E-thesis via HKUTO, 2007. http://sunzi.lib.hku.hk/HKUTO/record/B39556906.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

潘俊軒 and Chun-hin Poon. "An RFID-based track-and-trace anti-counterfeiting system." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2007. http://hub.hku.hk/bib/B39556906.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

VILANOVA, ANDRÉA DA SILVA. "UM CORPS S ÉCRIT: DU TRACE À LA TRAME." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2013. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=29226@1.

Texto completo da fonte
Resumo:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>Le dispositif analytique, tel que circonscrit par Freud et Lacan ne fonctionne pas sans le corps. Mais qu est que c est un corps? La naissance de la science moderne introduit dans le monde le sujet sans substance. Tandis la science le foraclôt, la psychanalyse le prends dans ce même point. De l image avec tous ses effets de capture sur le vif, à travers le corps qui trouve son homologie avec l inconscient, dans les trous qui résonnent entre eux, nous voyons l objet d entrer en jeu pour mettre la substance qui donne au sujet logique son support. La théorie du significant dessine la surface défini autour du trou sur laquelle on fonctionne. Mais la clinique nous confronte aux manifestations qu exigent un autre pás au de là de la surface définie autour du trou, du reste et de l Autre. Lacan va conduire à une reprise de ces opérations, détachant la dimension de la lettre, a partir du significant, ce qui jette des nouvelles balises d orientation et ausse implique un nouvel appareil pour la lecture. Pour concluire nous explorons les possibilités de théorisation de la lettre dans la clinique, à partir d un cas qui prend l objet petit a comme une cause, mais aussi ouvre la voie de la recherche autour de la réitération de la jouissance comme fondement de l écriture dans la psychanalyse.<br>O dispositivo analítico, tal como circunscrito por Freud e Lacan não opera sem o corpo. Mas de que corpo se trata? Com o nascimento da ciência moderna introduz-se no mundo o sujeito sem substância. Enquanto a ciência o foraclui, a psicanálise nasce neste mesmo ponto, recolhendo-o. Da imagem com todos os seus efeitos de captura sobre o vivente, passando pelo corpo que encontra sua homologia com o inconsciente, a partir dos furos que ressoam entre eles, veremos o objeto a vir colocar em jogo a substância que dá esteio ao sujeito lógico. A teoria do significante constitui os contornos da superfície sobre a qual operamos definida em torno do furo, efeito de traço. Mas a clínica nos confronta com manifestações que colocam situações que exigem um passo a mais em relação à superfície definida em torno do furo, do Outro e do resto. Destacando do significante a dimensão da letra, Lacan nos conduzirá a uma retomada dessas operações que lança novas balizas de orientação e implica em um novo aparato de leitura. Para concluir, exploramos as possibilidades da teorização da letra na clínica, a partir de um caso clinico que conjuga o objeto como causa, mas a partir do qual investigamos as possibilidades da perspectiva da reiteração do gozo como fundamento da escrita de que se trata na psicanálise.
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Park, Young Ja. "Sobolev trace inequality and logarithmic Sobolev trace inequality." Digital version:, 2000. http://wwwlib.umi.com/cr/utexas/fullcit?p9992883.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Äretun, Wilhelm. "Amazing Trace." Thesis, Uppsala University, Department of Information Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-103014.

Texto completo da fonte
Resumo:
<p>This paper describes the implementation of an execution history, called "Amazing Trace", that entails decoding and analyzing a recorded instruction trace, and in particular the design and implementation of a data structure which can encapsulate the entire state of the target system, including memory and registers, over time, and to do this efficiently because the trace buffer can contain data for hundreds of thousands of instructions.</p><p>The Amazing Trace is also integrated in the IAR Embedded Workbench C-SPYDebugger, such that the history can be traversed both forwards and backwards while inspecting the full target state through the normal debugger windows.</p>
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Kambs, Jill Elise. "Trace time." Thesis, University of Iowa, 2013. https://ir.uiowa.edu/etd/2536.

Texto completo da fonte
Resumo:
Trace Time is an interdisciplinary book arts exhibit featuring handmade paper installations, one-of-a-kind prints and book objects, and a fine press artist’s book in edition. The theme of this work focuses on the relationship between humans and the rest of the natural world by examining the tension between organic lifecycles and human cultivation, control, and constraint of the environment. By following a system for tracing natural surroundings, I document environmental movement in a series of time-based sequential pieces measuring light, water, and color.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Kuske, Dietrich [Verfasser]. "Contributions to a trace theory beyond Mazurkiewicz traces / Dietrich Kuske." Ilmenau : Universitätsbibliothek Ilmenau, 2011. http://d-nb.info/101029847X/34.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Yang, Bo, and 楊波. "Implementation issues in RFID-based track-and-trace anti-counterfeiting." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2014. http://hdl.handle.net/10722/208016.

Texto completo da fonte
Resumo:
Counterfeit products, particularly pharmaceuticals, electronic devices, and apparels, are widespread. They threaten consumer safety and cause huge economic losses to licit supply chain partners and governments. Although a number of traditional anti-counterfeiting technologies, such as holograms and chemical tags, are available to combat counterfeiting, they are vulnerable to imitation or being reused. Besides, these technologies are intended to protect individual items, rather than to safeguard an entire supply chain. As such, fake products may likely be injected into the supply chain to hurt end-consumers. Track-and-trace technology based on Radio Frequency Identification (RFID) has recently emerged as a promising tool to combat counterfeiting, because of its automatic and non-line-of-sight capability to identify massive product items. By maintaining an electronic pedigree (e-pedigree) that records the transaction information of product items along the supply chain, this approach stands out for protecting the supply chain against infiltration, eliminating theft and fraud, facilitating recall of defective products, and supporting remote authentication. However, a number of technical and critical issues have yet to be solved for practical implementation of RFID-based track-and-trace anti-counterfeiting. These include generation of accurate initial product e-pedigree in fast moving manufacturing lines, precise e-pedigree updating in batch product distributing and receiving, and fast e- pedigree queries for remote and real-time product authentication from end-customers. Without fully addressing these issues, the accumulated product e-pedigree data would be untrustworthy, rendering any subsequent operations of track-and-trace and product authentication unreliable. This thesis investigates the crucial implementation issues in RFID-based track-and-trace anti-counterfeiting. It firstly presents an innovative track-and-trace anti-counterfeiting system, based on which a TDPS algorithm is proposed for generation of initial product e-pedigree in fast moving production lines. The TDPS overcomes many practical issues, such as tag writing error and tag locking failure, and helps identify the bottleneck of initial product e-pedigree generation. To tackle the bottleneck, the TDPS is further optimized by incorporating a block writing method to enhance the tag EPC writing efficiency and an integration method to balance the overhead of RFID equipment. In product distributing and receiving, a mechanized 3D scanning method is proposed to improve bulk item identification rate and enhance the accuracy and completeness of product e-pedigree. Indeed, RFID-based track-and-trace anti-counterfeiting mandates a relatively high bulk item identification rate for product authentication and e-pedigree updating. Experimental results demonstrate that the mechanized 3D scanning can achieve a bulk item reading rate of up to 98.9%, which largely outperforms the widely documented bulk reading rate (70%) in real applications. In retailing level, the efficiency of e-pedigree queries would hugely impact on customer shopping experience and the effectiveness of track-and-trace anti-counterfeiting. A partition-based method is therefore developed to cluster product e-pedigree data to improve the speed of e-pedigree queries. This approach partitions the accumulated e-pedigree data into fixed and dynamic groups, such that queries are conducted mainly on active data, rather than on the whole historical data sets. By addressing the above key issues, this thesis contributes to making implementation of RFID-based track-and-trace anti-counterfeiting practically viable and reliable.<br>published_or_final_version<br>Industrial and Manufacturing Systems Engineering<br>Master<br>Master of Philosophy
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Zhou, Yang. "Execution Trace Visualization for Java Pathfinder using Trace Compass." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286313.

Texto completo da fonte
Resumo:
Multi-threading is commonly applied in modern computer programs, bringing many conveniences but also causing concurrency issues. Among the various error debugging tools, Java Pathfinder (JPF) can detect latent errors of multithreaded Java programs through model checking. However, the text-based format of the output trace is hard to read, and previous attempts in visualizing JPF traces show limitations. For long-term development, popular trace analytic platform such as Trace Compass (TC) is extended to adapt to JPF traces. In this thesis, the development of JPF and TC makes it possible to analyze JPF traces on TC with a user interface including visual diagrams. The development solves the conceptual differences between the tools and successfully visualize important trace data. The implementation can help provide a generic approach for analyzing JPF traces with visualization.<br>Multitrådning används ofta i moderna datorprogram, vilket har många fördelar men kan också orsaka samtidighetsproblem. Bland olika felsökningsverktyg kan Java Pathfinder (JPF) upptäcka latenta fel hos multitrådade Javaprogram genom modellkontroll. Spårningsinformationen i form av text har låg läsbarhet, och tidigare försök att visualsera JPF-spår har visat begränsningar. För långsiktig utveckling har populära spårningsanalysplattformar som Trace Compass (TC) utvidgats för att anpassas till JPF-spår. I examensprojektet gör utvecklingen av JPF och TC det möjligt att analysera JPF-spår på TC med ett användargränssnitt baserat på visuella diagram. Utvecklingen löser den konceptuella skillnaden mellan verktygen och visualiserar spårdata på ett framgångsrikt sätt. Implementeringen bidrar med ett generiskt tillvägagångssätt för att analysera JPF spår med hjälp av visualisering.
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Tibble, Julian. "Optimising trace monitors." Thesis, University of Oxford, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533888.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Livros sobre o assunto "Trace"

1

Wells, Zachariah. Track & Trace. Emeryville, ON: Biblioasis, 2009.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Wells, Zachariah. Track & trace. Emeryville, Ont: Biblioasis, 2009.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Cornwell, Patricia Daniels. Trace. New York: G.P. Putnam's Sons, 2004.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

McCulloch, Lindsay. Trace. Washington, DC?]: [publisher not identified], 2013.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Cornwell, Patricia Daniels. Trace. New York: Berkley Books, 2005.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Cornwell, Patricia Daniels. Trace. New York: Penguin Group USA, Inc., 2008.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Cornwell, Patricia Daniels. Trace. New York: G.P. Putnam's Sons, 2004.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Cornwell, Patricia Daniels. Trace. 2nd ed. New York: Berkley Books, 2012.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Cornwell, Patricia Daniels. Trace. Boston, Mass: Little, Brown, 2004.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Cornwell, Patricia Daniels. Trace. Waterville, Me: Thorndike Press, 2004.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes

Capítulos de livros sobre o assunto "Trace"

1

Tumulka, Roderich. "Trace." In Compendium of Quantum Physics, 793–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-70626-7_222.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Weik, Martin H. "trace." In Computer Science and Communications Dictionary, 1800. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_19786.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Mancewicz, Aneta. "Trace." In Adaptation in Theatre and Performance, 173–80. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-96806-9_9.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Strassler, Karen. "Trace." In Routledge International Handbook of Visual Research Methods in Anthropology, 165–71. London: Routledge, 2025. https://doi.org/10.4324/9781315142784-21.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

McGill, Ross K., and Kirsty V. Pitkin. "TRACE." In Qualified Intermediary, 161–65. Cham: Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-81410-5_18.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Galinon-Mélénec, Béatrice. "From “Traces” and “Human Trace” to “Human-Trace Paradigm”." In First Complex Systems Digital Campus World E-Conference 2015, 337–49. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45901-1_36.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Genevey-Metat, Christophe, Annelie Heuser, and Benoît Gérard. "Trace-to-Trace Translation for SCA." In Smart Card Research and Advanced Applications, 24–43. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-97348-3_2.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Thurman, E. M. "Trace Compounds." In Organic Geochemistry of Natural Waters, 243–71. Dordrecht: Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5095-5_10.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Bährle-Rapp, Marina. "trace elements." In Springer Lexikon Kosmetik und Körperpflege, 561. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71095-0_10627.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Dragomir, Silvestru Sever. "Trace Inequalities." In SpringerBriefs in Mathematics, 87–108. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17459-0_4.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "Trace"

1

Maranzatto, Thomas Jacob. "Tree Trace Reconstruction - Reductions to String Trace Reconstruction." In 2024 IEEE International Symposium on Information Theory (ISIT), 885–90. IEEE, 2024. http://dx.doi.org/10.1109/isit57864.2024.10619306.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Böcker, Heinz-Dieter, and J. Herczeg. "Track---a trace construction kit." In the SIGCHI conference. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/97243.97318.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Dong, Hai, Farookh Khadeer Hussain, and Elizabeth Chang. "Project Track and Trace Ontology." In Second International Conference on Internet and Web Applications and Services (ICIW'07). IEEE, 2007. http://dx.doi.org/10.1109/iciw.2007.48.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Altunkan, Serap Malcok, Alper Yasemin, Ismail Taha Aykac, and Elgin Akpinar. "Turkish pharmaceuticals track & trace system." In 2012 7th International Symposium on Health Informatics and Bioinformatics (HIBIT). IEEE, 2012. http://dx.doi.org/10.1109/hibit.2012.6209037.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Fu, J. W. C., and J. H. Patel. "Trace driven simulation using sampled traces." In Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences. IEEE Comput. Soc. Press, 1994. http://dx.doi.org/10.1109/hicss.1994.323170.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Metenko, Jozef. "THEORY OF DIGITAL TRACE AS CRIMINALISTICS TRACE." In 10th SWS International Scientific Conferences on SOCIAL SCIENCES - ISCSS 2023. SGEM WORLD SCIENCE, 2023. http://dx.doi.org/10.35603/sws.iscss.2023/s02.12.

Texto completo da fonte
Resumo:
The author tries to shortly characterize the content and scope of actual specific parts of evidence used in modern Criminalistic and Forensic science. The last twenty years used as frequent evidence in connection with crimes committed via information and communication technologies known in English as digital evidence, or exactly in Criminalistic as Digital trace. The study analyses the possibilities of digital trace, as a new part of criminalistics theory, and/or as forensic traces. Those are typical for crimes connected with the abuse of digital information and communication content, especially on the Internet. In the research of crime activities, authors distinguish a number of classifications of digital trace types. The author of this study demonstrates various ground parameters of digital traces as only one type of trace in Criminalistic. This contribution is the result of the project implementation of Centrum excelentnosti bezpecnostneho vyskumu kod ITMS: 26240120034 supported by the Research and Development Operational Programme funded by the ERDF, task 3.3.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Stephenson, M. J., and G. P. Hancke. "Self-contained track and trace using GPRS." In TENCON 2015 - 2015 IEEE Region 10 Conference. IEEE, 2015. http://dx.doi.org/10.1109/tencon.2015.7372995.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Gong Peng, Zhao Cuirong, and Ran Wei. "Customer orders for track and trace system." In 2011 6th International Conference on Pervasive Computing and Applications (ICPCA). IEEE, 2011. http://dx.doi.org/10.1109/icpca.2011.6106521.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Song, Sunghak, Tak-kiel Shim, and Ju-hyun Park. "Proxy based EPC Track&Trace Service." In 2006 IEEE International Conference on e-Business Engineering (ICEBE'06). IEEE, 2006. http://dx.doi.org/10.1109/icebe.2006.82.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Buynevich, Ilya V. "ONE TRACE, TWO TRACE, OLD TRACE, NEW TRACE: GEORADAR APPLICATIONS IN ZOOGEOMORPHOLOGY AND ICHNOLOGY." In Joint 52nd Northeastern Annual Section and 51st North-Central Annual GSA Section Meeting - 2017. Geological Society of America, 2017. http://dx.doi.org/10.1130/abs/2017ne-289872.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

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

1

Mack, Aaron, Mary Szorik, Chandana Sharma, John Cunningham, Nicole Larmore, Bala Ramanathan, Michelle Ferreri, and Harika Vemula. Trace element variation. BioPhorum, March 2022. http://dx.doi.org/10.46220/2022ds001.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Stokes, A. W. SF? tracer gas used to trace airflow through abandoned mine workings. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1985. http://dx.doi.org/10.4095/304791.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Putnam, Mike. Automated Trace Metals Analyzer. Fort Belvoir, VA: Defense Technical Information Center, March 2002. http://dx.doi.org/10.21236/ada608400.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Light, Max Eugene. Ray Trace Modeling Code. Office of Scientific and Technical Information (OSTI), July 2019. http://dx.doi.org/10.2172/1542806.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Crandall, K. R. TRACE 3-D documentation. Office of Scientific and Technical Information (OSTI), August 1987. http://dx.doi.org/10.2172/6290515.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Rem, Martin. Trace Theory and Systolic Computations. Fort Belvoir, VA: Defense Technical Information Center, January 1987. http://dx.doi.org/10.21236/ada443163.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Benson, S. A., T. A. Erickson, C. A. O`Keefe, K. Katrinak, S. E. Allan, D. J. Hassett, W. B. Hauserman, and C. J. Zygarlicke. Trace metal transformations in gasification. Office of Scientific and Technical Information (OSTI), November 1995. http://dx.doi.org/10.2172/125007.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Lepard, D. W. Trace and compound analysis systems. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1995. http://dx.doi.org/10.4095/203762.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Hernandez, M. Four Dimensional Trace Space Measurement. Office of Scientific and Technical Information (OSTI), February 2005. http://dx.doi.org/10.2172/839744.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Samples, A. D. Mache: No-Loss Trace Compaction. Fort Belvoir, VA: Defense Technical Information Center, September 1988. http://dx.doi.org/10.21236/ada619780.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia