Увійти

Готові списки джерел за темами / Assertion generation

Зміст

Статті в журналах

Добірка наукової літератури з теми "Assertion generation"

Автор: Grafiati

Опубліковано: 11 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Assertion generation".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Assertion generation"

1

Li, Pengyi, Jing Sun, and Hai Wang. "Formal Approach to Assertion-Based Code Generation." International Journal of Software Engineering and Knowledge Engineering 27, no. 09n10 (2017): 1637–62. http://dx.doi.org/10.1142/s0218194017400162.

Повний текст джерела

Анотація:

With the growing in size and complexity of modern computer systems, the need for improving the quality at all stages of software development has become a critical issue. The current software production has been largely dependent on manual code development. Despite the slow development process, the errors introduced by the programmers contribute to a substantial portion of defects in the final software product. This paper investigates the synergy of generating code and assertion constraints from formal design models and use them to verify the implementation. We translate Z formal models into th

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Boulé, M., J. S. Chenard, and Z. Zilic. "Debug enhancements in assertion-checker generation." IET Computers & Digital Techniques 1, no. 6 (2007): 669. http://dx.doi.org/10.1049/iet-cdt:20060209.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Witharana, Hasini, Yangdi Lyu, and Prabhat Mishra. "Directed Test Generation for Activation of Security Assertions in RTL Models." ACM Transactions on Design Automation of Electronic Systems 26, no. 4 (2021): 1–28. http://dx.doi.org/10.1145/3441297.

Повний текст джерела

Анотація:

Assertions are widely used for functional validation as well as coverage analysis for both software and hardware designs. Assertions enable runtime error detection as well as faster localization of errors. While there is a vast literature on both software and hardware assertions for monitoring functional scenarios, there is limited effort in utilizing assertions to monitor System-on-Chip (SoC) security vulnerabilities. We have identified common SoC security vulnerabilities and defined several classes of assertions to enable runtime checking of security vulnerabilities. A major challenge in ass

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Tong, Jason G., Marc Boulé, and Zeljko Zilic. "Test compaction techniques for assertion-based test generation." ACM Transactions on Design Automation of Electronic Systems 19, no. 1 (2013): 1–29. http://dx.doi.org/10.1145/2534397.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Kerpedjiev, Stephan. "Model-Driven, Assertion-Based Generation of Multimedia Weather Information." Bulletin of the American Meteorological Society 76, no. 10 (1995): 1791–800. http://dx.doi.org/10.1175/1520-0477(1995)076<1791:mdabgo>2.0.co;2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Salehi Fathabadi, Asieh, Mohammadsadegh Dalvandi, Michael Butler, and Bashir M. Al-Hashimi. "Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation." IEEE Embedded Systems Letters 12, no. 3 (2020): 83–86. http://dx.doi.org/10.1109/les.2019.2955316.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Crowley, Timothy J. "On the “Perceptible Bodies” at De Generatione et Corruptione II.1." Revista Archai, no. 27 (September 1, 2019): e2703. http://dx.doi.org/10.14195/1984-249x_27_3.

Повний текст джерела

Анотація:

Near the beginning of De Gen. et Cor. II.1, Aristotle claims that the generation and corruption of all naturally constituted substances are “not without the perceptible bodies” (328b32-33). It is not clear what he intends by this. In this paper I offer a new interpretation of this assertion. I argue that the assumption behind the usual reading, namely, that these “perceptible bodies” ought to be distinguished from the naturally constituted substances, is flawed, and that the assertion is best understood as a claim that Aristotle has established in the second half of the first book of the De Ge

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Pečiuliauskienė, Palmira. "The Structure of Interpersonal Communication Skills of the New Generation Senior School Students: The Case of Generations X and Z." Pedagogika 130, no. 2 (2018): 116–30. http://dx.doi.org/10.15823/p.2018.26.

Повний текст джерела

Анотація:

The article deals with the interpersonal communication skills of senior school students of the new generation Z. These skills were investigated using a questionnaire for measuring the interpersonal competence. Through application of factor analysis, five groups of interpersonal communication skills of senior students have been identified: initiation of interpersonal relationships, assertion of displeasure with others’ actions, self-disclosure, provision of emotional support, and management of interpersonal conflicts. The interpersonal communication skills of the new generation (Z) senior stude

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Bennett, Tyler James. "Second-Generation Semiology and Detotalization." Linguistic Frontiers 4, no. 2 (2021): 44–53. http://dx.doi.org/10.2478/lf-2021-0010.

Повний текст джерела

Анотація:

Abstract The fashionable disavowal of structural semiology as logocentric is easily countered by a review of the important innovations of second-generation semiology, spearheaded by Jacques Derrida, Roland Barthes, and Jacques Lacan. The scope of Saussurean semiology is hampered only by its reliance upon alphabetic language and presence grounded in the voice; the assertion that semiology is a part of linguistics, rather than the reverse, does not reject the existence of nonlinguistic meaning; wordplay and textual experimentation are no mere stylistic ornamentation, but are on the contrary the

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Holt, Marilyn E., Kathleen F. Mittendorf, Michele LeNoue-Newton, et al. "My Cancer Genome: Coevolution of Precision Oncology and a Molecular Oncology Knowledgebase." JCO Clinical Cancer Informatics, no. 5 (September 2021): 995–1004. http://dx.doi.org/10.1200/cci.21.00084.

Повний текст джерела

Анотація:

PURPOSE The My Cancer Genome (MCG) knowledgebase and resulting website were launched in 2011 with the purpose of guiding clinicians in the application of genomic testing results for treatment of patients with cancer. Both knowledgebase and website were originally developed using a wiki-style approach that relied on manual evidence curation and synthesis of that evidence into cancer-related biomarker, disease, and pathway pages on the website that summarized the literature for a clinical audience. This approach required significant time investment for each page, which limited website scalabilit

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!