Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Richard L. Kennel
Automatic Parallelization of C by Means of Language Transcription
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Parallelization and Optimization of Programs by Proof Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Parallelization With Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Thermal Anlaysis by Means of Automatic Thermoanalyzer
Bunseki Kagaku
Analytical Chemistry
Speeding Up IP Lookup Procedure in Software Routers by Means of Parallelization
Telfor Journal
Media Technology
Signal Processing
Computer Networks
Radiation
Communications
Software
Quantifier Elimination in Automatic Loop Parallelization
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Automatic Lexicon Enhancement by Means of Corpus Tagging
Towards Effective Automatic Parallelization for Multicore Systems
2008 IEEE International Symposium on Parallel and Distributed Processing
Automatic Recognition of Submarine Sediments by Means of Sonoprobe Survey
Transactions of the Society of Instrument and Control Engineers
Diagnostics of Gears and Compressors by Means of Advanced Automatic System
Acta Mechanica et Automatica
