Sciweavers

13841 search results - page 2556 / 2769
» Algorithms and Constraint Programming
Sort
View
126
Voted
PODS
2005
ACM
124views Database» more  PODS 2005»
16 years 3 months ago
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
Serge Abiteboul, Stefan Haar, Tova Milo, Zoë ...
127
Voted
EDBT
2008
ACM
150views Database» more  EDBT 2008»
16 years 3 months ago
Cost-based query optimization for complex pattern mining on multiple databases
For complex data mining queries, query optimization issues arise, similar to those for the traditional database queries. However, few works have applied the cost-based query optim...
Ruoming Jin, David Fuhry, Abdulkareem Alali
113
Voted
PPOPP
2010
ACM
16 years 27 days ago
Featherweight X10: a core calculus for async-finish parallelism
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
Jonathan K. Lee, Jens Palsberg
122
Voted
ALT
2003
Springer
16 years 18 days ago
Intrinsic Complexity of Uniform Learning
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
Sandra Zilles
131
Voted
ICCD
2002
IEEE
140views Hardware» more  ICCD 2002»
16 years 17 days ago
Fitted Elmore Delay: A Simple and Accurate Interconnect Delay Model
— In this paper, we present a new interconnect delay model called Fitted Elmore delay (FED). FED is generated by approximating Hspice delay data using a curve fitting technique....
Arif Ishaq Abou-Seido, Brian Nowak, Chris C. N. Ch...
« Prev « First page 2556 / 2769 Last » Next »