1137 search results - page 196 / 228 » A study of slipstream processors |
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
Register allocation is NP-complete in general but can be solved in linear time for straight-line programs where each variable has at most one definition point if the bank of regis...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
— The ability to use a visualisation tool to steer large simulations provides innovative and novel usage scenarios, eg the ability to use new algorithms for the computation of fr...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Effective and efficient management of wireless network resources is attracting more and more research attention, due to the rapid growing deployment of wireless mesh and ad hoc...