Gruppi di ricerca attuali : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Gruppo precedente : | ACASA |
- A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System”, 28th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Toulouse, France [Blin 2016b]
- A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Understanding the Memory Consumption of the MiBench Embedded Benchmark”, Netys, Marakech, Morocco [Blin 2016c]
- A. Blot, P.‑E. Dagand, J. Lawall : “From Sets to Bits in Coq”, FLOPS 2016, Kochi, Japan [Blot 2016]
- P.‑E. Dagand, N. Tabareau, É. Tanter : “Partial Type Equivalences for Verified Dependent Interoperability”, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, pp. 298-310 [Dagand 2016]
- M. Saied, J. Gustedt, G. Muller : “Automatic Code Generation for Iterative Multi-dimensional Stencil Computations”, High Performance Computing, Data, and Analitics, Hydarabat, India, (IEEE) [Saied 2016]
- F. Thung, D. Le, D. Lo, J. Lawall : “Recommending Code Changes for Automatic Backporting of Linux Device Drivers”, 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME), Raleigh, North Carolina, United States [Thung 2016]