Exploració per autor "Watanabe, Yosinori"
Ara es mostren els items 1-5 de 5
-
Quasi-static scheduling for concurrent architectures
Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Watanabe, Yosinori (Institute of Electrical and Electronics Engineers (IEEE), 2003)
Text en actes de congrés
Accés obertWe present 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 ... -
Quasi-static scheduling of independent tasks for reactive systems
Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Passerone, Claudio; Watanabe, Yosinori (Springer, 2002-06)
Article
Accés obertThe synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by ... -
Quasi-static scheduling of independent tasks for reactive systems
Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Passerone, Claudio; Watanabe, Yosinori (2005-10)
Article
Accés obertA reactive system must process inputs from the environment at the speed and with the delay dictated by the environment. The synthesis of reactive software from a modular concurrent specification model generates a set of ... -
Task generation and compile-time scheduling for mixed data-control embedded software
Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Massot, Marc; Moral Boadas, Sandra; Passerone, Claudio; Watanabe, Yosinori; Sangiovanni-Vincentelli, Alberto (1999-11)
Report de recerca
Accés obertA method for synthesizing code for the software component of a system is proposed. The specification is given as a set of concurrent processes that communicate through channels. Each process is a sequential program that ... -
Task generation and compile-time scheduling for mixed data-control embedded software
Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Massot, Marc; Moral Boadas, Sandra; Passerone, Claudio; Watanabe, Yosinori; Sangiovanni-Vincentelli, Alberto (Association for Computing Machinery (ACM), 2000)
Text en actes de congrés
Accés obertThe problem of optimal software synthesis for concurrent processes to be implemented on a single processor is addressed. The approach calls for the representation of the concurrent processes with Petri nets that give a ...