Search

Search Constraints

Start Over You searched for: Graduate Program Computer Science and Engineering Remove constraint Graduate Program: Computer Science and Engineering 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

2. Design and Analysis of Heterogeneous Networks for Chip-Multiprocessors

open_access
Open Access

4. Exploring Power Reliability Tradeoffs in On-Chip Networks

open_access
Open Access

5. Exploiting Sparsity, Structure, and Geometry for Knowledge Discovery

open_access
Open Access

6. Implications of Future Technologies on the Design of FPGAs

open_access
Open Access

7. Minimizing End-To-End Interference in I/O Stacks Spanning Shared Multi-Level Buffer Caches

open_access
Open Access

8. EXPLOITING MULTI-THREADED APPLICATION CHARACTERISTICS TO OPTIMIZE PERFORMANCE AND POWER OF CHIP-MULTIPROCESSORS

open_access
Open Access

11. An Operator-Centric Mission Planning Environment to Reduce Mission Complexity for heterogeneous Unmanned Vehicles

open_access
Open Access

13. Energy-aware hardware and software optimizations for embedded systems

open_access
Open Access

14. Sparse Scientific Applications: Improving Performance and Energy Characteristics on Advanced Architectures

open_access
Open Access

15. Reasoning About Higher-Order Functions and Parameters

open_access
Open Access

17. The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development

open_access
Open Access

19. SELF-TUNING STORAGE SYSTEMS FOR PERFORMANCE VIRTUALIZATION

open_access
Open Access

20. ORCHESTRATING THE COMPILER AND MICROARCHITECTURE FOR REDUCING CACHE ENERGY

open_access
Open Access

21. SCLABLE HYBRID SPARSE LINEAR SOLVERS

open_access
Open Access

22. CO-ADAPTING SCIENTIFIC APPLICATIONS AND ARCHITECTURES TOWARD ENERGY-EFFICIENT HIGH PERFORMANCE COMPUTING

open_access
Open Access

23. DESIGNING ENERGY-EFFICIENT AND RELIABLE CACHES AND INTERCONNECTS

open_access
Open Access

24. Secure Communications in Sensor Networks

open_access
Open Access

25. RUNTIME SUPPORT FOR EFFECTIVE MEMORY MANAGEMENT IN LARGE-SCALE APPLICATIONS

open_access
Open Access

26. THE PROBABILISTIC ASYNCHRONOUS PI-CALCULUS

open_access
Open Access

27. COMPILER DIRECTED MEMORY HIERARCHY DESIGN AND MANAGEMENT IN CHIP MULTIPROCESSORS

open_access
Open Access

30. Multimethod Solvers: Algorithms, Application And Software

open_access
Open Access

31. PERFORMANCE ANALYSIS AND VISUALIZATION FOR HIGH PERFORMANCE PARALLEL I/O

open_access
Open Access

32. Software Based Techniques for Robust Computing on Chip Multiprocessors

open_access
Open Access

34. Reducing Interference in Memory Hierarchy Resources Using Application Aware Management

open_access
Open Access

35. Power Management of Enterprise Storage Systems

open_access
Open Access

36. Managing Performance And Energy In Large Scale data Centers

open_access
Open Access

37. Software-Based Disk Power Management for Scientific Applications

open_access
Open Access

41. Dynamic Resource Management for Energy-efficiency and Quality-of-Service in Chip Multiprocessors

open_access
Open Access

42. CACHE-AWARE APPLICATION PARALLELIZATION AND OPTIMIZATION FOR MULTICORES

open_access
Open Access

43. Architecting On-Chip Interconnection Network for Future Many-Core Chip-Multiprocessors

open_access
Open Access

44. Concurrent Assemblies: A Model for Concurrent Program Execution

open_access
Open Access

45. Model-driven Memory Optimizations for High Performance Computing: From Caches to I/o

open_access
Open Access

46. Dynamic Meshing Techniques for Quality Improvement, Untangling, and Warping

open_access
Open Access

49. Algorithmic Approaches for Enhancing Speedup, Energy and Resiliency Measures of Sparse Scientific Computations

open_access
Open Access

50. Towards Improving Performance and Reliability of Cloud Platforms

open_access
Open Access