9049 search results - page 1641 / 1810 » The New C Standard |
195
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach for classifying documents that combines different pieces of evidence (e.g., textual features of documents, links, and citations) transparently, through...
202
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
225
click to vote
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
158
click to vote
MOBICOM
2000
ACM
15 years 10 months ago
2000
ACM
Compressing protocol headers has traditionally been an attractive way of conserving bandwidth over low-speed links, including those in wireless systems. However, despite the growt...
169
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...