کتابخانه مرکزی  
فرمول جستجو:
جستجو در م‍ح‍ل‌ ن‍ش‍ر : Computer Science and Engineering
انواع مدارک:
پايگاه هاي اطلاعاتي:
جستجو در بانک اصلي
 
موضوع:
data mining
educational video games
Cardiac MRI segmentation
Sometimes (perhaps this is even the modal case) at least one VC is not proved because it is not valid. It is clear that the ways we present errors and debug code must be rethought in a verified software paradigm. This area of research has received little attention to date, so we lay out criteria for how to approach debugging, along with potential methods of doing so.
CSCW
Angular Similarity
Compilers. Multi-cores
matrix partitioning
Spatio-Temporal
TCP
High-performance I/O
MPI
Android
Artificial Intelligence
Sensor Networks
Loop Tiling
Data Collection
Fault tolerance
bitmap index
Cray XMT
 
پدیدآور:
Bharathan, Vivek
Bai, Xiaole
Saniyah, Bokhari
Sitaram,Asur
Agrawal, Artika.
Nawab,Ali
Joshua, Blanton
Bernard Selvaraj, Anand Joseph
Agarwal, Abhijat
Bolinger, Joe William
Bicer, Tekin
Syed Farooq,Ali
Zoya,Ali
Apaydin, Tan
Bruce, Bilyeu
Adcock, Bruce M.
Chai, Lei
Muthu Manikandan,Baskaran
Erdeniz Ozgun,Bas
Canahuate, Guadalupe M.
 
ناشر:
 
مرتب سازي صعودي براساس       
پالایش جستجو جستجو جديد    
    
  1     2     3     4     5     6     7     8     9      
1  
پایان نامه لاتین
 
 
Working Towards the Verified Software Process. (electronic resource)
Adcock, Bruce M. ؛  Computer Science and Engineering 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

2  
پایان نامه لاتین
 
 
A New Approach to Spatio-Temporal Kriging and Its Applications. (electronic resource)
Agarwal, Abhijat ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

3  
پایان نامه لاتین
 
 
Intelligent Techniques for Data- Information- Knowledge Evolution. (electronic resource)
Agrawal, Artika. ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

4  
پایان نامه لاتین
 
 
Rethinking I/O in High-Performance Computing Environments. (electronic resource)
Nawab,Ali ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

5  
پایان نامه لاتین
 
 
Comparative Studies of Contouring Algorithms for Cardiac Image Segmentation. (electronic resource)
Syed Farooq,Ali ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

6  
پایان نامه لاتین
 
 
Designing Object Oriented Software Applications within the Context of Software Frameworks (electronic resource)
Zoya,Ali ؛  Computer Science and Engineering 2011
افزودن به ليست    مشاهده کامل مدرک
 

7  
پایان نامه لاتین
 
 
A Framework for the Static and Dynamic Analysis of Interaction Graphs (electronic resource)
Sitaram,Asur ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

8  
پایان نامه لاتین
 
 
Load-Balancing Spatially Located Computations using Rectangular Partitions (electronic resource)
Erdeniz Ozgun,Bas ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

9  
پایان نامه لاتین
 
 
Query Support for Multi-Dimensional and Dynamic Databases (electronic resource)
Apaydin, Tan ؛  Computer Science and Engineering 2008
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

10  
پایان نامه لاتین
 
 
Optimal Connected Coverage for Wireless Sensor Networks (electronic resource)
Bai, Xiaole ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

11  
پایان نامه لاتین
 
 
Compile-time and Run-time Optimizations for Enhancing Locality and Parallelism on Multi-core and Many-core Systems(electronic resource)
Muthu Manikandan,Baskaran ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

12  
پایان نامه لاتین
 
 
Effects of Loop Tiling using Primetile and Dyntile (electronic resource)
Bernard Selvaraj, Anand Joseph ؛  Computer Science and Engineering 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

13  
پایان نامه لاتین
 
 
Belief Revision in Dynamic Abducers through Meta-Abduction (electronic resource)
Bharathan, Vivek ؛  Computer Science and Engineering 2010
افزودن به ليست    مشاهده کامل مدرک
 

14  
پایان نامه لاتین
 
 
Supporting Fault Tolerance and Dynamic Load Balancing in FREERIDE-G (electronic resource)
Bicer, Tekin ؛  Computer Science and Engineering 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

15  
پایان نامه لاتین
 
 
Design, Development, and Evaluation of Learning Games and an Interactive Science Lab in a 3-D Online Virtual World to Support Middle School Science Education(electronic resource)
Bruce, Bilyeu ؛  Computer Science Engineering and Technology 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

16  
پایان نامه لاتین
 
 
A Study of Transmission Control Protocol Selective Acknowledgement State Lifetime Validity (electronic resource)
Joshua, Blanton ؛  Computer Science Engineering and Technology 2008
افزودن به ليست    مشاهده کامل مدرک
 

17  
پایان نامه لاتین
 
 
Parallel Solution of the Subset-sum Problem: An Empirical Study (electronic resource)
Saniyah, Bokhari ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

18  
پایان نامه لاتین
 
 
Micro-Modeling: A Visual Design Framework for Collaborative Tools in Complex Service Organizations (electronic resource)
Bolinger, Joe William ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

19  
پایان نامه لاتین
 
 
Enhanced Bitmap Indexes for Large Scale Data Management (electronic resource)
Canahuate, Guadalupe M. ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

20  
پایان نامه لاتین
 
 
High Performance and Scalable MPI Intra-node Communication Middleware for Multi-core Clusters (electronic resource)
Chai, Lei ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

  1     2     3     4     5     6     7     8     9