1739 search results - page 92 / 348 » Battery Model for Embedded Systems |
CGO
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
142
click to vote
CBSE
2011
Springer
13 years 9 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
SAFECOMP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
SAS
2001
Springer
15 years 2 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...