17967 search results - page 3127 / 3594 » Functional timing optimization |
193
click to vote
FCT
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. We present an algorithm for asymptotically efficient multiway blockwise in-place merging. Given an array A containing sorted subsequences A1, . . . , Ak of respective le...
198
click to vote
ICTAC
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
187
click to vote
LCPC
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
217
click to vote
SARA
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
214
click to vote
AGENTS
2001
Springer
16 years 4 days ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...