1332 search results - page 103 / 267 » ideas 2008 |
104
click to vote
CHI
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents ongoing work towards development of a reporting tool that provides group work facilitators with insight into group work processes. The work includes three main...
132
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
151
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
148
click to vote
CISS
2008
IEEE
15 years 6 months ago
2008
IEEE
Inference of the network structure (e.g., routing topology) and dynamics (e.g., traffic matrices, link performance) is an important component in many network design and management ...
183
click to vote
COCOA
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a new combinatorial optimization problem, which is a generalization of the Traveling Salesman Problem (TSP) and which we call Traveling Salesman Problem of Second Orde...