17967 search results - page 3110 / 3594 » Functional timing optimization |
153
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
151
Voted
CEAS
2004
Springer
15 years 12 months ago
2004
Springer
Spam has become a major problem that is threatening the efficiency of the current email system. Spam is overwhelming the Internet because 1) emails are pushed from senders to recei...
160
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...
291
click to vote
CRYPTO
2004
Springer
15 years 12 months ago
2004
Springer
In the bare public-key model (BPK in short), each veriļ¬er is assumed to have deposited a public key in a ļ¬le that is accessible by all users at all times. In this model, intro...
166
click to vote
CSEE
2004
Springer
15 years 12 months ago
2004
Springer
In a course environment, pairing a student with one partner for the entire semester is beneficial, but may not be optimal. The authors conducted a study in two undergraduate level...