3742 search results - page 729 / 749 » On the Use of Formal Techniques for Validation |
131
click to vote
WWW
2011
ACM
14 years 9 months ago
2011
ACM
The ability to aggregate huge volumes of queries over a large population of users allows search engines to build precise models for a variety of query-assistance features such as ...
148
click to vote
PVLDB
2010
14 years 8 months ago
2010
We present Schism, a novel workload-aware approach for database partitioning and replication designed to improve scalability of sharednothing distributed databases. Because distri...
216
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Tuple dropping, though commonly used for load shedding in most stream operations, is inadequate for m-way, windowed stream joins. The join output rate can be overly reduced becaus...
123
click to vote
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
118
click to vote
ITICSE
2006
ACM
15 years 8 months ago
2006
ACM
The release of Curriculum 2001 coupled with the increasing importance of the World Wide Web and the changes in pedagogy enabled by new technologies has made the choices about what...