Receive BIP model obtained from BIP to BIP transformations, p.37 ,
139 10.18Demosaicing Performance Analysis Results -Mapping3 140 10.19Data dependencies for 2 × 2(A), 3 × 3(B) and 4 × 4(C) process decomposition . Identical patterns indicate respectively a similar amount of local computation (processes) or potential for parallel communication (data dependencies ), p.141 ,
151 List of Tables 9, p.123 ,
138 10.13Execution times for computational routines on demosaicing processes (in 10 6 cycles), p.138 ,
An Architecture for Autonomy, The International Journal of Robotics Research, vol.17, issue.4, pp.315-337, 1998. ,
DOI : 10.1177/027836499801700402
URL : https://hal.archives-ouvertes.fr/hal-00123273
A next-generation design framework for platformbased design, 2007. ,
The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991. ,
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115
MPARM: Exploring the Multi-Processor SoC Design Space with SystemC, Journal of VLSI signal processing systems for signal, image and video technology, vol.41, issue.2, pp.169-182, 2005. ,
DOI : 10.1007/s11265-005-6648-1
Distributed Semantics and Implementation for Systems with Interaction and Priority, FORTE, pp.116-133, 2008. ,
DOI : 10.1007/978-3-540-30101-1_15
URL : https://hal.archives-ouvertes.fr/hal-00359261
Statistical abstraction and model-checking of large heterogeneous systems, Proceedings of FMOODS/FORTE'10, pp.32-46, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01055148
Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011. ,
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395
Statistical abstraction and model-checking of large heterogeneous systems, pp.53-72, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01055148
SIGNAL : a data flow oriented language for signal processing, 1985. ,
URL : https://hal.archives-ouvertes.fr/inria-00076178
From high-level component-based models to distributed implementations, EMSOFT, pp.209-218, 2010. ,
Incremental Component-based Construction and Verification using Invariants, Proceedings of FMCAD'10, pp.257-266, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00557802
D-Finder: A Tool for Compositional Deadlock Detection and Verification, CAV, pp.614-619, 2009. ,
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550
Compositional Verification for Component-based Systems and Application, Proceedings of ATVA'08, pp.64-79, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00568866
D-Finder: A Tool for Compositional Deadlock Detection and Verification, Proceedings of CAV'09, pp.614-619, 2009. ,
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Hardware-software co-design of embedded systems: the POLIS approach, 1997. ,
DOI : 10.1007/978-1-4615-6127-9
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
Incremental componentbased construction and verification of a robotic system, Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, pp.631-635, 2008. ,
D-Finder 2: Towards Efficient Correctness of Incremental Design, NASA Formal Methods, pp.453-458, 2011. ,
DOI : 10.1109/MS.1985.230351
Source-to-source architecture transformation for performance optimization in bip, SIES, pp.152-160, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00722520
Modeling and designing heterogeneous systems, Concurrency and Hardware Design, pp.228-273 ,
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007. ,
DOI : 10.1109/NCA.2007.52
The Algebra of Connectors—Structuring Interaction in BIP, IEEE Transactions on Computers, vol.57, issue.10, pp.1315-1330, 2008. ,
DOI : 10.1109/TC.2008.26
A Notion of Glue Expressiveness for Component-Based Systems, Lecture Notes in Computer Science, vol.5201, pp.508-522, 2008. ,
DOI : 10.1007/978-3-540-85361-9_39
Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.77-86, 2009. ,
DOI : 10.1145/1629335.1629347
URL : https://hal.archives-ouvertes.fr/hal-00722479
Real-Time Systems and Programming Languages ,
Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003. ,
DOI : 10.1109/MC.2003.1193228
Multi-criteria optimization for mapping programs to multi-processors, 2011 6th IEEE International Symposium on Industrial and Embedded Systems, pp.9-17, 2011. ,
DOI : 10.1109/SIES.2011.5953650
Translating aadl into bip -application to the verification of real-time systems, MoDELS Workshops, pp.5-19, 2008. ,
Taming heterogeneity: The Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003. ,
A framework for system-level modeling and simulation of embedded systems architectures, EURASIP Journal on Embedded Systems, 2007. ,
Shim: a deterministic model for heterogeneous embedded systems, EMSOFT, pp.264-272, 2005. ,
Genom: A tool for the specification and the implementation of operating modules in a distributed robot architecture, International Conference on Intelligent Robots and Systems, pp.842-848, 1997. ,
System Design with SystemC, 2002. ,
Synchronous Programming of Reactive Systems, 1993. ,
The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991. ,
System-level performance analysis -the SymTA/S approach, IEEE Proceedings Computers and Digital Techniques, pp.148-166, 2005. ,
The Embedded Systems Design Challenge, Formal Methods FM'06 Proceedings, pp.1-15 ,
DOI : 10.1007/11813040_1
SystemCoDesigner, Proceedings of the 45th annual conference on Design automation, DAC '08, pp.580-585, 2008. ,
DOI : 10.1145/1391469.1391616
The semantics of simple language for parallel programming, IFIP Congress, pp.471-475, 1974. ,
An approach for quantitative analysis of application-specific dataflow architectures, Proceedings IEEE International Conference on Application-Specific Systems, Architectures and Processors, pp.338-349, 1997. ,
DOI : 10.1109/ASAP.1997.606839
Combining Simulation and Formal Methods for System-Level Performance Analysis, Proceedings of the Design Automation & Test in Europe Conference, pp.236-241, 2006. ,
DOI : 10.1109/DATE.2006.244109
Finite state machines and modal models in ptolemy ii, 2009. ,
Synchronous data flow: Describing signal processing algorithm for parallel computation, In COMP- CON, pp.310-315, 1987. ,
System level design with SPADE: an M-JPEG case study, ICCAD, pp.31-38, 2001. ,
Exploring SW Performance Using SoC Transaction-Level Modeling, Proceedings of DATE'03, pp.20120-20125, 2003. ,
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
Object Class Recognition and Localization Using Sparse Features with Limited Receptive Fields, International Journal of Computer Vision, vol.5, issue.7, pp.45-57, 2008. ,
DOI : 10.1007/s11263-007-0118-0
Laurent Maillet-contoz, and Laurent Maillet-contoz. Lussy: an open tool for the analysis of systems-on-a-chip at the transaction level. design automation for embedded systems ,
Multi-processor system design with ESPAM, Proceedings of the 4th international conference on Hardware/software codesign and system synthesis , CODES+ISSS '06, pp.211-216, 2006. ,
DOI : 10.1145/1176254.1176306
Automated Integration of Dedicated Hardwired IP Cores in Heterogeneous MPSoCs Designed with ESPAM, EURASIP Journal on Embedded Systems, vol.1132, issue.1, 2008. ,
DOI : 10.1109/TVLSI.2006.878259
Daedalus, Proceedings of the 45th annual conference on Design automation, DAC '08, pp.574-579, 2008. ,
DOI : 10.1145/1391469.1391615
Data-flow algorithms for parallel matrix computation, Commun. ACM, vol.28, issue.8, pp.840-853, 1985. ,
Exploring embedded-systems architectures with Artemis, Computer, vol.34, issue.11, pp.57-63, 2001. ,
DOI : 10.1109/2.963445
The Artemis workbench for system-level performance evaluation of embedded systems, International Journal of Embedded Systems, vol.3, issue.3, pp.181-196, 2008. ,
DOI : 10.1504/IJES.2008.020299
Event model interfaces for heterogeneous system analysis, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition, pp.506-513, 2002. ,
DOI : 10.1109/DATE.2002.998348
Hierarchical models of object recognition in cortex, 1999. ,
Model composition for scheduling analysis in platform design, DAC, pp.287-292, 2002. ,
Architecture analysis and design language (aadl) (standard sae as5506, 2009. ,
Compositional timing analysis, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.39-48, 2009. ,
DOI : 10.1145/1629335.1629342
Platform 2012: A many-core programmable accelerator for ultra-efficient embedded computing in nanometer technology, 2010. ,
Compositional translation of simulink models into synchronous bip, SIES, pp.217-220, 2010. ,
Object Recognition with Features Inspired by Visual Cortex, 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05), pp.994-1000, 2005. ,
DOI : 10.1109/CVPR.2005.254
Mapping Applications to Tiled Multiprocessor Embedded Systems, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), pp.29-40, 2007. ,
DOI : 10.1109/ACSD.2007.53
Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2002. ,
DOI : 10.1109/ISCAS.2000.858698
Model-driven design-space exploration for embedded systems: The octopus toolset, ISoLA (1), pp.90-105, 2010. ,