924 search results - page 56 / 185 » One Application of the Parallelization Tool of Master-Slave ... |
IJCAI
2003
14 years 11 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. We propose a prediction-based best-effort real-time service to support distributed, interactive applications in shared, unreserved computing environments. These applicati...
108
click to vote
FPL
2008
Springer
14 years 11 months ago
2008
Springer
Cryptanalysis of symmetric and asymmetric ciphers is a challenging task due to the enormous amount of involved computations. To tackle this computational complexity, usually the e...
CIKM
2007
Springer
15 years 4 months ago
2007
Springer
Spatial queries for extracting data from wireless sensor networks are important for many applications, such as environmental monitoring and military surveillance. One such query i...
GRID
2006
Springer
14 years 10 months ago
2006
Springer
One of the first motivations of using grids comes from applications managing large data sets in field such as high energy physics or life sciences. To improve the global throughput...