14704 search results - page 436 / 2941 » computing 2007 |
138
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— For certain applications, field robotic systems require small size for cost, weight, access, stealth or other reasons. Small size results in constraints on critical resources s...
142
click to vote
COCOON
2007
Springer
15 years 11 months ago
2007
Springer
The last decade witnessed the extensive studies of algorithms for data streams. In this model, the input is given as a sequence of items passing only once or a few times, and we ar...
152
click to vote
ENTCS
2007
15 years 5 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
136
Voted
EOR
2007
15 years 5 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...
142
Voted
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...