861 search results - page 120 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
151
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
124
click to vote
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
132
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
With the growing popularity of digitized sports video, automatic analysis of them need be processed to facilitate semantic summarization and retrieval. Playfield plays the fundame...
134
click to vote
PLDI
2004
ACM
15 years 8 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...
147
click to vote
ICMI
2010
Springer
15 years 28 days ago
2010
Springer
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...