967 search results - page 107 / 194 » Cycle spaces in topological spaces |
APLAS
2010
ACM
15 years 20 days ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
73
Voted
FMSD
2006
15 years 13 days ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
129
Voted
CIDR
2011
14 years 4 months ago
2011
One of the key tenets of database system design is making efficient use of storage and memory resources. However, existing database system implementations are actually extremely ...
103
click to vote
SEFM
2008
IEEE
15 years 6 months 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 ...
114
click to vote
IPC
2007
IEEE
15 years 6 months ago
2007
IEEE
Location systems are core technologies for enabling pervasive computing smart spaces. Signal Strength based location estimation offers economical viability and sufficient accurac...