Sciweavers

24529 search results - page 4482 / 4906
» Computing on Authenticated Data
Sort
View
MASCOTS
2004
15 years 7 months ago
Architecture Independent Performance Characterization and Benchmarking for Scientific Applications
A simple, tunable, synthetic benchmark with a performance directly related to applications would be of great benefit to the scientific computing community. In this paper, we prese...
Erich Strohmaier, Hongzhang Shan
155
Voted
MCU
2004
59views Hardware» more  MCU 2004»
15 years 7 months ago
On the Complexity of Universal Programs
Abstract. This paper provides a framework enabling to define and determine the complexity of various universal programs U for various machines. The approach consists of first defin...
Alain Colmerauer
ISCAPDCS
2001
15 years 7 months ago
Tolerating Transient Faults through an Instruction Reissue Mechanism
In this paper, we propose a fault-tolerant mechanism for microprocessors, which detects transient faults and recovers from them. There are two driving force to investigate fault-t...
Toshinori Sato, Itsujiro Arita
148
Voted
MSV
2004
15 years 7 months ago
Correctness Criteria for Models' Validation- A Philosophical Perspective
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
Ijeoma Sandra Irobi, Johan Andersson, Anders Wall
160
Voted
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
15 years 7 months ago
Neuro-finite element static analysis of structures by assembling elemental neuro-modelers
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...
Abdolreza Joghataie
« Prev « First page 4482 / 4906 Last » Next »