832 search results - page 109 / 167 » Characteristic Patterns for LTL |
120
Voted
HPDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...
127
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We report our system and algorithm developments that enable a single mobile robot equipped with a directional antenna to simultaneously localize multiple unknown transient radi...
127
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...
131
click to vote
AIMS
2009
Springer
15 years 11 months ago
2009
Springer
The analysis of network traces often requires to find the spots where something interesting happens. Since traces are usually very large data-sets, it is often not easy and time i...
166
click to vote
AUSAI
2009
Springer
15 years 11 months ago
2009
Springer
In P2P VoD streaming systems, user behavior modeling is critical to help optimise user experience as well as system throughput. However, it still remains a challenging task due to ...