Sciweavers

3218 search results - page 486 / 644
» Timed Extensions for SDL
Sort
View
AAAI
1998
15 years 7 months ago
Using Arc Weights to Improve Iterative Repair
One of the surprising findings from the study of CNF satisfiability in the 1990's has been the success of iterative repair techniques, and in particular of weighted iterative...
John Thornton, Abdul Sattar
AIPS
2000
15 years 7 months ago
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
Benjamin D. Smith, Martin S. Feather, Nicola Musce...
USENIX
2003
15 years 7 months ago
Checkpoints of GUI-based Applications
We describe a new system, called guievict, that enables the graphical user interface (GUI) of any application to be transparently migrated to or replicated on another display with...
Victor C. Zandy, Barton P. Miller
USITS
2003
15 years 7 months ago
Adaptive Overload Control for Busy Internet Servers
As Internet services become more popular and pervasive, a critical problem that arises is managing the performance of services under extreme overload. This paper presents a set of...
Matt Welsh, David E. Culler
VISSYM
2003
15 years 7 months ago
Smart Hardware-Accelerated Volume Rendering
For volume rendering of regular grids the display of view-plane aligned slices has proven to yield both good quality and performance. In this paper we demonstrate how to merge the...
Stefan Röttger, Stefan Guthe, Daniel Weiskopf...