2364 search results - page 11 / 473 » An Engine for Computing Well-Founded Models |
131
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
SPIN
1999
Springer
15 years 4 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
112
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
EUROMICRO
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
101
click to vote
ESAW
2008
Springer
15 years 1 months ago
2008
Springer
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...