7404 search results - page 1330 / 1481 » New Tools in Education |
176
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Preparing complex jobs for crowdsourcing marketplaces requires careful attention to workflow design, the process of decomposing jobs into multiple tasks, which are solved by multi...
189
click to vote
SOFSEM
2012
Springer
14 years 2 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...
166
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
191
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Enterprise networks today host a wide variety of network services, which often depend on each other to provide and support network-based services and applications. Understanding...
228
click to vote
TOG
2012
13 years 9 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...