3321 search results - page 546 / 665 » Performance of parallel computations with dynamic processor ... |
121
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
148
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
String searching is at the core of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filters. The growing size of o...
123
Voted
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
The emergence of power as a first-class design constraint has fueled the proposal of a growing number of run-time power optimizations. Many of these optimizations trade-off power...
110
Voted
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
The graphics processor (GPU) has evolved into an appealing choice for high performance computing due to its superior memory bandwidth, raw processing power, and flexible programm...
100
Voted
ENTCS
2002
15 years 3 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...