Littérature scientifique sur le sujet « Assertion abstraction »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Assertion abstraction ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Assertion abstraction"
Uchevler, Bahram N., et Kjetil Svarstad. « Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions ». International Journal of Reconfigurable Computing 2018 (10 juillet 2018) : 1–25. http://dx.doi.org/10.1155/2018/3276159.
Texte intégralZheng, Desheng, Xiaoyu Li, Guowu Yang, Hai Wang et Lulu Tian. « An assertion graph based abstraction algorithm in GSTE and Its application ». Integration 63 (septembre 2018) : 1–8. http://dx.doi.org/10.1016/j.vlsi.2018.03.009.
Texte intégralAUGUSTON, M., et P. FRITZSON. « PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS ». International Journal of Software Engineering and Knowledge Engineering 06, no 04 (décembre 1996) : 609–40. http://dx.doi.org/10.1142/s0218194096000259.
Texte intégralRevoy, Bert. « Jevons on measurement. Replay : The mathematisation of economics in the Jevonsonian theory ». Recherches économiques de Louvain 64, no 3 (1998) : 353–56. http://dx.doi.org/10.1017/s0770451800012860.
Texte intégralAlimi, Nejmeddine, Younes Lahbib, Mohsen Machhout et Rached Tourki. « Functional Verification of Large-integers Circuits using a Cosimulation-based Approach ». International Journal of Electrical and Computer Engineering (IJECE) 7, no 4 (1 août 2017) : 2192. http://dx.doi.org/10.11591/ijece.v7i4.pp2192-2205.
Texte intégralMenis, Susanna. « How to Write a Positivist Legal History : Lessons from the 18th and 19th Centuries English Jurists William Blackstone and James Fitzjames Stephen ». Histories 1, no 3 (12 août 2021) : 169–83. http://dx.doi.org/10.3390/histories1030017.
Texte intégralBiro, Andrew. « Reading a water menu : Bottled water and the cultivation of taste ». Journal of Consumer Culture 19, no 2 (12 juillet 2017) : 231–51. http://dx.doi.org/10.1177/1469540517717779.
Texte intégralvan Rooij, Malou. « Carefully Constructed Yet Curiously Real : How Major American Animation Studios Generate Empathy Through a Shared Style of Character Design ». Animation 14, no 3 (novembre 2019) : 191–206. http://dx.doi.org/10.1177/1746847719875071.
Texte intégralGARCÍA-CONTRERAS, ISABEL, JOSÉ F. MORALES et MANUEL V. HERMENEGILDO. « Semantic code browsing ». Theory and Practice of Logic Programming 16, no 5-6 (septembre 2016) : 721–37. http://dx.doi.org/10.1017/s1471068416000417.
Texte intégralHarriger, Katy J. « In Defense of Cooper v. Aaron : Distinguishing among Judicial Supremacy Claims ». Review of Politics 78, no 3 (2016) : 443–65. http://dx.doi.org/10.1017/s0034670516000346.
Texte intégralThèses sur le sujet "Assertion abstraction"
Steininger, Thomas. « Automated assertion transformation across multiple abstraction levels ». kostenfrei, 2009. https://mediatum2.ub.tum.de/node?id=676680.
Texte intégralEsen, Volkan. « A new assertion language covering multiple levels of abstraction ». kostenfrei, 2008. http://mediatum2.ub.tum.de/doc/644594/644594.pdf.
Texte intégralSteininger, Thomas [Verfasser]. « Automated assertion transformation across multiple abstraction levels / Thomas Steininger ». 2009. http://d-nb.info/999335618/34.
Texte intégralGHASEMPOURI, TARA. « Improving ABV by generation and abstraction of PSL assertions ». Doctoral thesis, 2016. http://hdl.handle.net/11562/939548.
Texte intégralThe aim of this thesis is to provide efficient methodologies to improve ABV in three domains of generation, abstraction and qualification of PSL assertions. The main contributions of this thesis can be summarized as follows: 1- An automatic mining methodology has been proposed, for capturing behavioral descriptions of a system that can generate set of temporal assertions from execution traces. The approach is particularly suited for mining assertions that describes arithmetic relations between inputs and outputs according to a set of temporal patterns. In comparation with state of the art, assertion miner proposed in this methodology, generates a set of more compact and higher quality assertions. 2- An automatic abstraction methodology has been proposed to reuse assertions originally defined for a given RTL IP, to verify the corresponding TLM model. The methodology can be divided into two main phases, firstly, assertions synthesized into C++ methods and secondly, inserted in the TLM model. The results show that the methodology can abstract and reuse assertions from RTL to TLM and avoid redefinition of assertions which are already exist at RTL. 3- An automatic qualification methodology has been proposed to evaluate the quality of assertions to measure the interestingness of assertions. The approach re-adapts metrics from data mining to measure the quality of assertions based on its activation frequency during simulation runs and the correlation between antecedent and consequent. Experimental result depicts the proposed methodology provides a better estimation of assertions interestingness.
Esen, Volkan [Verfasser]. « A new assertion language covering multiple levels of abstraction / Volkan Esen ». 2008. http://d-nb.info/989631419/34.
Texte intégralLivres sur le sujet "Assertion abstraction"
Hernandez, Rebecca Skreslet. Authority by Aggregation and Abstraction. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198805939.003.0005.
Texte intégralChapitres de livres sur le sujet "Assertion abstraction"
Gulwani, Sumit, et Ashish Tiwari. « Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions ». Dans Programming Languages and Systems, 279–93. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11693024_19.
Texte intégralSeghir, Mohamed Nassim, Andreas Podelski et Thomas Wies. « Abstraction Refinement for Quantified Array Assertions ». Dans Static Analysis, 3–18. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0_3.
Texte intégralFeijo, Isabelle, Steve Hoare et Karen Sarmiento. « Admission and Discharge Planning ». Dans Longer-Term Psychiatric Inpatient Care for Adolescents, 31–38. Singapore : Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-1950-3_4.
Texte intégralAydin, Seda, et Eva Østergaard-Nielsen. « Diaspora Policies, Consular Services and Social Protection for Turkish Citizens Abroad ». Dans IMISCOE Research Series, 401–18. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51237-8_25.
Texte intégralOhi, Kevin. « Wallace Stevens and the Temporalities of Inception and Embodiment ». Dans Inceptions, 148–74. Fordham University Press, 2021. http://dx.doi.org/10.5422/fordham/9780823294626.003.0008.
Texte intégralWhitehead, Mark, Rhys Jones et Martin Jones. « Seeing Double : Thinking about Natures and States ». Dans The Nature of the State. Oxford University Press, 2007. http://dx.doi.org/10.1093/oso/9780199271894.003.0009.
Texte intégralGaztambide, María C. « Dead Matter for an Enlivened Practice ». Dans El Techo de la Ballena, 126–47. University Press of Florida, 2019. http://dx.doi.org/10.5744/florida/9781683400707.003.0006.
Texte intégralBisi, Roberta. « The Evolution of Criminology and the Social Sharing of Emotion ». Dans Handbook of Research on Trends and Issues in Crime Prevention, Rehabilitation, and Victim Support, 15–26. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-1286-9.ch002.
Texte intégralActes de conférences sur le sujet "Assertion abstraction"
Kusano, Markus, et Chao Wang. « Assertion guided abstraction ». Dans ASE '14 : ACM/IEEE International Conference on Automated Software Engineering. New York, NY, USA : ACM, 2014. http://dx.doi.org/10.1145/2642937.2642998.
Texte intégralCheon, Yoonsik. « Abstraction in Assertion-Based Test Oracles ». Dans Seventh International Conference on Quality Software (QSIC 2007). IEEE, 2007. http://dx.doi.org/10.1109/qsic.2007.4385528.
Texte intégralUchevler, Bahram N., et Kjetil Svarstad. « Synthesizable assertion checkers in high levels of abstraction ». Dans 2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS). IEEE, 2013. http://dx.doi.org/10.1109/icecs.2013.6815550.
Texte intégralBombieri, Nicola, Riccardo Filippozzi, Graziano Pravadelli et Francesco Stefanni. « RTL Property Abstraction for TLM Assertion-Based Verification ». Dans Design, Automation and Test in Europe. New Jersey : IEEE Conference Publications, 2015. http://dx.doi.org/10.7873/date.2015.0121.
Texte intégralGhasempouri, Tara, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri et Jaan Raik. « RTL Assertion Mining with Automated RTL-to-TLM Abstraction ». Dans 2019 Forum for Specification and Design Languages (FDL). IEEE, 2019. http://dx.doi.org/10.1109/fdl.2019.8876941.
Texte intégralEcker, W., V. Esen et M. Hull. « Execution semantics and formalisms for multi-abstraction TLM assertions ». Dans Proceedings. Fourth ACM & ; IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06). IEEE, 2006. http://dx.doi.org/10.1109/memcod.2006.1695910.
Texte intégral