2205 search results - page 286 / 441 » Mutation Operators for Specifications |
223
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
We present a diff algorithm for XML data. This work is motivated by the support for change control in the context of the Xyleme project that is investigating dynamic warehouses ca...
233
click to vote
ICDE
2001
IEEE
16 years 5 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
129
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
123
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
144
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Dynamic voltage scaling (DVS) is a well-known low power design technique that reduces the processor energy by slowing down the DVS processor and stretching the task execution time...