1760 search results - page 223 / 352 » Program Analysis Using Weighted Pushdown Systems |
107
click to vote
ESOP
2008
Springer
15 years 4 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...
120
click to vote
AVSS
2007
IEEE
15 years 6 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 ...
121
Voted
ICIP
1999
IEEE
16 years 4 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...
131
Voted
PLDI
2004
ACM
15 years 7 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...
107
click to vote
ICPP
1994
IEEE
15 years 6 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...