5762 search results - page 786 / 1153 » R-tree: A Hardware Implementation |
184
click to vote
CARDIS
2008
Springer
15 years 9 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
157
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
202
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
208
click to vote
AICCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
Autonomic Computing was introduced to reduce the complexity of managing computing systems; however, the heterogeneous nature existing in most computing systems introduces some dif...
199
click to vote
APCCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
As network technologies advance, Scalable Video Coding (SVC) has become increasingly popular due to its universal multimedia access capability and competitive compression performan...