4949 search results - page 584 / 990 » Consistency and Set Intersection |
222
click to vote
ICAC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper introduces a self-configuring architecture for scaling the database tier of dynamic content web servers. We use a unified approach to load and fault management based ...
205
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
190
click to vote
SIGUCCS
2005
ACM
16 years 11 days ago
2005
ACM
Educational Partnerships and Learning Technologies (EPLT) [1] at the University of Washington maintains and supports a fleet of approximately 1,000 general-access student computin...
193
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
167
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...