3146 search results - page 332 / 630 » The use of compiler optimizations for embedded systems softw... |
156
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
167
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
166
click to vote
TOPLAS
2008
15 years 6 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
161
click to vote
ETS
2007
IEEE
15 years 8 months ago
2007
IEEE
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
175
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Concept location is a critical activity during software evolution as it produces the location where a change is to start in response to a modification request, such as, a bug repo...