Showing 101 - 120 results of 174 for search 'COMPUTER PROGRAMMING', query time: 0.94s Refine Results
  1. 101
    Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions
    by Saha, Suman
    Published 2013
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
    Get full text
  2. 102
    A Generic Approach for Automated Verification of Product Line Models
    by Mazo, Raul
    Published 2011
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  3. 103
    Integrated coevolutionary synthesis of mechatronic systems using bond graphs
    by Wang, Jiachuan
    Published 2004
    Subjects: “...Industrial engineering|Mechanical engineering|Computer science...”
    Get full text
  4. 104
    Using adaptive hypermedia and machine learning to create intelligent Web -based courses
    by Stern, Mia Keryn
    Published 2001
    Subjects: “...Computer science|Artificial intelligence|Educational software...”
    Get full text
  5. 105
    Design and control of parallel rule-firing production systems
    by Neiman, Daniel E
    Published 1992
    Subjects: “...Computer science|Systems design|Artificial intelligence...”
    Get full text
  6. 106
    Résultats de complexité et programmation par contraintes pour l'ordonnancement
    by Baptiste, Philippe
    Published 2002
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  7. 107
    SOLEIL: An Integrated Approach for Designing and Developing Component-based Real-time Java Systems
    by Plsek, Ales
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  8. 108
    Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
    by Beauxis, Romain
    Published 2009
    Subjects: “...[INFO:INFO_CR] Computer Science/Cryptography and Security...”
    Get full text
    Get full text
  9. 109
    Combinatorial optimization and Markov decision process for planning MRI examinations
    by Geng, Na
    Published 2010
    Subjects: “...Stochastic programming...”
    Get full text
    Get full text
  10. 110
    A MODULAR REWRITING APPROACH TO LANGUAGE DESIGN, EVOLUTION AND ANALYSIS
    by Hills, Mark
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  11. 111
    Parallelism and distribution for very large scale content-based image retrieval
    by Gudmundsson, Gylfi Thor
    Published 2013
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  12. 112
    Processor design-space exploration through fast simulation.
    by Khan, Taj Muhammad
    Published 2011
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  13. 113
    Separation logic : expressiveness, complexity, temporal extension
    by Brochenin, Rémi
    Published 2013
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  14. 114
    Energy-aware scheduling : complexity and algorithms
    by Renaud-Goud, Paul
    Published 2012
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  15. 115
    Optimization of vido Delivery in Telco-CDN
    by LI, Zhe
    Published 2013
    Subjects: “...[INFO:INFO_NI] Computer Science/Networking and Telecommunication...”
    Get full text
    Get full text
  16. 116
    Please erase this article, thank you
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
    Get full text
  17. 117
    Specification and verification of quantitative properties : expressions, logics, and automata
    by Monmège, Benjamin
    Published 2013
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  18. 118
    Typed Groups for the Grid
    by Baduel, Laurent
    Published 2005
    Subjects: “...[INFO:INFO_MO] Computer Science/Modeling and Simulation...”
    Get full text
    Get full text
    Get full text
  19. 119
    Approches pour la classification du trafic et l'optimisation des ressources radio dans les réseaux cellulaires : application à l'Afrique du Sud
    by Kurien, Anish Mathew
    Published 2012
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  20. 120
    Certification of static analysis in many-sorted first-order logic
    by Cornilleau, Pierre-Emmanuel
    Published 2013
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search