Michael A. Driscoll

Learn More
We present an architecture that features dynamic multithreading execution of a single program. Threads are created automatically by hardware at procedure and loop boundaries and executed speculatively on a simultaneous multithreading pipeline. Data prediction is used to alleviate dependency constraints and enable lookahead execution of the threads. A(More)
The i n tegration of a functional component i n to a logic language extends the expressive p o wer of the language. One logic language which w ould beneet from such an extension is GG odel, a prototypical language at t he leading edge of the research in logic programming. We present a modiication of the G odel parser which e n ables the parsing o f e v(More)
  • 1