1760 search results - page 223 / 352 » Program Analysis Using Weighted Pushdown Systems |
128
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
143
click to vote
AVSS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose a joint face orientation estimation in smart camera networks without having to localize the cameras in advance. The system is composed of in-node coarse ...
142
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
Human interfaces for computer graphics systems are now evolving towards a total multi-modal approach. Information gathered using visual, audio and motion capture systems are now b...
148
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
125
click to vote
ICPP
1994
IEEE
15 years 9 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...