Sciweavers

12774 search results - page 287 / 2555
» A Framework for Proof Systems
Sort
View
LCPC
2005
Springer
16 years 28 days ago
Combined ILP and Register Tiling: Analytical Model and Optimization Framework
Lakshminarayanan Renganarayanan, U. Ramakrishna, S...
161
Voted
COOPIS
2002
IEEE
16 years 12 days ago
A Reflective Middleware Framework for Communication in Dynamic Environments
Sebastian Gutierrez-Nolasco, Nalini Venkatasubrama...