2372 search results - page 204 / 475 » is 2012 |
148
Voted
SIGCSE
2012
ACM
13 years 8 months ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
124
Voted
SOFSEM
2012
Springer
13 years 8 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
124
Voted
SOFSEM
2012
Springer
13 years 8 months ago
2012
Springer
The classical group testing problem asks to determine at most d defective elements in a set of n elements, by queries to subsets that return Yes if the subset contains some defecti...
152
click to vote
STACS
2012
Springer
13 years 8 months ago
2012
Springer
We consider the classical rumor spreading problem, where a piece of information must be disseminated from a single node to all n nodes of a given network. We devise two simple pus...
127
Voted
STACS
2012
Springer
13 years 8 months ago
2012
Springer
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a...