| |
|
| |
|
| |
|
| |
In Proc. 15th IASTEAD Conf. on Applied Simulation and Modelling (2006), pp. 151-156.
|
| |
In Maple Conference (2006)
|
| |
In Proceedings of Artificial Intelligence and Symbolic Computation (2006)
|
| |
In {MPC}, Vol. 4014 (2006)
|
| |
In {MPC}, Vol. 4014 (2006), pp. 253-273.
|
| |
Science of Computer Programming, Vol. 62, No. 1. (2006), pp. 3-24.
|
| |
In Calculemus, Vol. 151, No. 1. (2005)
|
| |
In Maple Conference 2005 Proceedings (2005)
|
| |
|
| |
In WCRE (November 2005), pp. 23-32.
|
| |
In Technical Proceedings of the 2005 Nanotechnology Conference and Trade Show (May 2005)
|
| |
Journal of Applied Physics, Vol. 98 (October 2005)
|
| |
In 8th International Conference on Relational Methods in Computer Science, {RelMiCS 8}, Vol. 3929 (2005)
|
| |
In 8th International Conference on Relational Methods in Computer Science, {RelMiCS 8}, Vol. 3929 (2005), pp. 147-160.
Abstract
As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the instruction scheduler more flexibility in balancing execution resources for superscalar execution. Since the key design points for this language are to only describe data flow, have built-in facilities for redundancies, and still have code that looks like assembler, by virtue of consisting mainly of assembly instructions, we are basing the theoretical foundations on data-flow ...
|
| |
No. 20. (October 2004)
Abstract
As part of a larger project, we have built a declarative assembly language. This language enables us to specify multiple code paths to compute particular quantities, giving the instruction scheduler more flexibility in balancing execution resources for superscalar execution. The instruction scheduler is also innovative in that it includes aggressive pipelining, and exhaustive (but lazy) search for optimal instruction schedules. We present some examples where our approach has produced very promising results. ...
|
| |
In Generative Programming and Component-based Engineering {GPCE} (2005), pp. 256-274.
|
| |
In {M}aple {S}ummer {W}orkshop (2004)
|
| |
In Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC) (2004), pp. 72-79.
|
| |
Journal of Symbolic Computation, Vol. 38, No. 4. (October 2004), pp. 1303-1326.
|
| |
In Proceedings of {C}alculemus 2003 (2003), pp. 58-68.
|
Search
Search
