4565 search results - page 708 / 913 » Time Optimal Self-Stabilizing Algorithms |
86
Voted
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
We explore the effectiveness of using traces in optimization. We build a trace collection system for the Jikes Research Virtual Machine and create traces based on the execution of...
119
click to vote
MDM
2004
Springer
15 years 6 months ago
2004
Springer
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
107
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
SAT
2004
Springer
15 years 6 months ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
92
Voted
WIA
2004
Springer
15 years 6 months ago
2004
Springer
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...