4491 search results - page 250 / 899 » Algorithm Engineering |
125
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
130
click to vote
CSE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper summarizes our work on a parallel algorithm for an interacting particle model, derived from the model by Czirok, Vicsek, et. al. [3, 4, 5, 13, 14]. Our model is particu...
236
click to vote
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Abstract-- Particle simulation has become an important research tool in many scientific and engineering fields. Data generated by such simulations impose great challenges to databa...
139
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
123
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...