Sciweavers

7064 search results - page 1078 / 1413
» From States to Histories
Sort
View
ISCA
1998
IEEE
104views Hardware» more  ISCA 1998»
15 years 11 months ago
Selective Eager Execution on the PolyPath Architecture
Control-flow misprediction penalties are a major impediment to high performance in wide-issue superscalar processors. In this paper we present Selective Eager Execution (SEE), an ...
Artur Klauser, Abhijit Paithankar, Dirk Grunwald
AGENTS
1998
Springer
15 years 11 months ago
WebMate: A Personal Agent for Browsing and Searching
The World-Wide Web is developing very fast. Currently, nding useful information on the Web is a time consuming process. In this paper, we present WebMate, an agent that helps user...
Liren Chen, Katia P. Sycara
AIMSA
1998
Springer
15 years 11 months ago
A Blackboard Architecture for Guiding Interactive Proofs
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
Christoph Benzmüller, Volker Sorge
SIGCOMM
1998
ACM
15 years 11 months ago
Modeling TCP Throughput: A Simple Model and Its Empirical Validation
In this paper we develop a simple analytic characterization of the steady state throughput, as a function of loss rate and round trip time for a bulk transfer TCP flow, i.e., a ï...
Jitendra Padhye, Victor Firoiu, Donald F. Towsley,...
STOC
1998
ACM
125views Algorithms» more  STOC 1998»
15 years 11 months ago
Spot-Checkers
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
Funda Ergün, Sampath Kannan, Ravi Kumar, Roni...
« Prev « First page 1078 / 1413 Last » Next »