2205 search results - page 250 / 441 » Mutation Operators for Specifications |
148
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
139
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
119
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
We propose a concurrent relaxed balance AVL tree algorithm that is fast, scales well, and tolerates contention. It is based on optimistic techniques adapted from software transact...
148
click to vote
ICCD
2007
IEEE
16 years 1 months ago
2007
IEEE
Because of the growing importance of decimal floating-point (DFP) arithmetic, specifications for it are included in the IEEE Draft Standard for Floating-point Arithmetic (IEEE P75...
116
Voted
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
To succeed in their tasks, users need to manage data with the most adequate quality levels possible according to specific data quality models. Typically, data quality assessment co...