See this document in CiteSeerX!

Models of Embedded Computation (2005)  (Make Corrections)  (2 citations)
Axel Jantsch Royal Institute of Technology, Stockholm, Sweden February 1,...



  Home/Search   Context   Related

 
View or download:
imit.kth.se/~axel/pap...CRCchapter.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  web.it.kth.se/~axel/publist (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: First, we trace the history of models of computation (MoC) from the early days of computing to the current situation. In the beginning models of computation have been used to study what can be computed in principle. Then, they have been used to address the question how much time and resources are required in principle to solve a given problem. For parallel computers various computational models have been developed to capture the essential features of communication and memory architecture... (Update)

Cited by:   More
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005)   (Correct)
Models of Computation in the Design Process - Jantsch, Sander (2005)   (Correct)

Active bibliography (related documents):   More   All
0.2:   System Design for DSP Applications in Transaction Level.. - Deb, Jantsch, Öberg (2004)   (Correct)
0.2:   Process Networks - David Hofstee Philips (2003)   (Correct)
0.2:   Synthesis of Application Specific Multiprocessor.. - Dwivedi, Kumar.. (2004)   (Correct)

Similar documents based on text:   More   All
0.4:   System Modelling and SDL-Matlab Cosimulation - Jantsch (2001)   (Correct)
0.1:   Networks on Chip - Kumar, Hemani, Forsell, Soininen.. (2001)   (Correct)
0.1:   Software Components in Contexts and Service Negotiations - Wang, MacLean   (Correct)

Related documents from co-citation:   More   All
3:   Taming heterogeneity---the Ptolemy approach - Eker, Janneck et al. - 2002
2:   Haskell 98 Language and Libraries (context) - Jones - 2003
2:   Modelica: The new object-oriented modeling language - Elmqvist, Mattsson et al. - 1998

BibTeX entry:   (Update)

A. Jantsch. Models of embedded computation. In Embedded Systems. CRC Press, 2005. Invited contribution; to appear. 26 http://citeseer.ist.psu.edu/article/jantsch05models.html   More

@misc{ jantsch05models,
  author = "A. Jantsch",
  title = "Models of embedded computation",
  text = "A. Jantsch. Models of embedded computation. In Embedded Systems. CRC Press,
    2005. Invited contribution; to appear. 26",
  year = "2005",
  url = "citeseer.ist.psu.edu/article/jantsch05models.html" }
Citations (may not include all citations):
211   The synchronous approach to reactive and real-time systems (context) - Benveniste, Berry - 1991
82   A model for hierarchical memory (context) - Aggarwal, Alpern et al. - 1987
79   Communication complexity of PRAMs (context) - Aggarwal, Chandra et al. - 1990
78   Scenarios: A model of nondeterminate computation (context) - Brock, Ackerman - 1981
42   Time bounded random access machines (context) - Cook, Reckhow - 1973
25   Synchronous programming of reactive systems: an introduction.. (context) - Berry, Couronne et al. - 1988
10   Discrete Event Systems (context) - Cassandras - 1993
8   The uniform memory hierarchy model of computation (context) - Alpern, Carter et al. - 1994
6   Software Synthesis from Dataflow Graphs (context) - Bhattacharyya, Murthy et al. - 1996
5   Efficient execution of process networks - Basten, Hoogerbrugge - 2001
1   Modeling of mixed control and dataflow systems in MASCOT (context) - Bjurus, Jantsch - 2001
1   A Formal Model for Non-deterministic Dataflow Computation (context) - Brock - 1983

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