42 search results - page 2 / 9 » Tag Elimination and Jones-Optimality |
ISCA
2002
IEEE
13 years 10 months ago
2002
IEEE
An increasingly large portion of scheduler latency is derived from the monolithic content addressable memory (CAM) arrays accessed during instruction wakeup. The performance of th...
PLDI
1998
ACM
13 years 9 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...
ICPP
2007
IEEE
13 years 11 months ago
2007
IEEE
RFID technologies are gaining much attention as they are attractive solutions to many application domains. Localization based on active RFID technologies provides a much needed ad...
HT
2010
ACM
13 years 7 months ago
2010
ACM
1 Tags are an important information source in Web 2.0. They can be used to describe users’ topic preferences as well as the content of items to make personalized recommendations....
LFP
1992
13 years 6 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...