Sciweavers

2061 search results - page 216 / 413
» Tiling with limited resources
Sort
View
UIST
1999
ACM
15 years 11 months ago
WEST: A Web Browser for Small Terminals
We describe WEST, a WEb browser for Small Terminals, that aims to solve some of the problems associated with accessing web pages on hand-held devices. Through a novel combination ...
Staffan Björk, Lars Erik Holmquist, Johan Red...
CSFW
1998
IEEE
15 years 11 months ago
Proving Security Protocols with Model Checkers by Data Independence Techniques
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
A. W. Roscoe
PODC
1998
ACM
15 years 11 months ago
In-Place Reconstruction of Delta Compressed Files
We present an algorithm for modifying delta compressed files so that the compressed versions may be reconstructed without scratch space. This allows network clients with limited ...
Randal C. Burns, Darrell D. E. Long
LCPC
1998
Springer
15 years 11 months ago
Copy Elimination for Parallelizing Compilers
Techniques for aggressive optimization and parallelization of applications can have the side-effect of introducing copy instructions, register-to-register move instructions, into t...
David J. Kolson, Alexandru Nicolau, Nikil D. Dutt
CARDIS
2006
Springer
146views Hardware» more  CARDIS 2006»
15 years 11 months ago
SEA: A Scalable Encryption Algorithm for Small Embedded Applications
Most present symmetric encryption algorithms result from a tradeoff between implementation cost and resulting performances. In addition, they generally aim to be implemented effici...
François-Xavier Standaert, Gilles Piret, Ne...