Home > Search Results: keywords:"post-mortem"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 3 records found  Search took 0.02 seconds. 
A Tool for Post-Mortem Debugging
 Kapičák, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The goal of this work is checking specific properties in trace which program should meet or which it shouldn't meet. Properties and their description are basis of this tool for post-mortem debbuging. Properties are transformed to deterministic finite automaton for checking in trace and their description is important for searching events in trace. Events are pass to automaton as input. Output of a tool is report if properties are meet or not. Solution provides check of properties regardless of log format and shows events that preceded violation of the properties.
Detailed record
The Design Of Sample Holder For Xrd Measurements In Inert Atmosphere With Displacement Error Correction
 Klvač, Ondřej
This article describes a designed of a holder for post-mortem XRD measurements of Li-ion, Na-ion and Li-S electrodes, which need to be performed in the inert atmosphere. The first part describes the measurement method and problems arising during the measurements of the samples. Subsequently, the design and construction of a new cell with hermetic insulation and sample displacement error correction possible during the operation of the diffractometer is described. Finally, the inert gas attenuation within the cell is theoretically calculated. The calculation is verified by practical measurements, and alternatives are proposed to improve the signal-to-noise ratio.
Detailed record
A Tool for Post-Mortem Debugging
 Kapičák, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The goal of this work is checking specific properties in trace which program should meet or which it shouldn't meet. Properties and their description are basis of this tool for post-mortem debbuging. Properties are transformed to deterministic finite automaton for checking in trace and their description is important for searching events in trace. Events are pass to automaton as input. Output of a tool is report if properties are meet or not. Solution provides check of properties regardless of log format and shows events that preceded violation of the properties.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English