.:. Consultation > Liste par année > 2010 .:.

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

1 - 2 - 3 - 4 - 5 - 6

Designing a CPU model: from a pseudo-formal document to fast code Blanqui F., Helmstetter C., Joloboff V., Monin J.-F., Shi X. Dans 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools (2011) [inria-00546228 - version 1]

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates Kong S., Jung Y., David C., Wang B.-Y., Yi K. In ASIAN Symposium on Programming Languages and Systems (2010) [inria-00515166 - version 1]

Using virtual human for an interactive customer-oriented constrained environment design Ma L., Ma R., Chablat D., Bennis F. Dans IDMME / Virtual Concept (2010) 1-6 [hal-00548799 - version 1]

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning Chen Y.-F., Clarke E. M., Farzan A., He F., Tsai M.-H., Tsay Y.-K., Wang B.-Y., Zhu L. Dans International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2010) [inria-00515167 - version 1]

Certification of SAT Solvers in Coq Jouannaud J.-P., Strub P.-Y., Zhang L. Dans Guangzhou Symposium on Satisfiability in Logic-Based Modeling (2010) [inria-00516906 - version 1]

A new muscle fatigue and recovery model and its ergonomics application in human simulation Ma L., Chablat D., Bennis F., Zhang W., Guillaume F. Virtual and Physical Prototyping 5, 3 (2010) 123 - 137 [hal-00530230 - version 1]

Filling n-sided regions with G1 triangular Coons B-spline patches Shi K.-L., Yong J.-H., Sun J.-G., Paul J.-C., Gu H.-J. Visual Computer (2010) [inria-00517938 - version 1]

On the confluence of lambda-calculus with conditional rewriting Blanqui F., Kirchner C., Riba C. Theoretical Computer Science 411, 37 (2010) 3301-3327 [inria-00509054 - version 1]

Specifying and Verifying PLC systems with TLA+: a case study Zhang H., Merz S., Gu M. Computers & Mathematics with Applications 60, 3 (2010) 695-705 [hal-00516785 - version 1]

Data assimilation for convective-cell tracking on meteorological image sequences Thomas C., Corpetti T., Memin E. IEEE Transactions on Geoscience and Remote Sensing 48, 8 (2010) 3162-3177 [inria-00619101 - version 1]