755 search results - page 66 / 151 » Sequential Diagnosis by Abstraction |
XSYM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Frame synchronization is classically treated in literature for equiprobable data symbols. In this case the optimum metric has been derived both in the case of periodica...
ARITH
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— A hardware algorithm for integer division is proposed. It is based on the digit-recurrence, non-restoring division algorithm. Fast computation is achieved by the use of...
ISPA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A loop with irregular assignment computations contains loopcarried output data dependences that can only be detected at run-time. In this paper, a load-balanced method ba...