1027 search results - page 194 / 206 » Callgraph properties of executables |
190
click to vote
CP
2004
Springer
16 years 12 days ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
191
click to vote
COOPIS
2003
IEEE
16 years 9 days ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
181
click to vote
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
197
click to vote
SMA
2003
ACM
16 years 8 days ago
2003
ACM
3D scanners developed over the past several decades have facilitated the reconstruction of complicated engineering parts. Typically the boundary representation of a part is recons...
186
click to vote
ATAL
2003
Springer
16 years 7 days ago
2003
Springer
We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-a...