8190 search results - page 1411 / 1638 » From Timed to Hybrid Systems |
165
click to vote
ISCA
1997
IEEE
15 years 10 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
153
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
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...
175
click to vote
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
We describe Dead Value Information (DVI) and introduce three new optimizations which exploit it. DVI provides assertions that certain register values are dead, meaning they will n...
170
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
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...
196
click to vote
CP
1997
Springer
15 years 10 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...