| Alternate document: Details Models of Computation in the Design Process (05) Axel Jantsch, Ingo Sander |
Axel Jantsch, Ingo Sander  Home/Search
Context
Related
| imit.kth.se/~axel/...EEProceedings.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: web.it.kth.se/~axel/publist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We review Models of Computation (MoC) and organize them with respect to the time abstraction they use. We distinguish between continuous time, discrete time, synchronous and untimed MoCs. System level models serve a variety of objectives with partially contradicting requirements. Consequently we argue that different MoCs are necessary for the various tasks and phases in the design of an embedded system. Moreover, different MoCs have to be integrated to provide a coherent system modeling and... (Update)
Similar documents (at the sentence level):
17.4%: System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
12.5%: Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
Active bibliography (related documents): More All
0.5: Toward a Scalably Efficient Parallel Implementation of a Hybrid .. - Jagannathan (1995) (Correct)
0.3: A Component-Based Approach to Modeling and Simulating.. - Liu, Lee (2003) (Correct)
0.3: Refinement of Hybrid Systems - From Formal Models (Correct)
Similar documents based on text: More All
0.2: On the Roles of Functions and Objects in System Specification - Jantsch, Sander (2000) (Correct)
0.2: Performance Estimation in ForSyDe - Zhang (2002) (Correct)
0.2: System Synthesis Based on a Formal Computational Model and.. - Sander, Jantsch (1999) (Correct)
BibTeX entry: (Update)
@misc{ jantsch-models,
author = "Axel Jantsch and Ingo Sander",
title = "Models of Computation and Languages for Embedded System Design",
url = "citeseer.ist.psu.edu/jantsch05models.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978 ACM DBLP
1933 Communication and Concurrency (context) - Milner - 1989 ACM
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
484 A calculus of communicating systems (context) - Milner - 1980
457 The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
322 volume 92 of Lecture Notes of Computer Science (context) - Milner, of et al. - 1980
302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
270 Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993 ACM DBLP
235 The synchronous data flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
227 Formal methods: State of the art and future directions - Clarke, Wing - 1996 DBLP
211 The synchronous approach to reactive and real-time systems (context) - Benveniste, Berry - 1991 ACM
210 Synchronous data flow (context) - Lee, Messerschmitt - 1987
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993 ACM
150 Static scheduling of synchronous data flow programs for digi.. (context) - Lee, Messerschmitt - 1987 ACM DBLP
107 Coroutines and networks of parallel processes (context) - Kahn, MacQueen - 1977
106 Dataflow process networks - Lee, Parks - 1995 ACM
94 The foundations of Esterel - Berry - 1998 ACM
80 the Dataflow Programming Language (context) - Wadge, Ashcroft - 1985
79 The ESTEREL language (context) - Boussinot, De Simone - 1991
72 Discrete Event Systems: Modeling and Performance Analysis (context) - Cassandras - 1993
71 First version of a data flow procedure language (context) - Dennis - 1974 ACM DBLP
71 Scheduling Dynamic Dataflow Graphs with Bounded Memory Using.. - Buck - 1993 ACM
60 Programming real-time applications with SIGNAL (context) - Le Guernic, Gautier et al. - 1991
57 The Argos language: Graphical representation of automata and.. - Maraninchi - 1991
55 Models and languages for parallel computation - Skillicorn, Talia - 1998 ACM DBLP
45 A framework for comparing models of computation (context) - Lee, Sangiovanni-Vincentelli - 1998
37 A hardware implementation of pure Esterel - Berry - 1991
32 Design of embedded systems: Formal models (context) - Edwards, Lavagno et al. - 1997
32 Formal verification in hardware design: A survey - Kern, Greenstreet - 1999 DBLP
30 A programming environment for the design of complex high spe.. - Schaumont, Vernalde et al. - 1997 ACM DBLP
27 Cyclo-static data flow (context) - Bilsen, Engels et al. - 1995
25 Hierarchical finite state machines with multiple concurrency.. - Girault, Lee et al. - 1999
20 Some computer organisations and their effectiveness (context) - Flynn - 1972
20 a nonprocedural language with iteration (context) - Ashcroft, Wadge - 1977
20 System Design with SystemC (context) - Grotker, Liao et al. - 2002 ACM
20 System Design with SystemC (context) - Grotker, Liao et al. - 2002 ACM
17 System-level design: Orthogonolization of concerns and platf.. (context) - Keutzer, Malik et al. - 2000
16 Haskell 98 Language and Libraries (context) - Jones - 2003
16 FunState - an internal design representation for codesign - Strehl, Thiele et al. - 2001 DBLP
14 Formal verification of sequential hardware: A tutorial (context) - McFarland - 1993
13 Taming heterogeneity---the Ptolemy approach - Eker, Janneck et al. - 2003
12 Models of computation and formal language (context) - Taylor - 1998
9 Modelica - the new object-oriented modeling language - Elmqvist, Mattsson et al. - 1998
9 SPI---a system model for heterogeneously specified embedded .. - Ziegenbein, Richter et al. - 2002
9 BenjaminCumming Publishing Company (context) - Bryan, with et al. - 1994
9 Technical Report UCBERL M (context) - of, project et al. - 2003
8 The synchronous languages 12 years later (context) - Benveniste, Caspi et al. - 2003 DBLP
7 International Technology Roadmap for Semiconductors - Design (context) - Working - 2003
6 Scheduling of behavioural VHDL by retiming techniques (context) - Wehn, Biesenack et al. - 1994
6 Language Reference Manual (context) - Limited - 2003
6 the roles of functions and objects in system specification - Jantsch, Sander - 2000
6 Implementing reactive programs on circuits: A hardware imple.. (context) - Rocheteau, Halbwachs - 1992
5 Exploring the Power of Computing (context) - Savage, Computation - 1998
4 Mastering SIMULINK (context) - Dabney, Harman - 1998 ACM
4 Ecole des Mines and INRIA (context) - Berry, Language - 2000
3 System modeling and transformational design refinement in Fo.. (context) - Sander, Jantsch - 2004
3 design objectives and rationale (context) - Vachoux, Grimm et al. - 2003
3 Modeling of mixed control and dataflow systems in MASCOT (context) - Bjureus, Jantsch - 2001
3 Composite signal flow: A computational model combining event.. - Jantsch, Bjureus - 2000
2 Coarse-grain dataflow programming of conventional parallel c.. - Jagannathan - 1995
2 Optimizing synthesis circuitry by retiming (context) - Rose, Leiserson et al. - 1983
2 Modeling Embedded Systems and SoCs - Concurrency and Time in.. (context) - Jantsch - 2003
2 SystemC Kernel Extensions for Heterogeneous System Modeling (context) - Patel, Shukla - 2004
2 Models of computation for systems-on-chip (context) - Paul, Thomas - 2004
2 Models of embedded computation - Jantsch - 2004
2 Validation of synchronous reactive systems: from formal veri.. - Halbwachs, Raymond - 1999
2 A functional programming framework of heterogeneous model of.. (context) - Mathaikutty, Patel et al. - 2004
2 The constructive semantics of pure Esterel - draft version - Berry - 1999
1 A behavioral type system and its application in Ptolemy II (context) - Lee, Xiong - 2004
1 Functional verification of system on chips practices (context) - Roy, Ramesh et al. - 2002
1 Designers Guide To VHDL-AMS (context) - Ashenden, Peterson et al. - 2002
1 A survey on current functional verification practice (context) - Lemire, Regimbal et al. - 2002
1 Technical and economical barriers and drivers for the introd.. (context) - Jager - 2004
1 SystemC Compiler Behavioral Modeling Guide (context) - Inc - 2002
1 Multidimensional Programming (context) - Faustini, Jagganathan et al. - 1995 ACM
1 SystemC Compiler RTL User and Modeling Guide (context) - Inc - 2002
1 Ptolemy II - Heterogeneous Concurrent Modeling and Design in.. - Hylands, Lee et al. - 2003
1 A survey: System-ona -chip design and verification (context) - Habibi, Tahar - 2003
Documents on the same site (http://web.it.kth.se/~axel/publist.html): More
Extending Platform-Based Design to Network on Chip.. - Soininen, Jantsch.. (2003) (Correct)
Performance Analysis with Confidence Intervals for Embedded.. - Bjuréus, Jantsch (2001) (Correct)
Guaranteed Bandwidth using Looped Containers in.. - Millberg, Nilsson.. (2004) (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