3281 search results - page 171 / 657 » An Approach to use Executable Models for Testing |
127
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
141
click to vote
ERSA
2004
15 years 4 months ago
2004
Platform FPGAs incorporate many different components, such as processor core(s), reconfigurable logic, memory, etc., onto a single chip. When an application is synthesized on platf...
127
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
150
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
We propose a hybrid face recognition method that combines holistic and feature analysis-based approaches using a Markov random field (MRF) model. The face images are divided into ...
109
click to vote
CONCURRENCY
2010
15 years 3 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...