3281 search results - page 286 / 657 » An Approach to use Executable Models for Testing |
127
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
112
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
196
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...
141
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Modeling visual concepts using supervised or unsupervised machine learning approaches are becoming increasing important for video semantic indexing, retrieval, and filtering appli...
130
click to vote
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
The problem of writer identification in a multiscript environment is attempted using a twodimensional (2D) autoregressive (AR) modelling technique. Each writer is represented by a...