Log in

Relevant bibliographies by topics / Assertion abstraction

Contents

Journal articles

Academic literature on the topic 'Assertion abstraction'

Author: Grafiati

Published: 11 March 2023

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 'Assertion abstraction.'

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 "Assertion abstraction"

1

Uchevler, Bahram N., and Kjetil Svarstad. "Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions." International Journal of Reconfigurable Computing 2018 (July 10, 2018): 1–25. http://dx.doi.org/10.1155/2018/3276159.

Full text

Abstract:

With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more common practice. A reconfigurable hardware combines the flexibility of the software domain with the high performance of the hardware domain and provides a flexible life cycle management for the product with a lower cost. A complete design and assertion-based verification flow for Run-Time Reconfigurable (RTR) designs using functional programming abstractions of Haskell are proposed in this artic

APA, Harvard, Vancouver, ISO, and other styles

2

Zheng, Desheng, Xiaoyu Li, Guowu Yang, Hai Wang, and Lulu Tian. "An assertion graph based abstraction algorithm in GSTE and Its application." Integration 63 (September 2018): 1–8. http://dx.doi.org/10.1016/j.vlsi.2018.03.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

AUGUSTON, M., and P. FRITZSON. "PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS." International Journal of Software Engineering and Knowledge Engineering 06, no. 04 (1996): 609–40. http://dx.doi.org/10.1142/s0218194096000259.

Full text

Abstract:

PARFORMAN (PARallel FORMal ANnotation language) is a high-level specification language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs. Models of intended or faulty target program behavior can be succinctly specified in PARFORMAN. These models are then compared with the actual behavior in terms of execution traces of events, in order to localize possible bugs. PARFORMAN can also be used as a general language for expressing computations over target program execution histories. PARFORM AN is based on a precise model of target progra

APA, Harvard, Vancouver, ISO, and other styles

4

Revoy, 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.

Full text

Abstract:

The article entitled, “Jevons on measurement: A comment” (Mosselmans [1998]), betrays a lack of comprehension of the Jevonsonian process of productive abstraction of numbers. This misapprehension is clearly apparent when B. Mosselmans wrongly confuses units for numbers. This especially furthers the circumvention of the Jevonsonian idea according to which the world is ruled by numbers.Utility is not a measurable magnitude, yet it is impossible to feature it in the theory of exchange? Jevons responds by the negative. In his view, it does exist a general theory concerning the mathematical express

APA, Harvard, Vancouver, ISO, and other styles

5

Alimi, Nejmeddine, Younes Lahbib, Mohsen Machhout, and Rached Tourki. "Functional Verification of Large-integers Circuits using a Cosimulation-based Approach." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 4 (2017): 2192. http://dx.doi.org/10.11591/ijece.v7i4.pp2192-2205.

Full text

Abstract:

Cryptography and computational algebra designs are complex systems based on modular arithmetic and build on multi-level modules where bit-width is generally larger than 64-bit. Because of their particularity, such designs pose a real challenge for verification, in part because large-integer’s functions are not supported in actual hardware description languages (HDLs), therefore limiting the HDL testbench utility. In another hand, high-level verification approach proved its efficiency in the last decade over HDL testbench technique by raising the latter at a higher abstraction level. In this wo

APA, Harvard, Vancouver, ISO, and other styles

6

Menis, 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 (2021): 169–83. http://dx.doi.org/10.3390/histories1030017.

Full text

Abstract:

This paper is about the shaping of the law understood as a positivist enterprise. Positivist law has been the object of contentious debate. Since the 1960s, and with the surfacing of revisionist histories, it has been suggested that the abstraction of the doctrine of criminal law is due to its categorisation in early histories. However, it is argued here that positivism was hardly an intentional master plan of autocratic social control. Rather, it is important to recognise that historians do not provide a value-free recount of history. This paper examines this assertion by drawing on the writi

APA, Harvard, Vancouver, ISO, and other styles

7

Biro, Andrew. "Reading a water menu: Bottled water and the cultivation of taste." Journal of Consumer Culture 19, no. 2 (2017): 231–51. http://dx.doi.org/10.1177/1469540517717779.

Full text

Abstract:

The market for bottled water is growing and increasingly segmented. How do we explain not just the willingness to pay for a substance (water) that is almost free but also the increasing discernment in a drink generally considered tasteless? We argue that bottled water market segmentation is a leading edge of processes of water commodification, associated with the crisis of Fordism and rise of consumerist capitalism, where the assertion of status through commodity consumption is increasingly necessary. The extensive Ray’s & Stark water menu is analyzed to show how the taste for bottled wate

APA, Harvard, Vancouver, ISO, and other styles

8

van 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 (2019): 191–206. http://dx.doi.org/10.1177/1746847719875071.

Full text

Abstract:

Contemporary computer-animated films by the major American animation studios Pixar, Disney and DreamWorks are often described as evoking (extremely) emotional responses from their ever-growing audiences. Following Murray Smith’s assertion that characters are central to comprehending audiences’ engagement with narratives in Engaging Characters: Fiction, Emotion, and the Cinema (1995), this article points to a specific style of characterization as a possible reason for the overwhelming emotional response to and great success of these films, exemplified in contemporary examples including Inside O

APA, Harvard, Vancouver, ISO, and other styles

9

GARCÍA-CONTRERAS, ISABEL, JOSÉ F. MORALES, and MANUEL V. HERMENEGILDO. "Semantic code browsing." Theory and Practice of Logic Programming 16, no. 5-6 (2016): 721–37. http://dx.doi.org/10.1017/s1471068416000417.

Full text

Abstract:

AbstractProgrammers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult task. Most code search engines are based on syntactic techniques such as signature matching or keyword extraction. However, these techniques are inaccurate (because they basically rely on documentation) and at the same time do not offer very expressive code query languages. We propose a novel approach that focuses on querying for semantic

APA, Harvard, Vancouver, ISO, and other styles

10

Harriger, 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.

Full text

Abstract:

AbstractIn the debate about the legitimacy of judicial supremacy, Cooper v. Aaron, the Little Rock desegregation case, is identified by both sides as critical to their argument. Defenders insist that Cooper exemplifies the need for a final authority in matters constitutional. Critics argue that the Court was wrong as a matter of democratic theory or empirical reality. In this article I argue that while it is true as a matter of empirical reality that the Court's interpretation is not the final word, the Court's assertion can be defended nonetheless. Relying on archival sources from the case, I

APA, Harvard, Vancouver, ISO, and other styles

More sources

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!