11397 search results - page 271 / 2280 » A Relational Abstraction for Functions |
216
click to vote
FPL
2006
Springer
15 years 11 months ago
2006
Springer
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
175
click to vote
JUCS
2008
15 years 7 months ago
2008
: This paper presents efficient methods for online fault detection and diagnosis of Network-on-Chip (NoC) switches. The fault model considered in this research is a system level fa...
223
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
197
click to vote
ICTAI
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we present an analysis of different approaches relative to the correction of belief functions based on the results given by a confusion matrix. Three different mecha...
143
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward the output while minimizing area. A specific ap...