Search Results - "Computer programs."

Refine Results
  1. Cover Image

    Two Hardware-Based Approaches for Deterministic Multiprocessor Replay. by Hower, Derek R., Montesinos, Pablo, Ceze, Luis, Hill, Mark D., Torrellas, Josep

    Published in Communications of the ACM (Jun2009)

    View this record in EBSCOhost
    Article
  2. Cover Image

    Composable Memory Transactions. by Harris, Tim, Marlow, Simon, Jones, Simon Peyton, Herlihy, Maurice

    Published in Communications of the ACM (Aug2008)

    View this record in EBSCOhost
    Article
  3. Cover Image

    Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications? by Satish, Nadathur, Kim, Changkyu, Chhugani, Jatin, Saito, Hideki, Krishnaiyer, Rakesh, Smelyanskiy, Mikhail, Girkar, Milind, Dubey, Pradeep

    Published in Communications of the ACM (May2015)

    View this record in EBSCOhost
    Article
  4. Cover Image

    META II: Digital Vellum in the Digital Scriptorium. by LONG, DAVE

    Published in Communications of the ACM (Mar2015)

    View this record in EBSCOhost
    Article
  5. Cover Image

    You Don't Know Jack About Shared Variables or Memory Models. by Boehm, Hans-J., Adve, Sarita V.

    Published in Communications of the ACM (Feb2012)

    View this record in EBSCOhost
    Article
  6. Cover Image

    The rise and fall of high performance Fortran. by Kennedy, Ken, Koelbel, Charles, Zima, Hans

    Published in Communications of the ACM (Nov2011)

    View this record in EBSCOhost
    Article
  7. Cover Image

    FastTrack: Efficient and Precise Dynamic Race Detection. by Flanagan, Cormac, Freund, Stephen N.

    Published in Communications of the ACM (Nov2010)

    View this record in EBSCOhost
    Article
  8. Cover Image

    Asserting and Checking Determinism for Multithreaded Programs. by Burnim, Jacob, Sen, Koushik

    Published in Communications of the ACM (Jun2010)

    View this record in EBSCOhost
    Article
  9. Cover Image

    Managing Contention for Shared Resources on Multicore Processors. by FEDOROVA, ALEXANDRA, BLAGODUROV, SERGEY, ZHURAVLEV, SERGEY

    Published in Communications of the ACM (Feb2010)

    View this record in EBSCOhost
    Article
  10. Cover Image

    A View of the Parallel Computing Landscape. by ASANOVIC, KRSTE, BODIK, RASTISLAV, DEMMEL, JAMES, KEAVENY, TONY, KEUTZER, KURT, KUBIATOWICZ, JOHN, MORGAN, NELSON, PATTERSON, DAVID, SEN, KOUSHIK, WAWRZYNEK, JOHN, WESSEL, DAVID, YELICK, KATHERINE

    Published in Communications of the ACM (Oct2009)

    View this record in EBSCOhost
    Article
  11. Cover Image

    Formal Verification of a Realistic Compiler. by Leroy, Xavier

    Published in Communications of the ACM (Jul2009)

    View this record in EBSCOhost
    Article
  12. Cover Image

    Scalable Synchronous Queues. by Scherer, III, William N., Lea, Doug, Scott, Michael L.

    Published in Communications of the ACM (May2009)

    View this record in EBSCOhost
    Article
  13. Cover Image

    Compiler Research: the next 50 Years. by HALL, MARY, PADUA, DAVID, PINGALI, KESHAV

    Published in Communications of the ACM (Feb2009)

    View this record in EBSCOhost
    Article
  14. Cover Image

    Software Transactional Memory: Why is it only a Research Toy? by CA&#x...CAVAL, CĂLIN, BLUNDELL, COLIN, MICHAEL, MAGED, CAIN, HAROLD W., PENG WU, CHIRAS, STEFANIE, CHATTERJEE, SIDDHARTHA

    Published in Communications of the ACM (Nov2008)

    View this record in EBSCOhost
    Article
  15. Cover Image

    Transactional Memory. by LARUS, JAMES, KOZYRAKIS, CHRISTOS

    Published in Communications of the ACM (Jul2008)

    View this record in EBSCOhost
    Article
  16. Cover Image

    Using Bulletin Boards in an Educational Setting. by Dos Santos, Brian L., Wright, Andrew L.

    Published in Communications of the ACM (Mar2006)

    View this record in EBSCOhost
    Article
  17. Cover Image

    OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization. by NAVAS, JORGE A., GEHANI, ASHISH

    Published in Communications of the ACM (Apr2023)

    View this record in EBSCOhost
    Article
  18. Cover Image

    Artificial Intelligence-Based Content Generator Technology for Young English-as-a-Foreign-Language Learners' Reading Enjoyment. by Lee, Jang Ho, Shin, Dongkwang, Noh, Wonjun

    Published in RELC Journal (Aug2023)

    View this record in EBSCOhost
    Article
  19. Cover Image

    Phonetic-based Sindhi spellchecker system using a hybrid model. by Bhatti, Zeeshan, Ismaili, Imdad Ali, Hakro, Dil Nawaz, Soomro, Waseem Javid

    Published in Digital Scholarship in the Humanities (6/1/2016)

    View this record in EBSCOhost
    Article
  20. Cover Image

    Computer Aided Policy Making by Ray Wyatt

    Published 1999
    View this record in EBSCOhost
    Book

Search Tools: