981 search results - page 176 / 197 » Symbolic pointer analysis |
206
Voted
PLDI
2003
ACM
16 years 29 days ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
231
click to vote
WCRE
2002
IEEE
16 years 18 days ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
202
click to vote
GECCO
2010
Springer
16 years 15 days ago
2010
Springer
This paper presents a novel approach for knowledge mining from a sparse and repeated measures dataset. Genetic programming based symbolic regression is employed to generate multip...
181
Voted
ICSE
2010
IEEE-ACM
16 years 15 days ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
215
click to vote
DBPL
2007
Springer
15 years 11 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...