866 search results - page 158 / 174 » Dynamical evolution analysis of the object-oriented software... |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
As wireless platforms converge to multimedia systems, architectures must converge to support voice, data, and video applications. From a processor architecture perspective, suppor...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
PDP
2010
IEEE
14 years 2 months ago
2010
IEEE
—It is clear that Cloud computing is and will be a sea change for the Information Technology by changing the way in which both software and hardware are designed and purchased. I...