Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,295 papers from all fields of science
Search
Sign In
Create Free Account
Principle of abstraction
Known as:
Level of abstraction
, Levels of abstraction
The amount of complexity by which a system is viewed or programmed. The higher the level, the less detail. The lower the level, the more detail. The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Argument map
Frenetic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Formal Verification of SystemC Designs Using a Petri-Net Based Representation
D. Karlsson
,
P. Eles
,
Zebo Peng
Proceedings of the Design Automation & Test in…
2006
Corpus ID: 17046676
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri…
Expand
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
M. Moy
,
F. Maraninchi
,
L. Maillet-Contoz
International Conference on Application of…
2005
Corpus ID: 2457667
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able…
Expand
Highly Cited
2000
Highly Cited
2000
A Model for the Flow of Design Information in Product Development
S. Shooter
,
Walid Keirouz
,
S. Szykman
,
S. Fenves
Engineering computations
2000
Corpus ID: 6034435
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely…
Expand
Highly Cited
2000
Highly Cited
2000
Using graph rewriting to specify software architectural transformations
Hoda Fahmy
,
R. Holt
Proceedings ASE . Fifteenth IEEE International…
2000
Corpus ID: 1295700
In order to understand, analyze and possibly modify software, we commonly examine and manipulate its architecture. For example…
Expand
Highly Cited
1997
Highly Cited
1997
Using a Programming Language for Digital System Design
Rajesh K. Gupta
,
S. Liao
IEEE Design & Test of Computers
1997
Corpus ID: 15486457
HDLs must satisfy important semantic requirements, especially when CAD tools are involved. Designers can meet these requirements…
Expand
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
1991
1991
A visual cortex domain model and its use for visual information processing
I. Rybak
,
N. Shevtsova
,
L. Podladchikova
,
A. Golovan
Neural Networks
1991
Corpus ID: 10974042
Highly Cited
1989
Highly Cited
1989
Optimization in Model Matching and Perceptual Organization
E. Mjolsness
,
G. Gindi
,
P. Anandan
Neural Computation
1989
Corpus ID: 21214758
We introduce an optimization approach for solving problems in computer vision that involve multiple levels of abstraction. Our…
Expand
Highly Cited
1989
Highly Cited
1989
Many-sorted high-level nets
J. Billington
Proceedings of the Third International Workshop…
1989
Corpus ID: 19675538
Many-sorted high-level nets (MHLNs) combine abstract data types and Petri nets within the same algebraic framework and include…
Expand
Highly Cited
1980
Highly Cited
1980
Reading and learning from text
H. Singer
,
D. Donlan
1980
Corpus ID: 56580758
The authors provide teaching strategies that have been classroom tested for accuracy, practicality, and reliability. The methods…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE