Sciweavers

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