3119 search results - page 291 / 624 » General Default Logic |
193
click to vote
DDECS
2006
IEEE
16 years 1 months ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...
234
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
216
click to vote
DOLAP
2006
ACM
16 years 1 months ago
2006
ACM
Multidimensional modeling requires specialized design techniques. Though a lot has been written about how a data warehouse should be designed, there is no consensus on a design me...
179
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
213
click to vote
ATAL
2005
Springer
16 years 28 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...