3719 search results - page 400 / 744 » Pellet System Description |
213
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
219
click to vote
DDECS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
192
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
162
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The importance of personalized information services has been increasing. Description of personal preferences needs to be prepared beforehand to realize such services. We propose a...
200
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...