Filtrer vos résultats
- 26
- 11
- 18
- 12
- 3
- 2
- 1
- 1
- 9
- 35
- 1
- 2
- 1
- 1
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 1
- 1
- 36
- 1
- 27
- 25
- 8
- 6
- 6
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 37
- 7
- 7
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
37 résultats
|
|
triés par
|
|
Application Domain-Driven System Design for Pervasive Video ProcessingTwan Basten and Marc Geilen and Harmke de Groot. Ambient Intelligence: Impact on Embedded-System Design, Kluwer Academic Press, pp.251--270, 2003
Chapitre d'ouvrage
hal-01257306v1
|
||
|
More Legal Transformations for LocalityEuro-Par 2004 Parallel Processing: 10th International Euro-Par Conference, Aug 2004, Pisa/Italy, pp.272-283
Communication dans un congrès
inria-00001056v1
|
||
|
Bernstein's Conditions[Research Report] ENS Lyon. 2011, pp.1-9
Rapport
hal-01930890v1
|
||
Rank: a tool to check program termination and computational complexityConstraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Communication dans un congrès
hal-00801571v1
|
|||
|
Improving X10 Program Performances by Clock Removal23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France
Communication dans un congrès
hal-00924206v1
|
||
Scanning polyhedra without DO-loopsPACT'98, 1998, Paris, France. pp.4-11
Communication dans un congrès
inria-00564990v1
|
|||
|
Scalable and Modular SchedulingRR-5180, INRIA. 2004
Rapport
inria-00071408v1
|
||
|
The Power of Polynomials5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), Jan 2015, Amsterdam, Netherlands
Communication dans un congrès
hal-01094787v1
|
||
|
Embedded Systems Energy Characterization using non-Intrusive Instrumentation2006
Autre publication scientifique
hal-00399644v1
|
||
|
Improving Data Locality by ChunkingCC'2003 12th International Conference on Compiler Construction, Apr 2003, Warsaw/Poland
Communication dans un congrès
inria-00001055v1
|
||
|
Elementary transformation analysis for Array-OL[Research Report] RR-6193, INRIA. 2007, pp.12
Rapport
inria-00146323v3
|
||
|
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart ProgramsStatic Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
Communication dans un congrès
inria-00523298v1
|
||
|
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings[Research Report] RR-7235, INRIA. 2010, pp.32
Rapport
inria-00464356v1
|
||
|
Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive MeasurementsIntegrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, Sep 2007, Gothenburg, Sweden. pp.10-19, ⟨10.1007/978-3-540-74442-9⟩
Communication dans un congrès
hal-00399609v1
|
||
|
Multi-Periodic Process Networks: Prototyping and Verifying Stream-Processing SystemsEuro-Par 2002, Parallel Processing, 8th International Euro-Par Conference , Aug 2002, Paderborn, Germany
Communication dans un congrès
hal-01257309v1
|
||
|
Embedded software energy characterization: Using non-intrusive measures for application source code annotationJournal of Embedded Computing, 2009, 3 (3), pp.10. ⟨10.3233/JEC-2009-90⟩
Article dans une revue
hal-00391186v1
|
||
Beyond Iteration Vectors: Instancewise Relational Abstract DomainsStatic Analysis Symposium (SAS), 2006, Seoul, Korea, Unknown Region
Communication dans un congrès
hal-01257289v1
|
|||
|
The SANDRA project: cooperative architecture/compiler technology for embedded real-time streaming applications[Research Report] RR-4773, INRIA. 2003
Rapport
inria-00071813v1
|
||
|
Variables d'induction généralisées pour l'analyse par instances de programmes récursifs[Rapport de recherche] RR-4252, INRIA. 2001
Rapport
inria-00072336v1
|
||
Approximating the Transitive Closure of a Boolean-Affine Relation2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France
Communication dans un congrès
hal-00761491v1
|
|||
|
On the Equivalence of Two Systems of Affine Recurrence EquationsRR-4285, INRIA. 2001
Rapport
inria-00072302v1
|
||
Booting and Porting Linux and uClinux on a new platform2006
Autre publication scientifique
hal-00399643v1
|
|||
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean AbstractionCSI Journal of Computing, 2012, 1 (4), pp.8:86--8:99
Article dans une revue
hal-00860785v1
|
|||
|
Checking Race Freedom of Clocked X10 Programs2013
Pré-publication, Document de travail
hal-00907723v1
|
||
Basis of Parallel Speculative ExecutionEuropar 97, Sep 1997, Passau, Germany
Communication dans un congrès
hal-01743396v1
|
|||
|
Instancewise Array Dependence Test for Recursive ProgramsWorkshop on Compilers for Parallel Computers (CPC), 2003, Amsterdam, Netherlands
Communication dans un congrès
hal-01257308v1
|
||
|
Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions[Research Report] 2009, pp.31
Rapport
inria-00434037v1
|
||
Array Dataflow Analysis for Polyhedral X10 Programs18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'13), Feb 2013, Shenzhen, China
Communication dans un congrès
hal-00761537v1
|
|||
eSimu : a Fast and Accurate Energy Consumption Simulator for Embedded SystemFrom Theory to Practice in Wireless Sensor Networks, Jun 2007, Helsinki, Finland. pp.1-6, ⟨10.1109/WOWMOM.2007.4351799⟩
Communication dans un congrès
hal-00399608v1
|
|||
|
Multi-Periodic Process Networks: Technical Report[Research Report] RR-4496, INRIA. 2002
Rapport
inria-00072092v1
|
- 1
- 2