1528 search results - page 138 / 306 » Performance Assertion Checking |
106
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
122
click to vote
DBPL
2003
Springer
15 years 7 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
122
click to vote
IEEEPACT
2002
IEEE
15 years 7 months ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
139
click to vote
ISCAPDCS
2003
15 years 3 months ago
2003
In modern computer systems loops present a great deal of opportunities for increasing Instruction Level and Thread Level Parallelism. Loop unrolling is a technique used to obtain ...
ACL
1998
15 years 3 months ago
1998
This paper describes a grapheme-to-phoneme conversion method using phoneme connectivity and CCV conversion rules. The method consists of mainly four modules including morpheme nor...