Sciweavers

51986 search results - page 126 / 10398
» Are There New Models of Computation
Sort
View
CORR
2010
Springer
74views Education» more  CORR 2010»
15 years 4 months ago
A new tool for the performance analysis of massively parallel computer systems
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradl...
IJIPM
2010
50views more  IJIPM 2010»
15 years 3 months ago
Computer Games: A New Medium for Traditional Asian Art
Conrado R. Ruiz Jr., Sujitra Chodnok, Nor Hidayu S...
MIA
2010
117views more  MIA 2010»
15 years 23 days ago
A new computationally efficient CAD system for pulmonary nodule detection in CT imagery
Temesguen Messay, Russell C. Hardie, Steven K. Rog...
NA
2010
95views more  NA 2010»
15 years 22 days ago
A new algorithm for computing the Geronimus transformation with large shifts
Abstract A monic Jacobi matrix is a tridiagonal matrix which contains the parameters of the three-term recurrence relation satisfied by the sequence of monic polynomials orthogonal...
Maria Isabel Bueno Cachadina, Alfredo Deaño...
173
Voted
ICCAD
2003
IEEE
148views Hardware» more  ICCAD 2003»
16 years 2 months ago
The Compositional Far Side of Image Computation
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
Chao Wang, Gary D. Hachtel, Fabio Somenzi
« Prev « First page 126 / 10398 Last » Next »