IEEEHPCS
2010
2010
Novel performance optimization of large-scale discrete-event simulation on the Cell Broadband Engine
13 years 10 months ago
This paper presents a computing technique for efficient parallel simulation of large-scale discrete-event models on the IBM Cell Broadband Engine (CBE), which has one Power Proces...
IEEEHPCS
2010
13 years 10 months ago
2010
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
IEEEHPCS
2010
13 years 10 months ago
2010
This paper presents a novel approach to detect and formulate time varying changes in texture content on a sequence of images registered from a scene by using Gabor wavelets repres...
IEEEHPCS
2010
13 years 10 months ago
2010
Cloud Computing (CC) is characterized by dynamically scalable and often virtualized resources that are provided as a service over the Internet. To date, no generally agreed scheme...
IEEEHPCS
2010
13 years 10 months ago
2010
Abstract—Many peer-to-peer file sharing communities implement credit policies to incentivise users to contribute upload resources. Such policies implicitly assume a user model -...
IEEEHPCS
2010
13 years 10 months ago
2010
IEEEHPCS
2010
13 years 10 months ago
2010
Abstract. In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an impo...
IEEEHPCS
2010
13 years 10 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
IEEEHPCS
2010
13 years 10 months ago
2010
In the past few years, research in the domain of networkon-chip has been concentrated on application-specific approaches. These approaches are design-time parameterized approache...
IEEEHPCS
2010
13 years 10 months ago
2010
The stochastic Greenberg-Hastings cellular automaton is a model that mimics the propagation of reaction-diffusion waves in active media. Notably, this model undergoes a phase tran...