2157 search results - page 273 / 432 » Binary ant algorithm |
129
click to vote
ISMVL
2007
IEEE
16 years 13 days ago
2007
IEEE
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur because of delays. Ternary simulation consists of two algorithms, A and B,...
231
Voted
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
168
Voted
EMO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In engineering and other ‘real-world’ applications, multiobjective optimization problems must frequently be tackled on a tight evaluation budget — tens or hundreds ...
162
click to vote
WEA
2005
Springer
15 years 11 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
154
click to vote
ASPLOS
1994
ACM
15 years 10 months ago
1994
ACM
Several researchers have proposed algorithms for basic block reordering. We call these branch alignment algorithms. The primary emphasis of these algorithms has been on improving ...