Kepler (microarchitecture)

Known as: Kepler (disambiguation), Kepler architecture, Nvidia Kepler Architecture 
Kepler is the codename for a GPU microarchitecture developed by Nvidia as the successor to the Fermi microarchitecture. Kepler is Nvidia's first… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
This article describes a formal proof of the Kepler conject ure on dense sphere packings in a combination of the HOL Light and… (More)
Is this relevant?
Highly Cited
2017
Highly Cited
2017
Memory access efficiency is a key factor in fully utilizing the computational power of graphics processing units (GPUs). However… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2014
2014
MapReduce is a popular data-parallel processing model encompassed with recent advances in computing technology and has been… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2014
2014
The available computing resources in modern GPUs are growing with each new generation. However, as many general purpose… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2013
2013
  • Natalie M. Batalha, Jason F. Rowe, +111 authors Georgia State University
  • 2013
New transiting planet candidates are identified in 16 months (2009 May–2010 September) of data from the Kepler spacecraft. Nearly… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Most recent HPC platforms have heterogeneous nodes composed of multi-core CPUs and accelerators, like GPUs. Programming such… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2013
2013
Fractal compression is an efficient technique for image and video encoding that uses the concept of self-referential codes… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The maximal sensitivity for local alignments makes the Smith-Waterman algorithm a popular choice for protein sequence database… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Modern development environments often involve models with complex consistency relations. Some of the relations can be… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This article gives an introduction to a long-term project called Flyspeck, whose purpose is to give a formal verification of the… (More)
Is this relevant?