2947 search results - page 255 / 590 » Analyzing Program Analyses |
232
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
186
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
163
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
174
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
188
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We propose an Efficient Reliable Data Collection (eRDC) algorithm. The eRDC is designed for energy-constraint wireless sensor networks (WSN) to balance reliability and energy c...