950 search results - page 105 / 190 » Constraint Based Resilience Analysis |
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
ANLP
1994
13 years 10 months ago
1994
Automatic text tagging is an important component in higher level analysis of text corpora, and its output can be used in many natural language processing applications. In language...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Current audio coding standards employ the modified discrete cosine transform (MDCT) where overlapped frames of audio are windowed and transformed to the frequency domain. Encodin...
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...