Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin  Home/Search
Context Related
| berkeley.edu/paper...stemsComputers.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/papers/03/actorOr... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Semantics In order to preserve the specialization of models of computation while also building general models overall, we concentrate on the hierarchical composition of heterogeneous models of computation. The composition of arbitrary models of computation is made tractable by an abstract semantics, which abstracts how communication and flow of control work. The abstract semantics is (loosely speaking) not the union of 250 E. A. Lee, S. Neuendor#er & M. J. Wirthlin interesting semantics, but... (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):
52.2%: Actor-Oriented Design Of Embedded Hardware And Software Systems - Lee, Neuendorffer (2003) (Correct)
Active bibliography (related documents): More All
1.1: Automatic Specialization of Actor-oriented Models in Ptolemy II - Neuendorffer (2002) (Correct)
0.5: Embedded Software - Lee (2002) (Correct)
0.5: Development and Implementation of a Distributed-Object.. - Fatoohi, Smith (Correct)
Similar documents based on text: More All
0.1: Code Generation for VSP Software Tool in Ptolemy - Shih (1994) (Correct)
0.1: Implementation Issues in Hybrid Embedded Systems - Neuendorffer (2003) (Correct)
0.1: Managing Complexity in Heterogeneous System Specification.. - Kalavade, Pino, Lee (1995) (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/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/lee03actororiented.html" }
Citations (may not include all citations):756 Aspect-oriented programming - Kiczales - 1997
673 ACTORS: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
457 The Esterel synchronous programming language: Design, semant.. - Berry, Gonthier - 1992
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 systems (context) - Benveniste, Berry - 1991
210 Synchronous data flow (context) - Lee, Messerschmitt - 1987
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
131 Concurrent object-oriented programming (context) - Agha - 1990
107 A foundation for actor computation - Agha, Mason et al. - 1997
96 TTP --- A protocol for fault-tolerant real-time systems (context) - Kopetz, Grunsteidl - 1994
74 Software Synthesis from Dataflow Graphs (context) - Bhattacharyya, Murthy et al. - 1996
73 Interface-based design (context) - Rowson, Sangiovanni-Vincentelli - 1997
71 Scheduling dynamic dataflow graphs with bounded memory using.. - Buck - 1993
54 Abstraction and modularity mechanisms for concurrent computi.. - Agha, Frolund et al. - 1993
41 Model-integrated computing (context) - Sztipanovits, Karsai - 1997
39 Yapi: Application modeling for signal processing systems (context) - de Kock, Essink et al. - 2000
39 Giotto: A time-triggered language for embedded programming - Henzinger, Horowitz et al. - 2001
38 System level design: Orthogonalization of concerns and platf.. - Keutzer, Malik et al. - 2000
37 What's ahead for embedded software - Lee - 2000
31 Bounded scheduling of process networks - Parks - 1995
25 Ptolemy II --- Heterogeneous concurrent modeling and design .. - 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
18 Heterogeneous modeling and simulation of embedded systems in.. (context) - Buck, Vaidyanathan - 2000
17 Synthesis of parallel hardware implementations from synchron.. (context) - Williamson - 1998
16 Signal: A data flow oriented language for signal processing (context) - Guernic, Benveniste et al. - 1985
16 Towards a new standard for system-level design - Liao - 2000
15 An introduction to system level modeling in SystemC 2.0 (context) - Swan - 2001
14 Defining platform-based design (context) - Sangiovanni-Vincentelli - 2002
12 Hardware logic simulation by compilation (context) - Hansen - 1998
8 The embedded machine: Predictable, portable real-time code - Henzinger, Kirsch - 2002
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 VHDL Design Representation and Synthesis (context) - Armstrong, Gray - 2000
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. - 2002
5 Hierarchical approach for design of multi-vehicle multi-moda.. (context) - Koo, Liebman et al. - 2001
5 MoML --- A modeling markup language in XML version 0.4 (context) - Lee, Neuendor - 2000
4 Colif: A design representation for application-specific mult.. (context) - Cesario, Nicolescu et al. - 2001
4 Design and implementation of a code generator for the CAL ac.. (context) - Wernli - 2002
4 3D exploration of software schedules for DSP algorithms (context) - Teich, Zitzler et al. - 1999
4 Responsible frameworks for heterogenous modeling and design .. (context) - Liu - 2001
4 Realistic simulations of embedded control systems - Liu, Eker et al. - 2002
3 The implementation of synchronous dataflow graphs using reco.. (context) - Edwards, Green - 2000
3 An environment for dynamic component composition for e#cient.. (context) - Doucet, Otsuka et al. - 2002
2 An e#cient implementation of reactivity for modeling hardwar.. (context) - Liao, Tjiang et al. - 1997
2 Design Patters (context) - Gamma, Helm et al. - 1995
1 A hierarchical, automated design flow for low-power, high-th.. (context) - Davis - 2002
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