Search

Search Constraints

Start Over You searched for: Year 2004 Remove constraint Year: 2004 Committee Member Mahmut Taylan Kandemir Remove constraint Committee Member: Mahmut Taylan Kandemir

Search Results

1. A Logical Framework for Reasoning about Logical Specifications

open_access
Open Access

3. ORCHESTRATING THE COMPILER AND MICROARCHITECTURE FOR REDUCING CACHE ENERGY

open_access
Open Access

4. SCLABLE HYBRID SPARSE LINEAR SOLVERS

open_access
Open Access

5. Multimethod Solvers: Algorithms, Application And Software

open_access
Open Access