1005 search results - page 29 / 201 » Agile Methods for Embedded Systems |
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
CASES
2003
ACM
14 years 3 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
APSEC
2006
IEEE
13 years 12 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
ISSS
2000
IEEE
14 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...