4520 search results - page 415 / 904 » Algebraic Techniques for Timed Systems |
170
click to vote
FTCS
1993
15 years 9 months ago
1993
Interval availability is a dependability measure defined by the fraction of time during which a system is in operation over a finite observation period. The computation of its d...
199
click to vote
IJCAI
1993
15 years 9 months ago
1993
One method for reducing the time required for plan generation is to learn search control rules from experience. Most of the recent work in learning search control knowledge has co...
167
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
Off-line rendering techniques have nowadays reached an astonishing level of realism but pay the cost of long computational times. The new generation of programmable graphic hardwa...
213
click to vote
SIAMSC
2011
15 years 2 months ago
2011
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
206
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...