10891 search results - page 1915 / 2179 » Combining Model Reductions |
100
Voted
CEAS
2008
Springer
15 years 2 months ago
2008
Springer
Gray mail, messages that could reasonably be considered either spam or good by different email users, is a commonly observed issue in production spam filtering systems. In this pa...
101
click to vote
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
133
Voted
ADAPTIVE
2007
Springer
15 years 2 months ago
2007
Springer
With the exponential growth of the available information on the World Wide Web, a traditional search engine, even if based on sophisticated document indexing algorithms, has diffi...
110
click to vote
SAC
2010
ACM
15 years 2 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
DOCENG
2008
ACM
15 years 2 months ago
2008
ACM
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...