4520 search results - page 17 / 904 » Algebraic Techniques for Timed Systems |
123
Voted
RTAS
2000
IEEE
15 years 6 months ago
2000
IEEE
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
142
Voted
WORDS
2002
IEEE
15 years 6 months ago
2002
IEEE
Developers of mission-critical distributed real-time and embedded (DRE) systems face a fundamental tension between (1) the performance gains achievable with hand-crafted optimizat...
COMSIS
2006
15 years 1 months ago
2006
129
Voted
AB
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
102
click to vote
IWIA
2005
IEEE
15 years 7 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...