1739 search results - page 36 / 348 » Battery Model for Embedded Systems |
EMSOFT
2001
Springer
14 years 3 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
VLSID
2002
IEEE
14 years 11 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
ICSE
2010
IEEE-ACM
14 years 29 days ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
TSE
2002
13 years 10 months ago
2002
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...
MOBISYS
2009
ACM
14 years 11 months ago
2009
ACM
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...