Sciweavers

1264 search results - page 29 / 253
» The IT Performance Evaluation in the Construction Industry
Sort
View
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
14 years 6 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto
IPPS
2009
IEEE
15 years 6 months ago
Phaser accumulators: A new reduction construct for dynamic parallelism
A reduction is a computation in which a common operation, such as a sum, is to be performed across multiple pieces of data, each supplied by a separate task. We introduce phaser a...
Jun Shirako, David M. Peixotto, Vivek Sarkar, Will...
FDG
2009
ACM
15 years 6 months ago
Relating cognitive models of computer games to user evaluations of entertainment
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
Paolo Piselli, Mark Claypool, James Doyle
NAACL
2007
15 years 1 months ago
Comparing Wikipedia and German Wordnet by Evaluating Semantic Relatedness on Multiple Datasets
We evaluate semantic relatedness measures on different German datasets showing that their performance depends on: (i) the definition of relatedness that was underlying the constr...
Torsten Zesch, Iryna Gurevych, Max Mühlhä...
GLOBECOM
2007
IEEE
15 years 6 months ago
Centralized Scheduling Tree Construction Under Multi-Channel IEEE 802.16 Mesh Networks
—This paper focuses on routing tree construction problem and its influence on the performance of utilizing centralized scheduling in IEEE 802.16 mesh networks. We apply three rou...
Wenhua Jiao, Pin Jiang, Ruoju Liu, Ming Li