1739 search results - page 158 / 348 » Battery Model for Embedded Systems |
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
136
click to vote
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
136
Voted
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
129
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
118
click to vote
SAMOS
2010
Springer
15 years 1 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...