Quasi-static scheduling for concurrent architectures

被引：0
|
作者：
Cortadella, J
Kondratyev, A [1 ]
Lavagno, L
Taubin, A
Watanabe, Y
机构：
[1] Cadence Berkeley Labs, Berkeley, CA USA
[2] Univ Politecn Cataluna, Barcelona, Spain
[3] Politecn Torino, Turin, Italy
[4] Boston Univ, Boston, MA 02215 USA
来源：
FUNDAMENTA INFORMATICAE | 2004年 / 62卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks, while considering multiple concurrent execution resources. A formal model based on the notion of scheduling of Petri nets is used to perform the synthesis. We show how the notion of projections of a schedule for the complete system onto the components implemented on separate resources is essential to define the correctness of the partitioned schedule.
引用
收藏
页码：171 / 196
页数：26
相关论文
共 50 条
  • [1] Quasi-static scheduling for concurrent architectures
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Watanabe, Y
    [J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 29 - 40
  • [2] Quasi-static scheduling of communicating tasks
    Darondeau, Philippe
    Genest, Blaise
    Thiagarajan, P. S.
    Yang, Shaofa
    [J]. CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 310 - +
  • [3] Quasi-Static Scheduling for Safe Futures
    Navabi, Armand
    Zhang, Xiangyu
    Jagannathan, Suresh
    [J]. PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2008, : 23 - 32
  • [4] Quasi-static scheduling of communicating tasks
    Darondeau, Philippe
    Genest, Blaise
    Thiagarajan, P. S.
    Yang, Shaofa
    [J]. INFORMATION AND COMPUTATION, 2010, 208 (10) : 1154 - 1168
  • [5] False path elimination in quasi-static scheduling
    Arrigoni, G
    Duchini, L
    Lavagno, L
    Passerone, C
    Watanabe, Y
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 964 - 970
  • [6] Quasi-static scheduling of independent tasks for reactive systems
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Passerone, C
    Watanabe, Y
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 80 - 100
  • [7] Quasi-static scheduling of independent tasks for reactive systems
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Passerone, C
    Watanabe, Y
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2005, 24 (10) : 1492 - 1514
  • [8] Quasi-static scheduling of reconfigurable dataflow graphs for DSP systems
    Bhattacharya, B
    Bhattacharyya, SS
    [J]. 11TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 84 - 89
  • [9] State space compression in history driven quasi-static scheduling
    Lomeña, AG
    López-Vallejo, M
    Watanabe, Y
    Kondratyev, A
    [J]. EMBEDDED SOFTWARE FOR SOC, 2003, : 261 - 274
  • [10] Modeling and study of the quasi-static behavior of piezoceramic telescopic actuation architectures
    Brei, D
    Berner, NT
    Alexander, PW
    [J]. JOURNAL OF INTELLIGENT MATERIAL SYSTEMS AND STRUCTURES, 2001, 12 (05) : 303 - 313
12345