120 search results - page 14 / 24 » An Analysis of the Current XQuery Benchmarks |
CC
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
INFOCOM
2000
IEEE
13 years 11 months ago
2000
IEEE
—We address the issue of power-controlled shared channel access in future wireless networks supporting packetized data traffic, beyond the voice-oriented continuous traffic prima...
DATE
1999
IEEE
13 years 11 months ago
1999
IEEE
In many algorithms, particularly those in the DSP domain, certain forms of symmetry can be observed. To efficiently implement such algorithms, it is often possible to exploit thes...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...