1724 search results - page 173 / 345 » Concurrency in the Data Warehouse |
168
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
After write operations, BIST schemes for RAMs relying on signature analysis must compress the entire memory contents to update the reference signature. This paper introduces a new...
171
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
180
click to vote
ESTIMEDIA
2007
Springer
16 years 19 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
139
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this work, the problem of open faults affecting the interconnections of SC circuits composed by data-path and control is analyzed. In particular, it is shown that, in case open...
174
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...