447 search results - page 40 / 90 » Embedded Software Analysis with MOTOR |
OOIS
2001
Springer
15 years 4 months ago
2001
Springer
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tack...
103
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
122
click to vote
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
116
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...