Filtrer vos résultats
- 29
- 6
- 21
- 9
- 3
- 1
- 1
- 1
- 34
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 32
- 3
- 35
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 35
- 12
- 11
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
35 résultats
|
|
triés par
|
|
Pinapa: An extraction tool for systemc descriptions of systems-on-a-chipACM international conference on Embedded software, Jun 2005, New-York, United States. pp.317 - 324, ⟨10.1145/1086228.1086286⟩
Communication dans un congrès
hal-00198669v1
|
||
|
LusSy: A toolbox for the analysis of systems-on-a-chip at the transactional levelInternational Conference on Application of Concurrency to System Design (ACSD), Jun 2005, Saint-Malo, France. pp.26 - 35, ⟨10.1109/ACSD.2005.23⟩
Communication dans un congrès
hal-00198681v1
|
||
|
Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous FrameworkScience of Computer Programming, 2006, 63 (3), pp.297-320. ⟨10.1016/j.scico.2005.12.001⟩
Article dans une revue
hal-00273051v1
|
||
|
42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems6th international conference on Generative programming and component engineering, Oct 2007, Salzburg, Austria. pp.53 - 62, ⟨10.1145/1289971.1289981⟩
Communication dans un congrès
hal-00294153v1
|
||
A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-ChipDesign, Automation and Test in Europe, 2008. DATE '08, Mar 2008, Munich, Germany. pp.9 - 14, ⟨10.1109/DATE.2008.4484652⟩
Communication dans un congrès
hal-00281589v1
|
|||
|
Modeling Power Consumption and Temperature in TLM ModelsLeibniz Transactions on Embedded Systems, 2016, 3 (1), pp.03:1-03:29. ⟨10.4230/LITES-v003-i001-a003⟩
Article dans une revue
hal-01339441v1
|
||
|
Automatic State Reaching for Debugging Reactive Programsthe Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France
Communication dans un congrès
hal-00000840v1
|
||
|
Argos: an Automaton-Based Synchronous LanguageComputer Languages -Oxford-, 2001, 27 (1-3), pp.61-92. ⟨10.1016/S0096-0551(01)00016-9⟩
Article dans une revue
hal-00273055v1
|
||
|
Full simulation coverage for SystemC transaction-level models of systems-on-a-chipFormal Methods in System Design, 2009, 35 (Number 2 / October, 2009), p. 152-189. ⟨10.1007/s10703-009-0075-z⟩
Article dans une revue
istex
hal-00429058v1
|
||
|
Co-Simulation of Functional SystemC TLM Models with Power/Thermal SolversVirtual Prototyping of Parallel and Embedded Systems (VIPES), May 2013, Boston, United States
Communication dans un congrès
hal-00807354v1
|
||
|
SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada
Communication dans un congrès
hal-00311011v1
|
||
|
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form[Research Report] RR-6976, INRIA. 2009, pp.16
Rapport
inria-00400272v1
|
||
|
Synchronous programming of device drivers for global resource control in embedded operating systemsACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1s), pp.1 - 26. ⟨10.1145/2435227.2435235⟩
Article dans une revue
hal-01664442v1
|
||
Arrays and contracts for the specification and analysis of regular systemsApplication of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on, Jun 2004, Hamilton, Canada. pp.57- 66, ⟨10.1109/CSD.2004.1309116⟩
Communication dans un congrès
hal-00293109v1
|
|||
|
A SystemC/TLM semantics in Promela and its Possible Applications2007
Pré-publication, Document de travail
hal-00294143v1
|
||
|
System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal ManagementDesign, Automation, and Test in Europe (DATE), Mar 2013, Grenoble, France. pp.1609
Communication dans un congrès
hal-00807048v1
|
||
|
AreaCast: une communication par zone dans les réseaux de capteurs sans fil13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France
Communication dans un congrès
inria-00588288v1
|
||
Co-Simulation of a SystemC TLM Virtual Platform with a Power Simulator at the Architectural Level: Case of a Set-Top BoxDAC, Jun 2012, San Francisco, United States. pp.SESSION 10U: USER TRACK
Communication dans un congrès
hal-00716051v1
|
|||
|
Efficient Monitoring of Loose-Ordering Properties for SystemC/TLMDesign, Automation, and Test in Europe (DATE), Mar 2016, Dresden, Germany
Communication dans un congrès
hal-01243246v1
|
||
|
Towards A Power Advisor in a Devkit for Internet-of-Things MicrocontrollersRAPIDO'2020, Jan 2020, Bologna, Italy
Communication dans un congrès
hal-02975061v1
|
||
|
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-ChipFormal Methods in Computer Aided Design (FMCAD'06), Nov 2006, San Jose, United States. pp.171-178, ⟨10.1109/FMCAD.2006.10⟩
Communication dans un congrès
hal-00311006v1
|
||
|
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded SystemsEURASIP Journal on Embedded Systems, 2008, 2008 (1), pp.376920
Article dans une revue
hal-00784455v1
|
||
Logical-time contracts for reactive embedded componentsEuromicro Conference, 2004. Proceedings. 30th, Sep 2004, Rennes, France. pp.48 - 55, ⟨10.1109/EURMIC.2004.1333355⟩
Communication dans un congrès
hal-00293125v1
|
|||
|
Test Coverage for Loose Timing AnnotationsFormal Methods for Industrial Critical Systems (FMICS), Aug 2006, Bonn, Germany
Communication dans un congrès
inria-00350936v1
|
||
|
Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automatesSystèmes embarqués. Grenoble 1 UJF - Université Joseph Fourier, 1997
HDR
tel-03840029v1
|
||
|
Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2011, Greece
Communication dans un congrès
hal-00559986v1
|
||
AreaCast: a Cross-Layer Approach for a Communication by Area in Wireless Sensor Networks17th IEEE International Conference on Networks (ICON2011), Dec 2011, Singapore, Singapore
Communication dans un congrès
hal-00645987v1
|
|||
|
Let us not put all our eggs in one basketCommunications of the ACM, 2022, 65 (9), pp.35-37. ⟨10.1145/3528088⟩
Article dans une revue
hal-03766614v1
|
||
|
The ARESA Project: Facilitating Research, Development and Commercialization of WSNsSensor, Mesh and Ad Hoc Communications and Networks, 2007. SECON '07. 4th Annual IEEE Communications Society Conference on, Jun 2007, San Diego, CA, United States. pp.590-599, ⟨10.1109/SAHCN.2007.4292871⟩
Communication dans un congrès
hal-00294180v1
|
||
|
LusSy: an Open Tool for the Analysis of Systems-on-a-Chip at the Transaction LevelDesign Automation for Embedded Systems, 2005, 10 (32), pp.73-104. ⟨10.1007/s10617-006-9044-6⟩
Article dans une revue
hal-00310999v1
|
- 1
- 2