3146 search results - page 130 / 630 » The use of compiler optimizations for embedded systems softw... |
152
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
Byte-code based languages are slowly becoming adopted in embedded domains because of improved security and portability. Another potential reason for their adoption is the reputati...
340
click to vote
ICANNGA
2011
Springer
14 years 6 months ago
2011
Springer
ECU (Electric Circuit Unit) is a type of embedded system that is used in automobiles to perform different functions. The synthesis process of ECU requires that the hardware should...
168
click to vote
SOQUA
2004
15 years 7 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
155
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
159
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...