121
click to vote
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
We present Symbiosis: a concurrency debugging technique based on novel differential schedule projections (DSPs). A DSP shows the small set of memory operations and data-flows res...
111
Voted
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
We present maximal causality reduction (MCR), a new technique for stateless model checking. MCR systematically explores the state-space of concurrent programs with a provably mini...
425
Voted
PKDD
2015
Springer
9 years 11 months ago
2015
Springer
Detecting the underlying community structure of networks is an important problem in complex network analysis. Modularity is a well-known quality function introduced by Newman, that...
390
click to vote
PKDD
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Evaluation of balance stability in elderly people is of prominent relevance in the field of health monitoring. Recently, the use of Wii Balance Board has been proposed a...