IEEEHPCS
2010
13 years 3 months ago
2010
Network-on-chip (NoC) architectures adopted for Systemon-Chip (SoC) are characterized by different trade-offs between latency, throughput, communication load, energy consumption, ...
IEEEHPCS
2010
2010
Novel performance optimization of large-scale discrete-event simulation on the Cell Broadband Engine
13 years 3 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 3 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 3 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 3 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 3 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 3 months ago
2010
IEEEHPCS
2010
13 years 3 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 3 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 3 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...