9325 search results - page 172 / 1865 » The decentralized implementability problem |
149
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
107
click to vote
JSAC
2007
15 years 3 months ago
2007
In this article, we describe our experiences in implementing an experimental wide-area GMPLS network called CHEETAH (Circuit-Switched End-to-End Transport Architecture). The key c...
102
click to vote
JMLR
2002
15 years 2 months ago
2002
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
139
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...
159
click to vote
ICST
2009
IEEE
15 years 26 days ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...