6016 search results - page 1167 / 1204 » The semantics of graphical languages |
ISSTA
2012
ACM
12 years 10 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ISSTA
2012
ACM
12 years 10 days ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
ICDT
2012
ACM
12 years 8 days ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
ICCV
2007
IEEE
14 years 12 months ago
2007
IEEE
Topic models have recently emerged as powerful tools for modeling topical trends in documents. Often the resulting topics are broad and generic, associating large groups of people...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Software internationalization is often necessary when distributing software applications to different regions around the world. In many cases, developers often do not internationa...