WC
2016
10 years 11 days ago
2016
356
click to vote
WALCOM
2016
IEEE
10 years 11 days ago
2016
IEEE
In the obnoxious facility game, a location for an undesirable facility is to be determined based on the voting of selfish agents. Design of group strategy proof mechanisms has be...
140
click to vote
VMCAI
2016
Springer
10 years 11 days ago
2016
Springer
Abstract. We describe a simple, but powerful, program logic for reasoning about C11 relaxed accesses used in conjunction with release and acquire memory fences. Our logic, called f...
129
click to vote
VMCAI
2016
Springer
10 years 11 days ago
2016
Springer
ion-driven Concolic Testing‹ Przemyslaw Daca1 , Ashutosh Gupta2 , and Thomas A. Henzinger1 1 IST Austria, Austria 2 Tata Institute for Fundamental Research, India Concolic testin...