1407 search results - page 119 / 282 » Using Use Cases in Executable Z |
139
click to vote
STACS
1991
Springer
15 years 7 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
182
click to vote
INFSOF
2000
15 years 4 months ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
149
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
— We demonstrate ROX, a run-time optimizer of XQueries, that focuses on finding the best execution order of XPath steps and relational joins in an XQuery. The problem of join or...
126
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
Memory-intensive threads can hoard shared resources without making progress on a multithreading processor (SMT), thereby hindering the overall system performance. A recent promisi...
162
click to vote
CCGRID
2011
IEEE
14 years 8 months ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...