967 search results - page 83 / 194 » Cycle spaces in topological spaces |
112
click to vote
PDCAT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Survivable network design has become increasingly important due to the need for reliable communication service. Its main purpose is to provide cost-efficient spare capaci...
155
click to vote
CAV
1999
Springer
15 years 4 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
DAC
2005
ACM
15 years 2 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
92
Voted
CPM
2008
Springer
15 years 2 months ago
2008
Springer
The Sort Transform (ST) can significantly speed up the block sorting phase of the Burrows-Wheeler transform (BWT) by sorting only limited order contexts. However, the best result o...
84
Voted
IGARSS
2010
14 years 10 months ago
2010
This study proposes a methodology to infer maximum air temperature from space using observations from polar orbiting satellite MODIS. A previous study showed that minimum Land Sur...