106 articles – 48 Notices  [english version]
.:. Consultation > Liste par date > 2004 .:.
10 documents classés par :
A Functional Scenario for Bytecode Verification of Resource Bounds
Amadio R., Coupet-Grimal S., Dal Zilio S., Jakubiec L.
In Computer Science Logic - (2004) [hal-00146991 - version 1]
fulltext access Election, Naming and Cellular Edge Local Computations
Chalopin J., Métivier Y., Zielonka W.
Dans Graph transformation - International Conference on Graph Transformation (ICGT 2004) (EATCS best paper award), Italie (2004) [hal-00308119 - version 1]
Resource Control for Synchronous Cooperative Threads
Amadio R., Dal Zilio S.
In Concurrency Theory - CONCUR Concurrency Theory, (2004) [hal-00146983 - version 1]
fulltext access Election and Local Computations on Edges
Chalopin J., Métivier Y.
Dans Foundations of System Specification and Computation Structures - International conference on Foundations of System Specification and Computation Structures (FoSSaCS 2004), Espagne (2004) [hal-00308121 - version 1]
Motifs essentiels et inférence des fréquences
Casali A., Cicchetti R., Lakhal L., Lopes S.
In Actes - 20èmes Journées Bases de Données Avancées (BDA), France (2004) [hal-00286874 - version 1]
L'inférence des dépendances fonctionnelles
Lopes S., Novelli N.
Ingénierie des Systèmes d'Information (ISI) 9, 3-4 (2004) 161-182 [hal-00286809 - version 1]
fulltext access Graph properties checkable in linear time in the number of vertices
Grandjean E., Olive F.
Journal Computer System Science 68 (2004) 546-597 [hal-00255804 - version 1]
Some Progress in Satisfiability Checking for Difference Logic
Cotton S., Asarin E., Maler O., Niebert P.
In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, France (2004) [hal-00157566 - version 1]
fulltext access A Convex-Analysis Perspective on Disjunctive Cuts
Cornuéjols G., Lemaréchal C.
Research report (2004) 17 [inria-00070683 - version 1]
fulltext access The production of discourse in four subjects affected with psychosis
Reboul A., Sabatier P., Foudon N., Noël-Jorand M.-C.
(2004) [halshs-00003839 - version 1]