Architecture-Independent Loop Parallelisation by Radu C Calinescu
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software development.-
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
-
Image Mosaicing and Super-resolution
-
Asynchronous System-on-Chip Interconnect
-
User-Developer Cooperation in Software Development
-
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
-
Theorem Proving with the Real Numbers
-
Hardware Evolution
-
Extensional Constructs in Intensional Type Theory
-
Models of Sharing Graphs
-
Stochastic Algorithms for Visual Tracking
-
Randomized Algorithms: Approximation, Generation, and Counting
-
Large Scale Collaborative Virtual Environments
-
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
-
Automated Theory Formation in Pure Mathematics
-
Inheritance Relationships for Disciplined Software Construction
-
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
| SKU | Unavailable |
| ISBN 13 | 9781447111979 |
| ISBN 10 | 1447111974 |
| Title | Architecture-Independent Loop Parallelisation |
| Author | Radu C Calinescu |
| Series | Distinguished Dissertations |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer London Ltd |
| Year published | 2011-09-16 |
| Number of pages | 172 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |