3971 search results - page 356 / 795 » On the Use of Properties in Java Applications |
187
click to vote
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core and any custom hardware on a single wafer are becoming increasingly common in areas suc...
132
click to vote
AIPS
2004
15 years 8 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
128
click to vote
PR
2006
15 years 6 months ago
2006
The k-nearest-neighbor rule is one of the most attractive pattern classification algorithms. In practice, the choice of k is determined by the cross-validation method. In this wor...
180
click to vote
TVLSI
2008
15 years 6 months ago
2008
We present a selective encoding method that reduces test data volume and test application time for scan testing of Intellectual Property (IP) cores. This method encodes the slices ...
173
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
We present a framework for processing point-based surfaces via partial differential equations (PDEs). Our framework efficiently and effectively brings well-known PDE-based process...