Sciweavers

6455 search results - page 299 / 1291
» Research problems
Sort
View
FMCAD
2008
Springer
15 years 8 months ago
BackSpace: Formal Analysis for Post-Silicon Debug
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steve...
STOC
1991
ACM
167views Algorithms» more  STOC 1991»
15 years 10 months ago
Counting Networks and Multi-Processor Coordination
d Abstract) James Aspnes Maurice Herlihyy Nir Shavitz Digital Equipment Corporation Cambridge Research Lab CRL 90/11 September 18, 1991 Many fundamental multi-processor coordinati...
James Aspnes, Maurice Herlihy, Nir Shavit
AAAI
1996
15 years 8 months ago
Learning Efficient Rules by Maintaining the Explanation Structure
Many learning systems suffer from the utility problem; that is, that time after learning is greater than time before learning. Discovering how to assure that learned knowledge wil...
Jihie Kim, Paul S. Rosenbloom
IMR
2004
Springer
16 years 7 hour ago
Twelve Ways to Fool The Masses when Describing Mesh Generation Performance
Mesh generation for finite element analysis is far from a solved problem. Although several automatic meshing algorithms exist, other difficulties of setting up a problem for finit...
Timothy J. Tautges, David R. White, Robert W. Lela...
ICCS
2004
Springer
16 years 15 hour ago
Computational Engineering and Science Program at the University of Utah
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...
Carleton DeTar, Aaron L. Fogelson, Christopher R. ...