DE eng

Search in the Catalogues and Directories

Hits 1 – 8 of 8

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
Fradet, Pascal. - : HAL CCSD, 2000
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

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
8
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern