10707 search results - page 138 / 2142 » Designing executable abstractions |
151
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Computational social choice is an interdisciplinary eld of study at the interface of social choice theory and computer science, with knowledge owing in either direction. On the o...
148
Voted
APPT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents a simulator for of a decentralized modular grid scheduler named MaGate. MaGate’s design emphasizes scheduler interoperability by providing intellige...
109
click to vote
TVLSI
2008
15 years 3 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
148
click to vote
DMIN
2009
15 years 1 months ago
2009
While the emerging field of privacy preserving data mining (PPDM) will enable many new data mining applications, it suffers from several practical difficulties. PPDM algorithms are...
227
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- In a high-end database system, the execution concurrency level rises continuously in a multiprocessor environment due to the increase in number of concurrent transaction...