Sciweavers

1596 search results - page 254 / 320
» Human-Guided Simple Search
Sort
View
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 8 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy
WWCA
1998
Springer
15 years 8 months ago
Compact and Flexible Resolution of CBT Multicast Key-Distribution
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...
Kanta Matsuura, Yuliang Zheng, Hideki Imai
KBSE
1997
IEEE
15 years 8 months ago
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
Johann Schumann, Bernd Fischer 0002
ERCIMDL
1997
Springer
106views Education» more  ERCIMDL 1997»
15 years 8 months ago
Scalable Text Retrieval for Large Digital Libraries
It is argued that digital libraries of the future will contain terabyte-scale collections of digital text and that full-text searching techniques will be required to operate over c...
David Hawking
VISUALIZATION
1996
IEEE
15 years 8 months ago
Choosing Effective Colours for Data Visualization
In this paper we describe a technique for choosing multiple colours for use during data visualization. Our goal is a systematic method for maximizing the total number of colours a...
Christopher G. Healey