5634 search results - page 180 / 1127 » About Abstract Classes |
101
click to vote
WIOPT
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—This work addresses the problem of energy allocation over source compression and transmission for a single energy-harvesting sensor. An optimal class of policies is iden...
CONCUR
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
IASTEDSE
2004
15 years 21 days ago
2004
200402.tex ABSTRACT To detect theft of Java class files efficiently, we have so far proposed a concept of Java birthmarks. Since the birthmarks are unique and native characteristic...
114
click to vote
ECOOP
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
104
click to vote
TACAS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...