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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
|||
|
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
|
||
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
|
||
|
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
|
||
|
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
|
||
|
Mode-Automata: a new domain-specific construct for the development of safe critical systemsScience of Computer Programming, 2003, 46 (3), pp.219 - 254. ⟨10.1016/S0167-6423(02)00093-X⟩
Article dans une revue
hal-01876521v1
|
||
|
Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Communication dans un congrès
hal-02156017v1
|
- 1
- 2