1 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
2 |
Constraint satisfaction programming for video summarization
|
|
|
|
In: IEEE International Symposium on Multimedia ; https://hal.inria.fr/hal-00909370 ; IEEE International Symposium on Multimedia, Dec 2013, Anaheim, California, United States (2013)
|
|
BASE
|
|
Show details
|
|
3 |
Towards robust word discovery by self similarity matrix comparison
|
|
|
|
In: IEEE International Conference on Acoustics, Speech and Signal Processing ; https://hal.inria.fr/inria-00563418 ; IEEE International Conference on Acoustics, Speech and Signal Processing, May 2011, Prague, Czech Republic (2011)
|
|
BASE
|
|
Show details
|
|
4 |
Growing a Domain Specific Language with Split Extensions
|
|
|
|
In: https://hal.inria.fr/inria-00175805 ; [Research Report] RR-6314, INRIA. 2007 (2007)
|
|
BASE
|
|
Show details
|
|
5 |
Detection and resolution of aspect interactions
|
|
|
|
In: https://hal.inria.fr/inria-00072153 ; [Research Report] RR-4435, INRIA. 2002 (2002)
|
|
BASE
|
|
Show details
|
|
6 |
A framework for the detection and resolution of aspect interactions
|
|
|
|
In: Conference on Generative Programming and Component Engineering ; https://hal.inria.fr/inria-00000950 ; Conference on Generative Programming and Component Engineering, Oct 2002, Pittsburgh, PA, USA (2002)
|
|
BASE
|
|
Show details
|
|
7 |
Language approaches for program design and implementation ; Approches langages pour la conception et la mise en oeuvre de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011212 ; Génie logiciel [cs.SE]. Université Rennes 1, 2000 (2000)
|
|
BASE
|
|
Show details
|
|
8 |
On the use of advanced logic programming languages
|
|
|
|
In: https://hal.inria.fr/inria-00074284 ; [Research Report] RR-2391, INRIA. 1994 (1994)
|
|
BASE
|
|
Show details
|
|
|
|