(Enter summary)
Abstract: Semantics
We are trying to preserve the specialization of models of computation and also achieve
generality. We are doing this by composing models hierarchically and heterogeneously.
What makes this composition possible is an abstract semantics, which abstracts how communication
and flow of control work. The abstract semantics is (loosely speaking) not the
union of interesting semantics, but rather the intersection. It is abstract in the sense that it
represents the common features of models... (Update)
Context of citations to this paper: More
.... Each of these semantics is associated with a set of properties that are useful for the modeling or design of a certain class of designs [34]. These properties are generally recognized, often because they have been established through formal mathematical reasoning about the...
Cited by: More
Flexible and Formal Modeling of Microprocessors with.. - Qin, Malik (2003)
(Correct)
Model-driven Configuration and Deployment of.. - Edwards, Deng.. (2004)
(Correct)
Overview Of The Ptolemy Project - Hylands, al. (2003)
(Correct)
Similar documents (at the sentence level):
60.3%: Actor-Oriented Design Of Embedded Hardware And Software Systems - Lee, Neuendorffer (2003)
(Correct)
Active bibliography (related documents): More All
0.9: Automatic Specialization of Actor-oriented Models in Ptolemy II - Neuendorffer (2002)
(Correct)
0.5: Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003)
(Correct)
0.4: SystemC - A modeling platform supporting multiple design.. - Panda (2001)
(Correct)
Similar documents based on text: More All
0.7: Ptolemy II - Heterogeneous Concurrent Modeling and.. - Hylands, Lee, Liu.. (2003)
(Correct)
0.2: Taming Heterogeneity - the Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2002)
(Correct)
0.2: MetaRTL: Raising the abstraction level of RTL Design - Jianwen Zhu Electrical (2001)
(Correct)
Related documents from co-citation: More All
3: The Specification and Execution of Heterogeneous Synchronous Reactive Systems
- Edwards - 1997
3: Communicating Sequential Processes (context) - Hoare - 1985
3: Dataflow Process Networks
- Lee, Parks - 1995
BibTeX entry: (Update)
E. A. Lee, S. Neuendorffer, and M. J. Wirthlin. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, scheduled for publication June 2003. http://citeseer.ist.psu.edu/article/lee03actororiented.html More
@misc{ lee03actororiented,
author = "E. Lee and S. Neuendorffer and M. Wirthlin",
title = "Actor-oriented design of embedded hardware and software systems",
text = "E. A. Lee, S. Neuendorffer, and M. J. Wirthlin. Actor-oriented design of
embedded hardware and software systems. Journal of Circuits, Systems, and
Computers, scheduled for publication June 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/lee03actororiented.html" }
Citations (may not include all citations):
756
Aspect-oriented programming
- Kiczales - 1997
457
The Esterel synchronous programming language: Design
- Berry, Gonthier - 1992
406
Design Patterns (context) - Gamma, Helm et al. - 1995
302
The semantics of a simple language for parallel programming (context) - Kahn - 1974
235
The synchronous data flow programming language Lustre
- Halbwachs, Caspi et al. - 1991
211
The synchronous approach to reactive and realtime sys- tems (context) - Benveniste, Berry - 1991
210
Synchronous Data Flow (context) - Lee, Messerschmitt - 1987
107
Coroutines and networks of parallel processes (context) - Kahn, MacQueen - 1977
96
TTP - a protocol for fault-tolerant real-time systems (context) - Kopetz, Grunsteidl - 1994
74
Software Synthesis from Dataflow Graphs (context) - Battacharyya, Murthy et al. - 1996
73
Interface-based design (context) - Rowson, Sangiovanni-Vincentelli - 1997
71
Scheduling Dynamic Dataflow Graphs with Bounded Memory Using..
- Buck - 1993
46
An efficient implementation of reactivity for modeling hardw..
- Liao, Tjiang et al. - 1997
41
Model-integrated computing (context) - Sztipanovits, Karsai - 1997
39
Giotto: a time-triggered language for embedded programming
- Henzinger, Horowitz et al. - 2001
39
Yapi: Application modeling for signal processing systems (context) - de Kock, Essink et al. - 2000
25
Ptolemy II - Heterogeneous concurrent modeling and design in..
- Davis - 2001
25
An economical class of digital filters for decimation and in.. (context) - Hogenauer - 1981
24
The generic modeling environment (context) - Ledeczi, Maroti et al. - 2001
23
A CAD suite for high-performance FPGA design
- Hutchings - 1999
18
Heterogeneous modeling and simulation of embedded systems in.. (context) - Buck, Vaidyanathan - 2000
17
Synthesis of Parallel Hardware Implementations from Synchron.. (context) - Williamson - 1998
17
System level design: Orthogonolization of concerns and platf.. (context) - Keutzer, Malik et al. - 2000
16
Towards a new standard for system-level design
- Liao - 2000
15
An introduction to system level modeling in SystemC (context) - Swan - 2001
14
Defining platform-based design (context) - Sangiovanni-Vincentelli - 2002
12
The Embedded Machine: Predictable (context) - Henzinger, Kirsch - 2002
12
Hardware logic simulation by compilation (context) - Hansen - 1988
9
exploration of software schedules for DSP algorithms (context) - Teich, Zitzler et al. - 1999
8
Signal: A data flow oriented language for signal processing (context) - le Guernic, Benveniste et al. - 1985
6
Swingup control of inverted pendulum using pseudo-state feed.. (context) - Furuta, Yamakita et al. - 1992
6
System Canvas: A new design environment for embedded DSP and.. (context) - Murthy, Cohen et al. - 2001
6
Using multiple levels of abstractions in embedded software d..
- Burch, Passerone et al. - 2001
6
Reprogrammable platforms for high-speed data acquisition
- Ludvig, McCarthy et al. - 2001
5
Hierarchical approach for design of multi-vehicle multi-moda.. (context) - Koo, Liebman et al. - 2001
4
Realistic simulations of embedded control systems
- Liu, Eker et al. - 2002
4
Design and implementation of a code generator for the CAL ac.. (context) - Wernli - 2002
4
Responsible Frameworks for Heterogenous Modeling and Design .. (context) - Liu - 2001
3
The implementation of synchronous dataflow graphs using reco.. (context) - Edwards, Green - 2000
2
automated design flow for low-power (context) - Davis, hierarchical - 2002
2
MoML - a modeling markup language in XML Version
- Lee, Neuendorffer
1
Bounded Scheduling of Process Networks (context) - Pat'ks - 1995
1
Requirements for software modeling in SystemC (context) - Cockx - 2002
Documents on the same site (http://ptolemy.eecs.berkeley.edu/papers/02/actorOrientedDesign/):
Actor-Oriented Design Of Embedded Hardware And Software Systems - Lee, Neuendorffer (2003)
(Correct)
Actor-Oriented Design Of Embedded Hardware And Software Systems - Lee, Neuendorffer (2003)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC