9572 search results - page 1564 / 1915 » Cover Algorithms and Their Combination |
203
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
Power management has become popular in mobile computing as well as in server farms. Although a lot of work has been done to manage the energy consumption on uniprocessor real-time...
182
click to vote
ITC
2003
IEEE
16 years 2 days ago
2003
IEEE
Store-and-generate techniques encode a given test set and regenerate the original test set during the test with the help of a decoder. Previous research has shown that runlength c...
181
click to vote
LICS
2003
IEEE
16 years 2 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
168
click to vote
CASES
2003
ACM
16 years 1 days ago
2003
ACM
In an embedded system, the cost of storing a program onchip can be as high as the cost of a microprocessor. Compressing an application’s code to reduce the amount of memory requ...
210
click to vote
IUI
2003
ACM
16 years 1 days ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...