999 search results - page 148 / 200 » Constraints in Non-Boolean Contexts |
159
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
171
click to vote
DATE
2006
IEEE
16 years 1 days ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...
147
click to vote
DFT
2006
IEEE
16 years 1 days ago
2006
IEEE
Dual core architectures are commonly used to establish fault tolerance on the node level. Since comparison is usually performed for the outputs only, no precise diagnostic informa...
123
click to vote
ACMDIS
2006
ACM
15 years 12 months ago
2006
ACM
Sensorial interfaces are based on augmenting existing physical objects with digital information. We propose sensorial activity theory to relate mu...
179
click to vote
ECLIPSE
2006
ACM
15 years 12 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...