3742 search results - page 603 / 749 » On the Use of Formal Techniques for Validation |
187
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...
191
click to vote
ICITS
2009
15 years 4 months ago
2009
In a multisecret sharing scheme, several secret values are distributed among a set of n users, and each secret may have a different associated access structure. We consider here un...
217
click to vote
IJSR
2010
15 years 3 months ago
2010
A new generation of mobile service robots could be ready soon to operate in human environments if they can robustly estimate position and identity of surrounding people. Researcher...
175
click to vote
JMLR
2010
15 years 1 months ago
2010
To handle problems created by large data sets, we propose a method that uses a decision tree to decompose a given data space and train SVMs on the decomposed regions. Although the...
158
click to vote
CORR
2011
Springer
15 years 28 days ago
2011
Springer
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...