10051 search results - page 365 / 2011 » A Dynamic Separator Algorithm |
215
Voted
ICAC
2009
IEEE
16 years 2 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
170
click to vote
ISCA
2002
IEEE
16 years 11 days ago
2002
IEEE
The number of pipeline stages separating dynamic instruction scheduling from instruction execution has increased considerably in recent out-of-order microprocessor implementations...
229
click to vote
ENASE
2009
15 years 5 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
190
click to vote
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In the real world, many applications are nonstationary optimization problems. This requires that optimization algorithms need to not only find the global optimal soluti...
226
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...