264 search results - page 21 / 53 » On the possibility of faster SAT algorithms |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
ACT Line-of-Sight (LOS) delay estimation with high accuracy is a pre-requisite for reliable location via satellite systems. The future European satellite positioning system, Galile...
ASPLOS
1991
ACM
15 years 3 months ago
1991
ACM
Blocking is a well-known optimization technique for improving the effectiveness of memory hierarchies. Instead of operating on entire rows or columns of an array, blocked algorith...
SERP
2003
15 years 1 months ago
2003
Abstract New algorithms are constantly developed in search of better or faster results. Many variants of code are often tried while searching for the best solution. When the number...
DAC
2002
ACM
16 years 24 days ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
124
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...