7167 search results - page 1095 / 1434 » A Technique for Invariant Generation |
224
click to vote
CASES
2003
ACM
16 years 26 days ago
2003
ACM
Code size has always been an important issue for all embedded applications as well as larger systems. Code compression techniques have been devised as a way of battling bloated co...
193
click to vote
HT
2003
ACM
16 years 26 days ago
2003
ACM
We have presented a system called Pocket News that transforms web contents in the internet automatically to the contents to be adapted for a mobile terminal, especially PDA. It is...
171
click to vote
ISLPED
2003
ACM
16 years 26 days ago
2003
ACM
Modern superscalar processors implement precise interrupts by using the Reorder Buffer (ROB). In some microarchitectures , such as the Intel P6, the ROB also serves as a repositor...
197
click to vote
IUI
2003
ACM
16 years 26 days ago
2003
ACM
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on PDAs or cell phones or by disabled users) by taking a...
206
click to vote
PLDI
2003
ACM
16 years 26 days ago
2003
ACM
Clustered architectures are a solution to the bottleneck of centralized register files in superscalar and VLIW processors. The main challenge associated with clustered architectu...