4067 search results - page 336 / 814 » Programs for Applying Symmetries |
194
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
169
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
194
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
208
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
157
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...