.:. Consultation > Liste par discipline > Complexité .:.

61 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7

Complexité implicite des calculs : interprétation de programmes Bonfante G. Institut National Polytechnique de Lorraine - INPL (09/12/2011), Claude Kirchner (Pr.) [tel-00656766 - version 1]

Course of value distinguishes the intentionality of programming languages Bonfante G. Dans 2nd International Symposium on Information and Communication Technology - SoICT 2011 (2011) [hal-00642731 - version 1]

Minimizing total completion time on a bounded batching machine with job compatibilities and one unavailability period Bellanger A., Oulamara A. Dans The 24th Conference of the European Chapter on Combinatorial Optimization - ECCO 2011 (2011) [inria-00606093 - version 1]

Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions Bournez O., Gomaa W., Hainry E. International Journal of Unconventional Computing 7, 5 (2011) 331-351 [hal-00644361 - version 1]

How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. Comon-Lundh H., Cortier V. Dans Symposium on Theoretical Aspects of Computer Science - STACS2011 9 (2011) 29-44 [hal-00573590 - version 1]

Interpretation of stream programs: characterizing type 2 polynomial time complexity Férée H., Hainry E., Hoyrup M., Péchoux R. Dans 21st International Symposium on Algorithms and Computation - ISAAC 2010 (2010) [inria-00518381 - version 1]

Characterising Space Complexity Classes via Knuth-Bendix Orders Bonfante G., Moser G. Dans 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-17 6397 (2010) 142--156 [inria-00535541 - version 1]

Global and local space properties of stream programs Gaboardi M., Péchoux R. Dans First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009 6324 (2009) 51--66 [inria-00539835 - version 1]

Complexity invariance of real interpretations Bonfante G., Deloup F. Dans 7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010 6108 (2010) 139-150 [inria-00535784 - version 1]

Observation of implicit complexity by non confluence Bonfante G. Dans International Workshop on Developments in Implicit Computational complExity - DICE 2010 (2010) [inria-00535539 - version 1]