4581 search results - page 205 / 917 » Computing Transformation Semigroups |
160
click to vote
SEFM
2008
IEEE
16 years 28 days ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
158
click to vote
VL
2006
IEEE
16 years 17 days ago
2006
IEEE
To explore how people conceptualize a complex system, 232 university students were asked to sketch how a search engine works. While the sketches reveal a diverse range of visual a...
147
click to vote
ISMIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...
168
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
203
click to vote
SBCCI
2003
ACM
15 years 11 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...