14078 search results - page 1963 / 2816 » Design and Analysis of Computer Algorithms |
221
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
200
click to vote
CIS
2007
Springer
15 years 9 months ago
2007
Springer
Multi-domain application environments where distributed domains interoperate with each other are becoming a reality in Internet-based enterprise applications. The secure interoper...
185
click to vote
DIS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. An important task in many scientific and engineering disciplines is to set up experiments with the goal of finding the best instances (substances, compositions, designs) ...
226
click to vote
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
Cache affinity between a process and a processor is observed when the processor cache has accumulated some amount of the process state, i.e., data or instructions. Cache affinity i...
228
click to vote
SCAI
2001
15 years 9 months ago
2001
We apply evolutionary algorithm (EA) to the design of controller for adaptive robots. EAs can be successful for more complicated tasks, where traditional engineering methods strugg...