Sciweavers

1421 search results - page 254 / 285
» The First and Second Max-SAT Evaluations
Sort
View
SIGMOD
2000
ACM
158views Database» more  SIGMOD 2000»
14 years 1 months ago
NiagaraCQ: A Scalable Continuous Query System for Internet Databases
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
Jianjun Chen, David J. DeWitt, Feng Tian, Yuan Wan...
SIGUCCS
2000
ACM
14 years 1 months ago
The Master Internship Program at Wabash College
Wabash College has initiated an innovative strategy to solve technology staffing problems experienced by many small undergraduate liberal arts colleges. This strategy targets stud...
Guy Davis, John C. Hanes
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
14 years 1 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
SIGMETRICS
1999
ACM
14 years 1 months ago
Availability and Utility of Idle Memory in Workstation Clusters
In this paper, we examine the availability and utility of idle memory in workstation clusters. We attempt to answer the following questions. First, how much of the total memory in...
Anurag Acharya, Sanjeev Setia
AGENTS
1999
Springer
14 years 1 months ago
A Personal News Agent That Talks, Learns and Explains
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
Daniel Billsus, Michael J. Pazzani