SchedulingTable : scheduling table 1: for i := 1 to length(Path) do 2: ShiftSize := (i ? 1) * SegmentBufferSize, ShiftSize) 4: ShiftedIntervalList[i] := ShiftLeftIntervals(FreeIntervalList ,
Software pipelining, ACM Comput. Surv, vol.27, issue.3, 1995. ,
Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model, 2009 International Conference on Embedded Software and Systems, pp.3-10, 2009. ,
DOI : 10.1109/ICESS.2009.36
Implementation of the data-flow synchronous language signal, Proceedings PLDI'95, 1995. ,
Language and Compiler Design for Streaming Applications, International Journal of Parallel Programming, vol.19, issue.2, 2005. ,
DOI : 10.1007/s10766-005-3590-6
A multiform time approach to real-time system modeling; Application to an automotive system, 2007 International Symposium on Industrial Embedded Systems, 2007. ,
DOI : 10.1109/SIES.2007.4297340
Computing SyncCharts Reactions, Electronic Notes in Theoretical Computer Science, vol.88, 2004. ,
DOI : 10.1016/j.entcs.2003.05.007
Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor, Proceedings ALCHEMY 2013, 2013. ,
DOI : 10.1016/j.procs.2013.05.330
URL : https://hal.archives-ouvertes.fr/hal-00832504
Compilation certifiée de SCADE/LUSTRE, French. [11] Autosar (automotive open system architecture), release 4, 2009. ,
A multi-level design methodology of multistage interconnection network for MPSOCs, International Journal of Computer Applications in Technology, vol.42, issue.2/3, pp.191-203, 2011. ,
DOI : 10.1504/IJCAT.2011.045406
URL : https://hal.archives-ouvertes.fr/inria-00563733
Parallel FFT algorithms on network-on-chips, Proceedings ITNG 2008, 2008. ,
Dynamic-and static-priority scheduling of recurring real-time tasks. Real-Time Systems, pp.93-128, 2003. ,
Delay-insensitive synchronization on a message passing architecture with an open collector bus, Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, pp.75-79, 1996. ,
DOI : 10.1109/EMPDP.1996.500571
Multi-criteria scheduling of pipeline workflows, Proceedings of the International Conference on Cluster Computing, 2007. ,
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation, Information and Computation, vol.163, issue.1, pp.125-171, 2000. ,
DOI : 10.1006/inco.2000.9999
The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003. ,
Hybrid dynamical systems theory and the Signal language, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.535-546, 1990. ,
DOI : 10.1109/9.53519
URL : https://hal.archives-ouvertes.fr/inria-00075715
Outline of a real time data flow language, Proceedings RTSS, 1985. ,
Esterel: Towards a synchronous and semantically sound high-level language for real-time applications, Proceedings RTSS, 1983. ,
Cyclo-static data flow, 1995 International Conference on Acoustics, Speech, and Signal Processing, pp.397-408, 1996. ,
DOI : 10.1109/ICASSP.1995.479579
Implementation of guaranteed services in the mango clockless network-on-chip. Computers and Digital Techniques, 2006. ,
SCAN: A Heuristic for Near-Optimal Software Pipelining, Euro-Par 2006 Parallel Processing, pp.289-298, 2006. ,
DOI : 10.1007/11823285_30
Scheduling dependent tasks with different arrival times to meet deadlines The Netherlands, The Netherlands, Proceedings of the International Workshop Organized by the Commision of the European Communities on Modelling and Performance Evaluation of Computer Systems, pp.57-65, 1977. ,
Thousand core chips ? a technology perspective, Proceedings DAC, 2007. ,
An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.129-138, 2012. ,
DOI : 10.1145/2248418.2248437
Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013. ,
DOI : 10.1145/2461328.2461348
Xoncrete: a scheduling tool for partitioned real-time systems, In Proceedings ERTS, 2010. ,
Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal in Computer Simulation, vol.4, issue.2, 1994. ,
DOI : 10.1016/B978-155860702-6/50048-X
Circuit retiming applied to decomposed software pipelining. Parallel and Distributed Systems, IEEE Transactions on, vol.9, issue.1, pp.24-35, 1998. ,
DOI : 10.1109/71.655240
URL : https://hal.archives-ouvertes.fr/hal-00856850
Modeling and Simulation in Scilab/Scicos with ScicosLab 4, 2010. ,
DOI : 10.1007/978-1-4419-5527-2
Router architecture for highperformance nocs, Proceedings SBCCI, 2007. ,
DOI : 10.1145/1284480.1284515
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.4952
Efficient compilation of embedded control specifications with complex functional and non-functional properties, EDITE, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01088786
Reconciling performance and predictability on a many-core through off-line mapping Static mapping of real-time applications onto massively parallel processor arrays, Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014. ,
Predicate-aware, makespanpreserving software pipelining of scheduling tables, TACO, vol.11, issue.1, p.12, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095123
From dataflow specification to multiprocessor partitioned time-triggered real-time implementation, LITES, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-00742908
Theory of latency-insensitive design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.20, issue.9, p.18, 2001. ,
DOI : 10.1109/43.945302
From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications, Proceedings LCTES, 2003. ,
Automatic distribution of reactive systems for asynchronous networks of processors, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.416-427, 1999. ,
DOI : 10.1109/32.798329
URL : https://hal.archives-ouvertes.fr/inria-00073196
ChristopheAussagù es, Stéphane Louise, and Frédéric Daumas Deterministic distributed safety-critical real-time systems within the oasis approach, Proceedings IASTED PDCS, pp.260-268, 2005. ,
Moha Ait Hmid, Patrice Oudin, and Gilles Zeppa. Time-and angle-triggered realtime kernel, Proceedings DATE, pp.1060-1062, 2013. ,
Globally-Asynchronous Locally-Synchronous Systems, 1984. ,
Hardware-software partitioning and pipelined scheduling of transformative applications. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.10, issue.3, pp.193-208, 2002. ,
Formal modeling and validation of Stateflow diagrams, International Journal on Software Tools for Technology Transfer, vol.21, issue.1-2, pp.653-671, 2012. ,
DOI : 10.1007/s10009-012-0235-0
Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Systems, pp.181-194, 1990. ,
Pipeline schedule synthesis for real-time streaming tasks with inter/intra-instance precedence constraints, DATE, 2011. ,
Mixed-criticality in railway systems: A case study on signaling application, Proceedings WMCIS 2015, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01257243
SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, 2014. ,
DOI : 10.1145/2659787.2659812
Implementing Lustre programs on distributed platforms with real-time constraints, 2005. ,
A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys, vol.43, issue.4, 2011. ,
DOI : 10.1145/1978802.1978814
Time modeling in MARTE, Proceedings FDL 2007, pp.268-273, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00204481
The book of traces, World Scientific, 1995. ,
DOI : 10.1142/2563
Programmable routers for efficient mapping of applications onto noc-based mpsocs, Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00787497
Feedback Control Theory, 1990. ,
The case for the precision timed (pret) machine, Proceedings of the 44th annual conference on Design automation. SESSION: Wild and crazy ideas (WACI), 2007. ,
A disruptive computer design idea: Architectures with repeatable timing, 2009 IEEE International Conference on Computer Design, 2009. ,
DOI : 10.1109/ICCD.2009.5413177
Scheduling with bus access optimization for distributed embedded systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.8, issue.5, pp.472-491, 2000. ,
DOI : 10.1109/92.894152
A 48-core ia-32 processor in 45nm cmos using on-die message-passing and dvfs for performance and power scaling, IEEE Journal of Solid-State Circuits, vol.46, issue.1, 2011. ,
Impossibility of distributed consensus with one faulty process, J. ACM, vol.32, issue.2, 1985. ,
Network-Code Machine: Programmable Real-Time Communication Schedules, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pp.311-324, 2006. ,
DOI : 10.1109/RTAS.2006.31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.974
Changing operational modes in the context of pre run-time scheduling, 1993. ,
Static scheduling of pipelined periodic tasks in distributed real-time systems, Proceedings Ninth Euromicro Workshop on Real Time Systems, pp.128-135, 1995. ,
DOI : 10.1109/EMWRTS.1997.613773
Computers and Intractability: A Guide to the Theory of NP-Completeness, 1979. ,
Generating close to optimum loop schedules on parallel processors. Parallel Processing Letters, pp.391-404, 1994. ,
Time analysable synchronisation techniques for parallelised hard real-time applications, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012. ,
DOI : 10.1109/DATE.2012.6176555
Priority-driven scheduling of periodic task systems on multiprocessors. Real-Time Systems, 2003. ,
AEthereal network on chip: Concepts, architectures, and implementations, IEEE Design & Test of Computers, vol.22, issue.5, 2005. ,
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling, Proceedings FORMATS 2015, 2015. ,
DOI : 10.1007/978-3-319-22975-1_8
URL : https://hal.archives-ouvertes.fr/hal-01179489
Automatic implementation of ttethernet-based time-triggered avionics applications, Proceedings DASIA 2015, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01264687
??C: A Programming Model and Language for Embedded Manycores, Proceedings ICA3PP'11, 2011. ,
DOI : 10.1007/978-3-642-24650-0_33
Minimizing register requirements under resource-constrained rate-optimal software pipelining, Proceedings of the 27th annual international symposium on Microarchitecture , MICRO 27, 1994. ,
DOI : 10.1145/192724.192733
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.2377
From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003. ,
DOI : 10.1109/MEMCOD.2003.1210097
POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-304, 2002. ,
DOI : 10.1142/S0218126603000763
Synchronous Programming of Reactive Systems, 1993. ,
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.3-14, 2006. ,
DOI : 10.1109/ACSD.2006.24
URL : https://hal.archives-ouvertes.fr/hal-00189567
Wcet analysis of multi-level non-inclusive setassociative instruction caches, RTSS, 2008. ,
On the Development of Reactive Systems, Logics and Models of Concurrent Systems, pp.477-498, 1985. ,
DOI : 10.1007/978-3-642-82453-1_17
Network on chip with quality of service. United States patent application publication US, 2011. ,
Computer Architecture: A Quantitative Approach, 2007. ,
Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003. ,
DOI : 10.1109/JPROC.2002.805825
The embedded machine: Predictable, portable real-time code, ACM Transactions on Programming Languages and Systems, vol.29, issue.6, 2007. ,
The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008. ,
DOI : 10.1145/1146381.1146382
PNoC: a flexible circuit-switched NoC for FPGA-based systems, IEE Proceedings on Computers and Digital Techniques, 2006. ,
DOI : 10.1049/ip-cdt:20050175
Lifetime-sensitive modulo scheduling, Proc. of the ACM SIGPLAN '93 Conf. on Programming Language Design and Implementation, pp.258-267, 1993. ,
DOI : 10.1145/173262.155115
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.6852
The semantics of a simple language for parallel programming, Information processing, pp.471-475, 1974. ,
ORTAP: An Offset-based response time analysis for a pipelined communication resource model, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013. ,
DOI : 10.1109/RTAS.2013.6531097
A rapid heuristic for scheduling non-preemptive dependent periodic tasks onto multiprocessor, Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00413486
SCC based modulo scheduling for coarse-grained reconfigurable processors, 2012 International Conference on Field-Programmable Technology, 2012. ,
DOI : 10.1109/FPT.2012.6412156
Event-triggered versus time-triggered real-time systems, LNCS 563, pp.87-101, 1991. ,
DOI : 10.1007/BFb0024530
The time-triggered architecture, Proceedings of the IEEE, pp.112-126, 2003. ,
Software pipelining, Proceedings of the SIGPLAN 88 Conference on Programming Language Design and Implementation, pp.318-328, 1988. ,
DOI : 10.1145/989393.989420
Real-time, synchronous, data-flow programming: the language signal and its mathematical semantics, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00076021
Retiming synchronous circuitry, Algorithmica, vol.9, issue.No. 1, pp.5-35, 1991. ,
DOI : 10.1007/BF01759032
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.3222
Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of ACM, vol.14, issue.2, pp.46-61, 1973. ,
The OASIS Kernel: A Framework for High Dependability Real-Time Systems, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011. ,
DOI : 10.1109/HASE.2011.38
TDM Virtual-Circuit Configuration for Network-on-Chip, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.16, issue.8, 2007. ,
DOI : 10.1109/TVLSI.2008.2000673
A proof of the Kahn principle for input/output automata, Information and Computation, vol.82, issue.1, pp.81-92, 1989. ,
DOI : 10.1016/0890-5401(89)90066-7
Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012. ,
DOI : 10.1109/ETFA.2012.6489569
URL : https://hal.archives-ouvertes.fr/hal-00737917
Device drivers in time and space partitioned operating systems, 25th Digital Avionics Systems Conference, 2006. ,
Platform 2012, a many-core computing accelerator for embedded SoCs, Proceedings of the 49th Annual Design Automation Conference on, DAC '12, 2012. ,
DOI : 10.1145/2228360.2228568
Guaranteed bandwidth using looped containers in temporally disjoint networks within the nostrum network on chip, Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004. ,
DOI : 10.1109/DATE.2004.1269001
Communication and Concurrency, 1989. ,
A case for bufferless routing in on-chip networks, Proceedings ISCA-36, 2009. ,
A survey of wormhole routing techniques in direct networks, Computer, vol.26, issue.2, 1993. ,
DOI : 10.1109/2.191995
Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, 2013. ,
DOI : 10.1145/2516821.2516845
Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems, pp.307-338, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00638936
A low cost networkon-chip with guaranteed service well suited to the GALS approach, Proceedings NanoNet'06, 2006. ,
From design-time concurrency to effective implemen-tation parallelism: The multi-clock reactive case, Proceedings ESLsyn 2011, 2011. ,
Scheduling with optimized communication for time-triggered embedded systems, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, 1999. ,
DOI : 10.1145/301177.303812
Deterministic execution of synchronous programs in an asynchronous environment. a compositional necessary and sufficient condition, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00322563
From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations, Synthesis of Embedded Software, pp.978-979, 2010. ,
DOI : 10.1007/978-1-4419-6400-7_8
URL : https://hal.archives-ouvertes.fr/inria-00495666
Synchronous approach and scheduling, Real-Time Systems Scheduling, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01096255
The Kahn principle for networks of synchronous endochronous programs, Proceedings FMGALS 2003, 2003. ,
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010. ,
DOI : 10.1145/1879021.1879048
URL : https://hal.archives-ouvertes.fr/inria-00544665
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.6-9, 2005. ,
DOI : 10.1109/ACSD.2005.10
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.131-159, 2007. ,
DOI : 10.1109/ACSD.2005.10
Concurrency in synchronous systems, Proccedings of the 4th International Conference on Application of Concurrency to System Design, pp.16-18, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00124252
Concurrency in Synchronous Systems, Formal Methods in System Design, vol.18, issue.2, pp.111-130, 2006. ,
DOI : 10.1007/s10703-006-7844-8
URL : https://hal.archives-ouvertes.fr/inria-00124252
Necessary and sufficient conditions for deterministic desynchronization, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007. ,
DOI : 10.1145/1289927.1289950
URL : https://hal.archives-ouvertes.fr/inria-00137885
Clock-driven distributed real-time implementation of endochronous synchronous programs, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, 2009. ,
DOI : 10.1145/1629335.1629356
URL : https://hal.archives-ouvertes.fr/inria-00485007
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.1-3, 2009. ,
DOI : 10.1109/ACSD.2009.23
Integrated worst-case execution time estimation of multicore applications, Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909330
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.91-118, 2011. ,
DOI : 10.1109/ACSD.2009.23
The CyCab: a car-like robot navigating autonomously and safely among pedestrians, Robotics and Autonomous Systems, vol.50, issue.1, 2005. ,
DOI : 10.1016/j.robot.2004.10.002
URL : https://hal.archives-ouvertes.fr/inria-00182049
Mapping a multi-rate synchronous language to a many-core processor The worst-case execution-time problem overview of methods and survey of tools, Proceedings RTAS, 2013. [137], 2008. ,
Using genetic algorithms to map hard realtime on noc-based systems, Proceedings ReCoSoC, 2012. ,
Issues in the static allocation and scheduling of complex periodic tasks, Proc. 10th IEEE Workshop on Real-Time Operating Systems and Software, 1993. ,
Iterative Modulo Scheduling, International Journal of Parallel Programming, vol.3, issue.3, pp.3-64, 1996. ,
DOI : 10.1007/BF03356742
Some scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing, Proceedings of the 14th annual workshop on Microprogramming, 1981. ,
DOI : 10.1145/1014192.802449
Bus Architectures for Safety-Critical Embedded Systems, Proceedings EMSOFT'01, 2001. ,
DOI : 10.1007/3-540-45449-7_22
Strictly periodic scheduling in ima-based architectures. Real-Time Systems, pp.359-386, 2012. ,
Schedulability analysis and task mapping for realtime on-chip communication. Real-Time Systems, pp.360-385, 2010. ,
Generalized latency-insensitive systems for single-clock and multi-clock architectures, Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004. ,
DOI : 10.1109/DATE.2004.1269025
Predicate-aware scheduling: a technique for reducing resource constraints, International Symposium on Code Generation and Optimization, 2003. CGO 2003., 2003. ,
DOI : 10.1109/CGO.2003.1191543
A light-weight statically scheduled network-on-chip, NORCHIP 2012, 2012. ,
DOI : 10.1109/NORCHP.2012.6403129
Bounded dataflow networks and latencyinsensitive circuits, Proceedings Memocode'09, pp.171-180, 2009. ,
DOI : 10.1109/memcod.2009.5185393
Investigation of the Tilera processor for real time hazard detection and avoidance on the Altair Lunar Lander, 2010 IEEE Aerospace Conference, 2010. ,
DOI : 10.1109/AERO.2010.5447023
VCI: Virtual Component Interface Standard (OCB 2 2.0) Online at ,
Decomposed software pipelining, 1993. ,
URL : https://hal.archives-ouvertes.fr/inria-00074834
The benefit of predicated execution for software pipelining, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences, 1993. ,
DOI : 10.1109/HICSS.1993.283949
Embedded systems: Many cores — Many problems, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 2012. ,
DOI : 10.1109/SIES.2012.6356583
Multiprocessor scheduling of processes with release times, deadlines , precedence, and exclusion relations. Software Engineering, IEEE Transactions on, vol.19, issue.2, pp.139-154, 1993. ,
Pipelined data parallel task mapping/scheduling technique for mpsoc, Design, Automation Test in Europe Conference Exhibition (DATE), 2009. ,
Virtual channels vs. multiple physical networks, Proceedings of the 47th Design Automation Conference on, DAC '10, 2010. ,
DOI : 10.1145/1837274.1837315
Time optimal software pipelining of loops with control flows, International Journal of Parallel Programming, issue.5, pp.31339-391, 2003. ,
Register constrained modulo scheduling. Parallel and Distributed Systems, IEEE Transactions on, vol.15, issue.5, pp.417-430, 2004. ,
Exploiting just-enough parallelism when mapping streaming applications in hard real-time systems, Proceedings of the 50th Annual Design Automation Conference on, DAC '13, 2013. ,
DOI : 10.1145/2463209.2488944
Extensible and scalable time triggered scheduling, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005. ,
DOI : 10.1109/ACSD.2005.13
Optimal code size reduction for softwarepipelined loops on dsp applications, Proceedings of the International Conference on Parallel Processing, 2002. ,