3688 search results - page 673 / 738 » Static analysis of aspects |
104
click to vote
CADE
2005
Springer
16 years 5 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
104
click to vote
STOC
2006
ACM
16 years 5 days ago
2006
ACM
We study rerouting policies in a dynamic round-based variant of a well known game theoretic traffic model due to Wardrop. Previous analyses (mostly in the context of selfish routi...
160
click to vote
SIGMOD
2004
ACM
16 years 1 days ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
124
click to vote
SIGMOD
2004
ACM
16 years 1 days ago
2004
ACM
Mining informative patterns from very large, dynamically changing databases poses numerous interesting challenges. Data summarizations (e.g., data bubbles) have been proposed to c...
106
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...