1382 search results - page 193 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
107
click to vote
FPL
2007
Springer
15 years 4 months ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
ICCV
1999
IEEE
15 years 12 months ago
1999
IEEE
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and synthesizing figure motion has employed eit...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
QEST
2009
IEEE
15 years 4 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...