4403 search results - page 579 / 881 » Galois Theory of Algorithms |
216
click to vote
PODS
2010
ACM
16 years 18 days ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
213
click to vote
PODS
2010
ACM
16 years 18 days ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
216
click to vote
ICTAI
2002
IEEE
16 years 13 days ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
178
Voted
ISSS
2002
IEEE
16 years 13 days ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
174
Voted
SIGMETRICS
2010
ACM
16 years 10 days ago
2010
ACM
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...