13383 search results - page 2336 / 2677 » Abstractions from proofs |
156
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
118
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— A novel, simple and efficient method for the generation of Tikhonov (a.k.a. von Mises) random variates is proposed. In the proposed method, circular variates of a pres...
177
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The optimal model parameters of a kernel machine are typically given by the solution of a convex optimisation problem with a single global optimum. Obtaining the best p...
129
click to vote
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
ACE analysis is a technique to provide an early reliability estimate for microprocessors. ACE analysis couples data from performance models with low level design details to identi...
137
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...