7393 search results - page 1062 / 1479 » Synthesis-for-testability using transformations |
146
click to vote
ACMMSP
2005
ACM
15 years 10 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
146
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
130
click to vote
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Paraconsistent intuitionistic fuzzy set is an extension of intuitionistic fuzzy set or interval-valued fuzzy set. It relaxes the requirement that t + f ≤ 1, where t is ...
153
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...
167
click to vote
IMC
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, we consider the problem of how to represent the locations of Internet hosts in a Cartesian coordinate system to facilitate estimate of the network distance between ...