6239 search results - page 381 / 1248 » From Zinc to Design Model |
202
click to vote
IFM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
202
click to vote
HPDC
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
245
click to vote
FLAIRS
2008
15 years 10 months ago
2008
Hidden Markov models are a powerful technique to model and classify temporal sequences, such as in speech and gesture recognition. However, defining these models is still an art: ...
216
click to vote
COMPSAC
2000
IEEE
16 years 16 hour ago
2000
IEEE
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...
208
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
The management of big databases of three-dimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easi...