6960 search results - page 965 / 1392 » Continuity Analysis of Programs |
150
click to vote
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
Latent Semantic Indexing (LSI) has been validated to be effective on many small scale text collections. However, little evidence has shown its effectiveness on unsampled large sca...
142
Voted
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
We investigate appropriate regimes for transmission line propagation of signals on digital integrated circuits. We start from exact solutions to the transmission line equations pr...
143
Voted
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
As the scale of system integration continues to grow, the on-chip communication becomes the ultimate bottleneck of system performance and the primary determinant of system archite...
131
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
153
click to vote
ASM
2010
ASM
15 years 12 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...