STARPro - A new multithreaded direct execution platform for Esterel
暂无分享,去创建一个
Zoran A. Salcic | Partha S. Roop | Li Hsien Yoong | Simon Yuan | Sidharta Andalam | Z. Salcic | L. Yoong | Sidharta Andalam | P. Roop | S. Yuan
[1] Xin Li,et al. A concurrent reactive Esterel processor based on multi-threading , 2006, SAC.
[2] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[3] Stephen A. Edwards,et al. Code Generation in the Columbia Esterel Compiler , 2007, EURASIP J. Embed. Syst..
[4] Partha S. Roop,et al. Direct Execution of Esterel Using Reactive Microprocessors , 2005 .
[5] Xin Li,et al. Mapping esterel onto a multi-threaded embedded processor , 2006, ASPLOS XII.
[6] K. Schneider,et al. A new method for compiling schizophrenic synchronous programs , 2001, CASES '01.
[7] Thomas M. Conte,et al. Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems , 2003 .
[8] Stephen A. Edwards,et al. An Esterel Virtual Machine for Embedded Systems , 2006 .
[9] Partha S. Roop,et al. Compiling Esterel for Distributed Execution , 2006 .
[10] Dong Hui,et al. REMIC - design of a reactive embedded microprocessor core , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
[11] Shlomo Nir,et al. NATO ASI Series , 1995 .
[12] Xin Li,et al. The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor , 2004, SYNCHRON.
[13] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.
[14] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .
[15] Robert de Simone,et al. Optimizations for faster execution of Esterel programs , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
[16] Michael Harder,et al. An Esterel processor with full preemption support and its worst case reaction time analysis , 2005, CASES '05.
[17] Michel Poize,et al. SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure , 2002, SLAP@ETAPS.