3321 search results - page 546 / 665 » Performance of parallel computations with dynamic processor ... |
155
click to vote
CDC
2008
IEEE
16 years 24 days 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...
184
click to vote
IPPS
2009
IEEE
16 years 29 days 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...
165
click to vote
IEEEPACT
2008
IEEE
16 years 22 days 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...
141
click to vote
EUROPAR
2009
Springer
15 years 11 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...
138
click to vote
ENTCS
2002
15 years 6 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 ...