6306 search results - page 123 / 1262 » Space, Time, and the Use of Language |
168
Voted
IWMM
2007
Springer
16 years 1 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
302
Voted
JCP
2008
15 years 7 months ago
2008
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
207
click to vote
ICDAR
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper proposes a method to accelerate character recognition of a large character set by employing pivots into the search space. We divide the feature space of character categ...
207
click to vote
ENTCS
2010
15 years 4 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
268
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...