Sciweavers

12373 search results - page 2272 / 2475
» Semi-Logarithmic Number Systems
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
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
133
Voted
MICRO
1997
IEEE
82views Hardware» more  MICRO 1997»
15 years 8 months ago
Procedure Based Program Compression
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
Darko Kirovski, Johnson Kin, William H. Mangione-S...
128
Voted
CHI
1997
ACM
15 years 8 months ago
Effective View Navigation
Searching for an item in a long ordered list is a frequent task when using any kind of computing device (from desktop PCs to mobile phones). This paper explores three different int...
George W. Furnas
MOBICOM
1997
ACM
15 years 8 months ago
Log-Time Algorithms for Scheduling Single and Multiple Channel Data Broadcast
With the increasing popularity of portable wireless computers, mechanisms to efficiently transmit information to such clients are of significant interest. The environmentundercons...
Sohail Hameed, Nitin H. Vaidya
« Prev « First page 2272 / 2475 Last » Next »