11168 search results - page 1680 / 2234 » Abstract State Processes |
133
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
125
click to vote
TSD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
131
click to vote
WABI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Genomic instabilities, amplifications, deletions and translocations are often observed in tumor cells. In the process of cancer pathogenesis cells acquire multiple genom...
143
click to vote
WAIM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Most users of the WWW want their searches to be effective. Currently, there exists a wide variety of efficient syntactic tools that have can be used for search in the WWW...
119
click to vote
ISQED
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...