5689 search results - page 1047 / 1138 » A Performance Process Maturity Model |
116
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
246
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
225
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Column-oriented database systems [19, 23] perform better than traditional row-oriented database systems on analytical workloads such as those found in decision support and busines...
207
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
To compensate for the inherent impedance mismatch between the relational data model (tables of tuples) and XML (ordered, unranked trees), tree join algorithms have become the prev...
121
Voted
MOBIHOC
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we identify a new problem in wireless sensor networks, distance sensitive service discovery, where nearby or closest service selection guarantee is expected. We pro...