Cheriton

Results: 188



#Item
51

Identifying Future Field Accesses in Exhaustive State Space Traversal Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak}@uwaterloo.ca

Add to Reading List

Source URL: plg.uwaterloo.ca

Language: English - Date: 2011-10-22 14:35:51
    52

    Control Flow Emulation on Tiled SIMD Architectures Ghulam Lashari, Ondˇrej Lhot´ ak, and Michael McCool D. R. Cheriton School of Computer Science, University of Waterloo

    Add to Reading List

    Source URL: plg.uwaterloo.ca

    Language: English - Date: 2008-04-14 17:42:56
      53

      Typestate-like Analysis of Multiple Interacting Objects Nomair A. Naeem Ondˇrej Lhot´ak D. R. Cheriton School of Computer Science

      Add to Reading List

      Source URL: plg.uwaterloo.ca

      Language: English - Date: 2008-10-22 10:01:40
        54

        Randomized Backtracking: Next Steps Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak}@uwaterloo.ca Abstract—The use of randomized backtracking

        Add to Reading List

        Source URL: plg.uwaterloo.ca

        Language: English - Date: 2011-10-22 14:36:02
          55

          Diversified Stress Testing of RDF Data Management Systems ¨ G¨unes¸ Aluc¸, Olaf Hartig, M. Tamer Ozsu, and Khuzaima Daudjee David R. Cheriton School of Computer Science, Waterloo, ON, Canada

          Add to Reading List

          Source URL: cs.uwaterloo.ca

          Language: English - Date: 2014-07-29 19:44:56
            56Network file systems / Diskless node / Cache / File server / Server / File system / Shared resource / Distributed shared memory / Andrew File System / Consistency model / Microsoft DNS

            Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency Cary G. Gray and David R. Cheriton Computer Science Department !3tanford University

            Add to Reading List

            Source URL: web.stanford.edu

            Language: English - Date: 2016-03-25 20:57:08
            57

            Randomized Backtracking in State Space Traversal Pavel Par´ızek and Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo Abstract. While exhaustive state space traversal is not feasibl

            Add to Reading List

            Source URL: plg.uwaterloo.ca

            Language: English - Date: 2011-10-22 14:35:38
              58

              An Axiomatic Basis for Communication M. Karsten1, S. Keshav1, S. Prasad2, M. Beg1 David R. Cheriton School of Computer Science, University of Waterloo 2 Department of Computer Science and Engineering, IIT Delhi

              Add to Reading List

              Source URL: www.soi.wide.ad.jp

              Language: English - Date: 2007-08-30 03:43:22
                59

                Comparing Call Graphs Ondˇrej Lhot´ak David R. Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada

                Add to Reading List

                Source URL: plg.uwaterloo.ca

                Language: English - Date: 2007-08-27 15:10:56
                  60

                  Efficient Alias Set Analysis Using SSA Form Nomair A. Naeem Ondˇrej Lhot´ak D. R. Cheriton School of Computer Science

                  Add to Reading List

                  Source URL: plg.uwaterloo.ca

                  Language: English - Date: 2009-04-08 12:17:27
                    UPDATE