Sciweavers

1662 search results - page 55 / 333
» Privately Finding Specifications
Sort
View
111
Voted
CI
2007
130views more  CI 2007»
15 years 2 months ago
Price Dynamics, Informational Efficiency, and Wealth Distribution in Continuous Double-Auction Markets
This paper studies the properties of the continuous double auction trading mechanishm using an artificial market populated by heterogeneous computational agents. In particular, we...
Javier Gil-Bazo, David Moreno, Mikel Tapia
PVLDB
2008
116views more  PVLDB 2008»
15 years 2 months ago
Anonymizing bipartite graph data using safe groupings
Private data often comes in the form of associations between entities, such as customers and products bought from a pharmacy, which are naturally represented in the form of a larg...
Graham Cormode, Divesh Srivastava, Ting Yu, Qing Z...
154
Voted
SIGMETRICS
2012
ACM
251views Hardware» more  SIGMETRICS 2012»
13 years 5 months ago
Providing fairness on shared-memory multiprocessors via process scheduling
Competition for shared memory resources on multiprocessors is the most dominant cause for slowing down applications and makes their performance varies unpredictably. It exacerbate...
Di Xu, Chenggang Wu, Pen-Chung Yew, Jianjun Li, Zh...
SAT
2005
Springer
122views Hardware» more  SAT 2005»
15 years 8 months ago
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
Maher N. Mneimneh, Inês Lynce, Zaher S. Andr...
87
Voted
ACE
2004
157views Education» more  ACE 2004»
15 years 3 months ago
Employer Satisfaction with ICT graduates
As part of a study of the teaching of Information and Communications Technology in Australian universities, employers were surveyed in 2001 to find out how satisfied they were wit...
Dianne Hagan