2031 search results - page 267 / 407 » On Tree-Constrained Matchings and Generalizations |
213
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
150
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level optimization. Models presently used in system-level...
161
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we study the security of a practical randomness extractor and its application in the tls standard. Randomness extraction is the first stage of key derivation functi...
193
click to vote
IWCMC
2010
ACM
15 years 8 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
186
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
SALSA is a link-based ranking algorithm that takes the result set of a query as input, extends the set to include additional neighboring documents in the web graph, and performs a...