6167 search results - page 175 / 1234 » Can Refinement be Automated |
154
Voted
JSC
2000
15 years 4 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
169
Voted
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Starting from sequential programs, we present an approach combining data reuse, multi-level MapReduce, and pipelining to automatically find the most power-efficient designs th...
138
Voted
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
128
Voted
ANCS
2009
ACM
15 years 2 months ago
2009
ACM
AtoZ, an automatic traffic organizer, provides control of how network-resources are used by applications. It does this by combining the high-speed packet processing of the NetFPGA...
152
click to vote
DAIS
2009
15 years 2 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...