9387 search results - page 411 / 1878 » An Optimal Process Model for a Real Time Process |
155
click to vote
CALCO
2007
Springer
16 years 28 days ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
206
Voted
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
Active statistical models including active shape models and active appearance models are very powerful for face alignment. They are composed of two parts: the subspace model(s) an...
194
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Statistical static timing analysis (SSTA) has become a key method for analyzing the effect of process variation in aggressively scaled CMOS technologies. Much research has focused...
164
click to vote
HYBRID
2007
Springer
16 years 28 days ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
155
click to vote
INFSOF
2006
15 years 6 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...