13 search results - page 3 / 3 » Cycle bases of graphs and sampled manifolds |
SEFM
2008
IEEE
14 years 5 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 ...
ICCAD
2009
IEEE
13 years 3 months ago
2009
IEEE
With increasing process variation, binning has become an important technique to improve the values of fabricated chips, especially in high performance microprocessors where transpa...
AIPS
2007
13 years 8 months ago
2007
This paper summarizes research on a new emerging framework for learning to plan using the Markov decision process model (MDP). In this paradigm, two approaches to learning to plan...