7195 search results - page 773 / 1439 » On Computing Power |
185
click to vote
COMCOM
2000
15 years 7 months ago
2000
With their increased power and versatility, today's computer networks are becoming used for an ever-growing number of diverse applications. Further, the networking structures...
175
click to vote
MMAS
2010
Springer
15 years 2 months ago
2010
Springer
This paper considers the statistical properties of the waves generated by a point source in the subsurface and transmitted towards the surface through a randomly layered medium. Th...
176
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
An algorithm is presented for joint blind estimation of carrier phase and frequency offset for signals with quadrature amplitude modulation (QAM). The algorithm is based on a circ...
209
click to vote
DSN
2002
IEEE
16 years 12 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
215
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...