3552 search results - page 597 / 711 » Proof theory in the abstract |
189
click to vote
BROADNETS
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— Limited resources and time-varying nature of wireless ad hoc networks demand optimized use of resources across layers. Cross-layer optimization (CLO) for wireless netwo...
168
click to vote
ISCAS
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— We study leakage-power reduction in standby random access memories (SRAMs) during data-retention. An SRAM cell requires a minimum critical supply voltage (DRV) above wh...
176
click to vote
ICA
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Separation of underdetermined mixtures is an important problem in signal processing that has attracted a great deal of attention over the years. Prior knowledge is requir...
175
click to vote
SIGCOMM
2004
ACM
15 years 12 months ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
158
click to vote
ACISP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....