1199 search results - page 215 / 240 » Parameterized Proof Complexity |
121
Voted
SIAMSC
2010
15 years 1 months ago
2010
Abstract. In this paper we improve traditional steepest descent methods for the direct minimization of the Gross-Pitaevskii (GP) energy with rotation at two levels. We first defi...
143
Voted
TDSC
2010
15 years 1 months ago
2010
—This paper presents the first hierarchical Byzantine fault-tolerant replication architecture suitable to systems that span multiple wide area sites. The architecture confines ...
114
Voted
CASES
2010
ACM
15 years 22 days ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...
153
Voted
ICDCS
2010
IEEE
15 years 21 days ago
2010
IEEE
Advances in wireless vehicular networks present us with opportunities for developing new distributed traffic control algorithms that avoid phenomena such as abrupt phase-transition...
134
Voted
MOBILIGHT
2010
15 years 18 days ago
2010
Advancements in network technologies dramatically increased management complexity. Cognitive networking was introduced to deal with this problem, by providing algorithms for autono...