vix.ing · top · new · best · stats · spec

Rémy Haemmerlé

  1. Towards Energy Consumption Verification via Static Analysis
    2015/12/31 by Pedro Lopez-Garcia, Pedro López-García, Rémy Haemmerlé +9 · 1 voice
    Computer Science · #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling #cs.DC #cs.LO #cs.PL