Filter your results
- 23
- 5
- 18
- 8
- 2
- 8
- 28
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 25
- 2
- 1
- 24
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 28
- 8
- 5
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
28 Results
|
|
sorted by
|
A declarative formal approach to dynamic reconfigurationIWOCE '09, Amsterdam, The Netherlands, Jan 2009, X, France. pp.1--10
Conference papers
hal-01125709v1
|
|||
Une approche formelle de la reconfiguration dynamique[Research Report] CEDRIC-08-1590, CEDRIC Lab/CNAM. 2008
Reports
hal-01125570v1
|
|||
Semantics for UML specifications to be validated by AgathaSecond Europeen Congress on Embedded Realtime Software (ERTS 04)., Jan 2004, X, France
Conference papers
hal-01125068v1
|
|||
|
Une preuve est une histoireVingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Conference papers
hal-01333581v1
|
||
|
Extending record typing to type parametric modules with sharing[Research Report] RR-1905, INRIA. 1993
Reports
inria-00074768v1
|
||
|
Provable Multicore Schedulers with Ipanema: Application to Work ConservationEurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Conference papers
hal-02554342v1
|
||
Programmation modulaire avec surcharge et liaison tardiveJournées Francophones des Langages Applicatifs., Jan 1996, X, France
Conference papers
hal-01125080v1
|
|||
Advanced programming features in objective caml.6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, Jan 2002, X, France
Conference papers
hal-01125081v1
|
|||
État de l'art du typage pour l'intéropérabilité entre composants[Research Report] CEDRIC-06-1182, CEDRIC Lab/CNAM. 2006
Reports
hal-01125296v1
|
|||
Editing First-Order Proofs: Programmed Rules vs Derived RulesInternational Symposium on Logic Programming, Feb 1984, Atlantic City, United States
Conference papers
hal-02455800v1
|
|||
Modélisation formelle du contrôle en Fractal[Research Report] CEDRIC-07-1563, CEDRIC Lab/CNAM. 2007
Reports
hal-01125552v1
|
|||
Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using CoqHigh Integrity Language Technology - ACM SIGAda?s Annual International Conference, Nov 2013, X, Australia. pp.2
Conference papers
hal-01126336v1
|
|||
Scaling the Level of Difficulty in Single Player Video GamesProceedings of the 8th International Conference on Entertainment Computing, Jan 2009, Paris, France. pp.24--35
Conference papers
hal-01125849v1
|
|||
|
The CAML reference manual[Research Report] RT-0121, INRIA. 1990, pp.491
Reports
inria-00070046v1
|
||
Game Analysis of attacks on Online GamesCGAIMS'05, Louisville, Kentucky, USA, Jan 2005, X, France
Conference papers
hal-01125067v1
|
|||
Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs[Research Report] CEDRIC-12-2555, CEDRIC Lab/CNAM. 2012
Reports
hal-01126139v1
|
|||
|
Extending record typing to type parametric modules with sharingthe 20th ACM SIGPLAN-SIGACT symposium, 1993, Charleston, United States. pp.465-478, ⟨10.1145/158511.158704⟩
Conference papers
hal-02455776v1
|
||
Difficulty in Video Games : An Experimental Validation of a Formal DefinitionAdvances in Computer Enterntainment, Nov 2011, X, France
Conference papers
hal-01125930v1
|
|||
|
Llamado de procedimientos a distancia y abstracción de tipos20th CLEI PANEL latino-american computer science conference, Aug 1994, Mexico, México. pp.1281-1292
Conference papers
hal-01499967v1
|
||
Modélisation de la reconfiguraton dynamique avec Focal[Research Report] CEDRIC-08-1618, CEDRIC Lab/CNAM. 2008
Reports
hal-01125578v1
|
|||
Maximal and Compositional Pattern-Based Loop InvariantsFormal method 2012 (FME), Aug 2012, Paris, France. pp.37-51
Conference papers
hal-01126145v1
|
|||
Modélisations de la reconfiguration dynamique en FocalAFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, Jan 2009, X, France. pp.105-119
Conference papers
hal-01125647v1
|
|||
La définition et la mesure du niveau de difficulté dans un jeu solo: une approche quantitativeFutur Game On 2010, Sep 2010, Paris, France
Conference papers
hal-01125863v1
|
|||
Typage des modules parametriques avec partageActes des Journees Francophones des Langages Applicatifs, Annecy, Jan 1993, X, France
Conference papers
hal-01125077v1
|
|||
Spécification et vérification de composants : état de l'art[Research Report] CEDRIC-06-1180, CEDRIC Lab/CNAM. 2006
Reports
hal-01125295v1
|
|||
Une approche formelle de la reconfiguration dynamique{L'objet}, 2008, 14, pp.73-102
Journal articles
hal-01125646v1
|
|||
Type isomorphisms for module signaturesSymposium on Programming Language Implementation and Logic Programming (PLILP), Jan 1996, X, France. pp.334-346
Conference papers
hal-01125079v1
|
|||
Measuring the level of difficulty in single player video gamesLecture Notes in Computer Science, 2011, pp.205-213
Journal articles
hal-01125929v1
|