Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Linear Logic and Coordination for Parallel Programming
      1. 
      Linear Logic and Coordination for Parallel Programming
      by 
      Cruz, Flávio Manuel Fernandes, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10820622
      Format: 
      Excerpt: 
      Linear Logic and Coordination for Parallel Programming / Cruz, Flávio Manuel Fernandes, author.
      Cover image for Parallelization and Scalability Analysis of the 3D Spatially Variant Lattice Algorithm
      2. 
      Parallelization and Scalability Analysis of the 3D Spatially Variant Lattice Algorithm
      by 
      Lopez, Henry R. Moncada, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824303
      Format: 
      Excerpt: 
      programming. For the parallel code, we use the FFTW (Fastest Fourier Transform in the West) for handling the
      Cover image for Many-to-Many Survivability in Content Centric Networks
      3. 
      Many-to-Many Survivability in Content Centric Networks
      by 
      Davis, Dylan A.P., author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10836944
      Format: 
      Excerpt: 
      programming and heuristic solutions for provisioning survivable sets of routes from any number of consumers to
      Cover image for Game Theory for Effective Resource Utilisation in 5G Applications = Teoria de jogos para utilização efetiva dos recursos em aplicações para 5G
      4. 
      Cover image for Generative Multi-Robot Task and Motion Planning Over Long Horizons
      5. 
      Generative Multi-Robot Task and Motion Planning Over Long Horizons
      by 
      Fernandez Gonzalez, Enrique, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10903569
      Format: 
      Excerpt: 
      activity and trajectory planners that employ mixed integer programming within a discrete time formulation