Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto Sangiovanni-Vincentelli  Home/Search
Context Related
| berkeley.edu/Respep/R...Sgroi_dac99.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/HomePages...pubslast (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained partitioning. However, in order to be implemented in software, concurrent tasks need to be scheduled on a shared resource (the processor). The choice of the scheduling policy mainly depends on the specification of the system. For pure dataflow specifications, it is possible to apply a fully static scheduling technique,... (Update)
Context of citations to this paper: More
...aid of the tool, the best number of tasks. However, new techniques exist that allow, in some cases, this choice to be made automatically [4]. Mapping B : exploiting the ATU capabilities. The second solution tries to minimize the amount of software executed by the CPU by...
...support hierarchical constructions. Several other models extending Petri nets have been used in the design of embedded systems [Mac99] [Sgr99], Ess98] 19 [Ben92] 3.2 Formal Verification Though formal methods are not commonplace in embedded systems design, several...
Cited by: More
Quasi-Static Scheduling for Concurrent Architectures - Jordi Cortadella Universitat (Correct)
Communicating Transaction Processes - Roychoudhury, Thiagarajan (2002) (Correct)
A Petri Net based Modeling and Verification Technique for.. - Cortes (2001) (Correct)
Similar documents (at the sentence level):
27.9%: Quasi-Static Scheduling of Embedded Software Using .. - Sgroi, Lavagno.. (1995) (Correct)
Active bibliography (related documents): More All
0.3: CSTs (Covering Sharing Trees): Compact Data Structures.. - Delzanno, Raskin, Van.. (Correct)
0.3: Covering Sharing Trees: A Compact Data Structure for.. - Delzanno, Raskin, Van.. (Correct)
0.1: Petri Net-based Thread Composition for Improved System - Level Simulation Nick (Correct)
Similar documents based on text: More All
0.6: Synthesis of Real-Time Embedded Software by Timed.. - Pao-Ann Hsiung And (Correct)
0.4: Task Generation and Compile-Time Scheduling for.. - Cortadella.. (2000) (Correct)
0.4: Extended Quasi-Static Scheduling for Formal Synthesis and Code.. - Su, Hsiung (2002) (Correct)
Related documents from co-citation: More All
9: Software synthesis of process-based concurrent programs - Lin - 1998
7: Hardware-Software Co-design of Embedded Systems -- The POLIS approach (context) - Balarin, Sentovich et al. - 1997
5: Scheduling dynamic dataflow graphs with bounded memory using the Token Flow Mode.. - Buck - 1993
BibTeX entry: (Update)
M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice Petri nets. In 36th ACM/IEEE Design Automation Conference, June 1999. http://citeseer.ist.psu.edu/sgroi99synthesis.html More
@inproceedings{ sgroi99synthesis,
author = "Marco Sgroi and Luciano Lavagno",
title = "Synthesis of Embedded Software Using Free-Choice Petri Nets",
booktitle = "Design Automation Conference",
pages = "805-810",
year = "1999",
url = "citeseer.ist.psu.edu/sgroi99synthesis.html" }
Citations (may not include all citations):368 analysis and applications (context) - Murata, properties - 1989
150 Static scheduling of synchronous dataflow programs for digit.. (context) - Lee, Messerschmitt - 1987
71 Scheduling dynamic dataflow graphs with bounded memory using.. - Buck - 1993
65 Analysis of Production Schemata by Petri Nets - Hack - 1972
16 Software synthesis of process-based concurrent programs - Lin - 1998
13 Real-time multi-tasking in software synthesis for informatio.. - Thoen - 1995
12 Quasi-static scheduling of embedded software using free-choi.. - Sgroi - 1998
10 Intellectual property re-use in embedded system co-design: a.. (context) - Filippi - 1998
3 Structure theory Weighted PlaceTransition Net system (context) - theory, Place et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cad.eecs.berkeley.edu/HomePages/alberto/pubslast/pubslast.html): More
Solution of Parallel Language Equations for Logic.. - Yevtushenko, Villa.. (2001) (Correct)
Designing Digital Video Systems: Modeling and Scheduling - Kenter, Passerone.. (1999) (Correct)
Synthesis of Robust Control Systems Under Resource.. - Palopoli, Pinello.. (2002) (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