3 search results - page 1 / 1 » Formalizing SANE Virtual Processor in Thread Algebra |
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
IFL
2003
Springer
13 years 10 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...