Showing 141 - 160 results of 220 for search '"shared memory"', query time: 0.19s Refine Results
  1. 141
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published 2015
    Table of Contents: “… Parameterized Asynchronous Shared-Memory Systems -- SMT and POR Beat Counter Abstraction: Parameterized Model…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 142
    FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings /
    Published 2000
    Table of Contents: “… for Functionally Analogous Genes -- Keeping Track of the Latest Gossip in Shared Memory Systems -- Concurrent…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 143
    Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
    Published 1997
    Table of Contents: “… transformations of shared memory parallel programs into sequential programs -- Recurrent oscillatory self…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 144
    Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 145
    LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Permutations -- Iterated Shared Memory Models -- Optimal Polygonal Representation of Planar Graphs -- Minimum…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 146
    Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory -- Permissiveness…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 147
    Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC 12: Professional Practice Stream, August 21–24, 2006, Santiago, Chile /
    Published 2006
    Table of Contents: “… using Click-Through Data -- A Shared-Memory Multiprocessor Scheduling Algorithm -- Web Attack Detection…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 148
    Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /
    Published 2009
    Table of Contents: “… Pipeline Stalls -- Joining a Distributed Shared Memory Computation in a Dynamic Distributed System -- BSART…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 149
    Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /
    by Raynal, Michel
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  10. 150
    Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Transactional Memory -- Shared Memory Services and Concurrency (Session 1c) -- Scalable Flat-Combining Based…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 151
    Computing in Object-Oriented Parallel Environments Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings /
    Published 1998
    Table of Contents: “… Processes -- ?Profiler: Profiling User-Level Threads in a Shared-Memory Programming Environment…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 152
    Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers /
    Published 2007
    Table of Contents: “… Applications -- Session 2: Code Generation -- Data Pipeline Optimization for Shared Memory Multiple-SIMD…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 153
    Algorithms - ESA '97 5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings /
    Published 1997
    Table of Contents: “… in oblivious routing -- Fault-tolerant real-time scheduling -- Collecting garbage pages in a distributed shared…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 154
    Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings /
    Published 2014
    Table of Contents: “… for High-Performance Shared-Memory Sparse Triangular Solver.- Scalability and Parallel Execution of OmpSs…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 155
    Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Communication -- Proactive Leader Election in Asynchronous Shared Memory Systems -- A Semantic Framework…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 156
    Computer Science - CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “… -- Analysis of RAPL Energy Prediction Accuracy in a Matrix Multiplication Application on Shared Memory…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 157
    Advanced Parallel Processing Technologies 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings /
    Published 2009
    Table of Contents: “… for a Decentralized Grid Scheduler -- Mobile Applications -- A Distributed Shared Memory Architecture…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 158
    High Performance Computing in Science and Engineering `07 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007 /
    Published 2008
    Table of Contents: “… Nanocomposite Coatings: Ab Initio Studies -- Chemistry -- Shared Memory Parallelization of the Multi…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 159
    Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II /
    Published 2012
    Table of Contents: “… -- Design of an Application-Dependent Static-Based Shared Memory Network -- Determining Quality of S-Boxes…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 160
    Algorithms and Data Structures 6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Evaluation of Minimal Perfect Hash Functions -- Design and Analysis of Algorithms for Shared-Memory…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search