Sciweavers

11374 search results - page 393 / 2275
» A System Demonstration of ST-TCP
Sort
View
ISCA
1998
IEEE
125views Hardware» more  ISCA 1998»
15 years 11 months ago
Active Pages: A Computation Model for Intelligent Memory
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
Mark Oskin, Frederic T. Chong, Timothy Sherwood
144
Voted
AIA
2007
15 years 8 months ago
Plan-based assistance in the webbrowser firefox
We present a developed function library named pbifSystem which will allow for remote control of the webbrowser Firefox. Instead of controlling the browser through general pc input...
T. A. Bertz, Peter Reiss
KES
2008
Springer
15 years 6 months ago
Reinforcing fuzzy rule-based diagnosis of turbomachines with case-based reasoning
This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a case...
Meijun Yang, Qiang Shen
ACTA
2005
92views more  ACTA 2005»
15 years 6 months ago
Type-based information flow analysis for the pi-calculus
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Naoki Kobayashi
JSC
2007
97views more  JSC 2007»
15 years 6 months ago
On approximate triangular decompositions in dimension zero
Triangular decompositions for systems of polynomial equations with n variables, with exact coefficients, are well developed theoretically and in terms of implemented algorithms i...
Marc Moreno Maza, Gregory J. Reid, Robin Scott, We...