725 search results - page 129 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
122
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
115
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
CHI
2007
ACM
16 years 2 months ago
2007
ACM
We present the case study of a complex, mixed-initiative scheduling system to illustrate Work-Centered Design (WCD), a new approach for the design of information systems. WCD is b...
138
click to vote
IWCMC
2009
ACM
15 years 7 months ago
2009
ACM
Autoconfiguration of the radio parameters is a key feature for next generation mobile networks. Especially for LTE the NGMN Forum has brought it up as a major requirement. It is ...
113
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...