4725 search results - page 321 / 945 » Dependence-Based Program Analysis |
198
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
163
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
235
click to vote
ACCV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The trace quotient problem arises in many applications in pattern classification and computer vision, e.g., manifold learning, low-dimension embedding, etc. The task is ...
213
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
220
click to vote
ESEC
1997
Springer
15 years 11 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...