Abdoulaye Gamatié
TítuloCitado porAno
A model-driven design framework for massively parallel embedded systems
A Gamatié, S Le Beux, É Piel, R Ben Atitallah, A Etien, P Marquet, ...
ACM Transactions on Embedded Computing Systems (TECS) 10 (4), 39, 2011
1162011
Designing embedded systems with the Signal programming language: synchronous, reactive specification
A Gamatié
Springer Science & Business Media, 2009
1102009
A model driven design framework for high performance embedded systems
A Gamatié, S Le Beux, É Piel, A Etien, RB Atitallah, P Marquet, ...
INRIA, 2008
442008
Synchronous Modeling of Avionics Applications using the SIGNAL Language.
A Gamatié, T Gautier
IEEE, 2003
342003
Polychronous design of embedded real-time applications
A Gamatié, T Gautier, PL Guernic, JP Talpin
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (2), 9, 2007
332007
Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives
IR Quadri, A Gamatié, P Boulet, S Meftali, JL Dekeyser
Journal of systems architecture 58 (5), 178-194, 2012
322012
Polychronous mode automata
JP Talpin, C Brunette, T Gautier, A Gamatié
Proceedings of the 6th ACM & IEEE International conference on Embedded …, 2006
312006
Targeting reconfigurable fpga based socs using the uml marte profile: from high abstraction levels to code generation
IR Quadri, H Yu, A Gamatié, E Rutten, S Meftali, JL Dekeyser
International Journal of Embedded Systems 4 (3-4), 204-224, 2010
302010
Synchronous modeling and analysis of data intensive applications
A Gamatié, É Rutten, H Yu, P Boulet, JL Dekeyser
EURASIP Journal on Embedded Systems 2008 (1), 561863, 2008
29*2008
Full-system simulation of big. little multicore architecture for performance and energy exploration
A Butko, F Bruguier, A Gamatié, G Sassatelli, D Novo, L Torres, M Robert
2016 IEEE 10th International Symposium on Embedded Multicore/Many-core …, 2016
272016
A trace-driven approach for fast and accurate simulation of manycore architectures
A Butko, R Garibotti, L Ost, V Lapotre, A Gamatie, G Sassatelli, ...
The 20th Asia and South Pacific Design Automation Conference, 707-712, 2015
262015
The signal synchronous multiclock approach to the design of distributed embedded systems
G Abdoulaye, T Gautier
Parallel and Distributed Systems, IEEE Transactions on 21 (5), 641-657, 2010
26*2010
A case study on controller synthesis for data-intensive embedded systems
H Yu, G Delaval, A Gamatié, E Rutten
Proceedings of the 6th IEEE International Conference on Embedded Software …, 2009
26*2009
A modeling paradigm for integrated modular avionics design
A Gamati, C Brunette, R Delamare, T Gautier, JP Talpin
32nd EUROMICRO Conference on Software Engineering and Advanced Applications …, 2006
26*2006
Non-volatile processor based on MRAM for ultra-low-power IoT devices
S Senni, L Torres, G Sassatelli, A Gamatie
ACM Journal on Emerging Technologies in Computing Systems (JETC) 13 (2), 17, 2017
242017
Autonomic Management of Reconfigurable Embedded Systems using Discrete Control: Application to FPGA
X An, E Rutten, JP Diguet, N Le Griguer, A Gamatié
22*2013
A metamodel for the design of polychronous systems
C Brunette, JP Talpin, A Gamatié, T Gautier
The Journal of Logic and Algebraic Programming 78 (4), 233-259, 2009
222009
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems
A Gamatié, L Gonnord
ACM Sigplan Notices 46 (5), 71-80, 2011
212011
Safe design of high-performance embedded systems in an MDE framework
H Yu, A Gamatié, É Rutten, JL Dekeyser
Innovations in Systems and Software Engineering 4 (3), 215-222, 2008
202008
Smt based false causal loop detection during code synthesis from polychronous specifications
BA Jose, A Gamatie, J Ouy, SK Shukla
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
192011
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20